From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Semantics-directed Compiler Generation

N. Jones (Ред.) Lecture Notes in Computer Science Springer-Verlag, New York--Heidelberg--Berlin, (1980)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Proving the Correctness of Unfold/Fold Program Transformations Using Bisimulation.G. Hamilton, и N. Jones. Ershov Memorial Conference, том 7162 из Lecture Notes in Computer Science, стр. 153-169. Springer, (2011)Parsers for indexed grammars.R. Sebesta, и N. Jones. Int. J. Parallel Program., 7 (4): 345-359 (1978)Context-Free Languages and Rudimentary Attributes.N. Jones. Math. Syst. Theory, 3 (2): 102-109 (1969)Corrigendum: Mathematical Systems Theory 11: 379-380 (1978).A Note on the Index of a Context-Free LanguageN. Jones. Inf. Control., 16 (2): 201-202 (апреля 1970)A Note on Linear Time Simulation of Deterministic Two-Way Pushdown Automata.N. Jones. Inf. Process. Lett., 6 (4): 110-112 (1977)Space-Bounded Reducibility among Combinatorial Problems.N. Jones. J. Comput. Syst. Sci., 11 (1): 68-85 (1975)LOGSPACE and PTIME Characterized by Programming Languages.N. Jones. Theor. Comput. Sci., 228 (1-2): 151-174 (1999)Complexity of Some Problems in Petri Nets.N. Jones, L. Landweber, и Y. Lien. Theor. Comput. Sci., 4 (3): 277-299 (1977)Static Semantics, Types, and Binding Time Analysis.N. Jones. Theor. Comput. Sci., 90 (1): 95-118 (1991)A Positive Supercompiler.M. Sørensen, R. Glück, и N. Jones. J. Funct. Program., 6 (6): 811-838 (1996)