Author of the publication

Funktionale Programmierung für massiv parallele Systeme.

, , and . GI Jahrestagung, page 551-556. Springer, (1993)

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

On the potential Role of Algebraic Specification within Computer Science., and . Current Trends in Theoretical Computer Science, volume 40 of World Scientific Series in Computer Science, World Scientific, (1993)Integration of Declarative and Constraint Programming, and . CoRR, (2005)A Compositional Semantics for Modelica-style Variable-structureModeling., , , and . EOOLT, volume 56 of Linköping Electronic Conference Proceedings, page 45-54. Linköping University Electronic Press, (2011)Notes on the Separate Compilation of Modelica., , and . EOOLT, volume 47 of Linköping Electronic Conference Proceedings, page 43-51. Linköping University Electronic Press, (2010)Special Transformation Techniques., , , and . Program Construction, volume 69 of Lecture Notes in Computer Science, page 290-321. Springer, (1978)Functional Development of Massively Parallel Programs (Invited Paper)., , and . Formal Methods in Programming and Their Applications, volume 735 of Lecture Notes in Computer Science, page 217-238. Springer, (1993)Systematics of Transformation Rules., , , , and . Program Construction, volume 69 of Lecture Notes in Computer Science, page 273-289. Springer, (1978)Program Development as a Formal Activity., and . IEEE Trans. Software Eng., 7 (1): 14-23 (1981)Integration of declarative and constraint programming., and . Theory Pract. Log. Program., 7 (1-2): 93-121 (2007)Funktionale Programmierung in OPAL, ML, HASKELL und GOFER.. Springer, (1999)