论文信息 - Economy of Description for Program Schemes -Extended Abstract- - 字舞流文

Economy of Description for Program Schemes -Extended Abstract-

Detlef Wotschke | Peter Drum | D. Wotschke | Peter Drum

[1] Donald M. Kaplan,et al. Regular Expressions and the Equivalence of Programs , 1969, J. Comput. Syst. Sci..

[2] Joost Engelfriet,et al. Simple Program Schemes and Formal Languages , 1974, Lecture Notes in Computer Science.

[3] Jeffrey D. Ullman,et al. Introduction to Automata Theory, Languages and Computation , 1979 .

[4] Robert L. Constable,et al. On Classes of Program Schemata , 1972, SIAM J. Comput..

[5] A. R. Meyer,et al. Economy of Description by Automata, Grammars, and Formal Systems , 1971, SWAT.

[6] Robert W. Floyd,et al. Notes on Avoiding "go to" Statements , 1971, Information Processing Letters.

[7] David Gries,et al. Program Schemes with Pushdown Stores , 1972, SIAM J. Comput..

[8] Leslie G. Valiant,et al. Regularity and Related Problems for Deterministic Pushdown Automata , 1975, JACM.

[9] Stephen J. Garland,et al. Program Schemes, Recursion Schemes, and Formal Languages , 1973, J. Comput. Syst. Sci..

[10] H. R. Strong. Translating Recursion Equations into Flow Charts , 1971, J. Comput. Syst. Sci..

[11] Sheila A. Greibach,et al. Theory of Program Structures: Schemes, Semantics, Verification , 1976, Lecture Notes in Computer Science.