From post

Functional Development of Massively Parallel Programs (Invited Paper).

, , и . Formal Methods in Programming and Their Applications, том 735 из Lecture Notes in Computer Science, стр. 217-238. 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.

 

Другие публикации лиц с тем же именем

A Compositional Semantics for Modelica-style Variable-structureModeling., , , и . EOOLT, том 56 из Linköping Electronic Conference Proceedings, стр. 45-54. Linköping University Electronic Press, (2011)Notes on the Separate Compilation of Modelica., , и . EOOLT, том 47 из Linköping Electronic Conference Proceedings, стр. 43-51. Linköping University Electronic Press, (2010)Special Transformation Techniques., , , и . Program Construction, том 69 из Lecture Notes in Computer Science, стр. 290-321. Springer, (1978)Functional Development of Massively Parallel Programs (Invited Paper)., , и . Formal Methods in Programming and Their Applications, том 735 из Lecture Notes in Computer Science, стр. 217-238. Springer, (1993)Grundlagen der Informatik.. Oldenbourg, (1992)Systematics of Transformation Rules., , , , и . Program Construction, том 69 из Lecture Notes in Computer Science, стр. 273-289. Springer, (1978)Towards a wide spectrum language to support program specification and program development., , , , , , , и . ACM SIGPLAN Notices, 13 (12): 15-24 (1978)ICT-based continuous innovation and research in German university admissions., , , и . ENIS, том 78 из EPiC Series in Computing, стр. 59-68. EasyChair, (2021)Evolving Specification Engineering., , и . AMAST, том 5140 из Lecture Notes in Computer Science, стр. 299-314. Springer, (2008)Semantic Relations in Programming Languages., , , и . IFIP Congress, стр. 101-106. (1980)