Author of the publication

Formal Properties of One-Visit and Multi-Pass Attribute Grammars

, and . 7th Int. Coll. on Automata, Languages and Programming, volume 85 of Lecture Notes in Computer Science, Springer-Verlag, New York--Heidelberg--Berlin, Noordwijkerhout.(July 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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Simple and General Method for Integrating Abstract Interpretation in SICStus., , , and . PPDP, volume 1702 of Lecture Notes in Computer Science, page 207-223. Springer, (1999)Passes and Paths of Attribute Grammars, and . Information and Control, 49 (2): 125--169 (May 1981)See also: memorandum 323, Onderafdeling der Informatica, Tech. Hogeschool Twente (1980)..Machines for Attribute Grammars. Information and Control, 69 (1-3): 41--124 (1986)See also: memorandum INF-83-2, Onderafdeling der Informatica, Tech. Hogeschool Twente (January 1983)..The Formal Power of One-Visit Attribute Grammars, and . Acta Informatica, 16 (3): 275--302 (1981)Yet Another Intelligent Backtracking Method., , and . ICLP/SLP, page 447-465. MIT Press, (1988)Graph Properties for Normal Logic Programs., and . Theor. Comput. Sci., 107 (2): 277-303 (1993)Interpretation and Reduction of Attribute Grammars.. Acta Inf., (1983)Optimal Groundness Analysis Using Propositional Logic., , and . J. Log. Program., 27 (2): 137-167 (1996)Machines for Attribute Grammars. Inf. Control., 69 (1-3): 41-124 (April 1986)Passes, Sweeps and Visits in Attribute Grammars, and . J. ACM, 36 (4): 841--869 (October 1989)