Controlled mixed computation and its application to systematic development of language-oriented parsers

A. P. Ershov, B. N. Ostrovski

1987 · 11 citations · 0 references

Concepts