Author of the publication

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

An Overview of AFFIRM: A Specification and Verification System., , , , , , , , and . IFIP Congress, page 343-347. (1980)The Use of a Domain Model in Understanding Informal Process Descriptions., , and . IJCAI, page 404. William Kaufmann, (1977)Meta-Evaluation as a Tool for Program Understanding., , and . IJCAI, page 398-403. William Kaufmann, (1977)Program Developments: Formal Explanations of Implementations.. Commun. ACM, 26 (11): 902-911 (1983)An implementation base for efficient data structuring., and . Int. J. Parallel Program., 1 (3): 209-224 (1972)Program Transformations: Some Lessons from the 1980s. (2008)Maintaining Object Persistence in the Common Lisp Framework., , and . POS, TR PPRR-44-87, page 382-406. University of Glasgow and St. Andrew's, (1987)Lessons Learned from Real DSL Experiments.. HICSS, page 325. IEEE Computer Society, (2003)Organizing Programming Knowledge into Syntax-Directed Experts.. Advanced Programming Environments, volume 244 of Lecture Notes in Computer Science, page 551-565. Springer, (1986)Type Transformations.. IEEE Trans. Software Eng., 7 (1): 32-39 (1981)