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

Program extraction by type erasing., and . COMPSAC, page 105-110. IEEE, (1994)Transformational programming: the derivation of a Prolog interpretation algorithm.. ACM SIGPLAN Notices, 24 (9): 92-111 (1989)Computational Reflection in PowerEpsilon.. ACM SIGPLAN Notices, 29 (1): 13-19 (1994)AUTO STAR - a software development system.. ACM SIGPLAN Notices, 24 (3): 31-45 (1989)Computing with real world: a fuzzy duration calculs., and . COMPSAC, page 270-276. IEEE, (1993)New Approach for Device Driver Development - Devil+ Language., , and . ICESS, volume 3605 of Lecture Notes in Computer Science, page 418-422. Springer, (2004)Automatic generation of device drivers., , and . ACM SIGPLAN Notices, 38 (6): 60-69 (2003)Extending PowerEpsilon with Algebraic Rewriting., and . ACM SIGPLAN Notices, 29 (1): 20-26 (1994)An Overview of Specification Language Universe., and . IFIP Congress (1), volume A-12 of IFIP Transactions, page 42-48. North-Holland, (1992)Denotational Semantics of Programming Languages and Compiler Generation in PowerEpsilon.. ACM SIGPLAN Notices, 36 (9): 39-53 (2001)