Helmut Partsch

Available identifiers

zbMath Open partsch.helmut-aMaRDI QIDQ1233309

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q3996676	1992-09-17	Paper
A fast pattern matching algorithm derived by transformational and assertional reasoning	1990-01-01	Paper
Formal program construction by transformations-computer-aided, intuition-guided programming	1989-01-01	Paper
From informal requirements to a running program: A case study in algebraic specification and transformational programming	1989-01-01	Paper
Konstruktion korrekter Programme durch Transformation	1987-01-01	Paper
Transformational program development in a particular problem domain	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3736891	1986-01-01	Paper
Structuring transformational developments: A case study based on Earley's recognizer	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3339254	1984-01-01	Paper
On hierarchies of abstract data types	1983-01-01	Paper
An exercise in the transformational derivation of an efficient program by joint development of control and data structure	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3666258	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3666259	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4743723	1983-01-01	Paper
Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3940821	1982-01-01	Paper
Programming in a wide spectrum language: A collection of examples	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3886833	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4190110	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4184269	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4184294	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4184268	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4191561	1978-01-01	Paper
A family of rules for recursion removal	1976-01-01	Paper

Research outcomes over time

This page was built for person: Helmut Partsch