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
From informal requirements to a running program: A case study in algebraic specification and transformational programming	1989-01-01	Paper
Formal program construction by transformations-computer-aided, intuition-guided 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
An exercise in the transformational derivation of an efficient program by joint development of control and data structure	1983-01-01	Paper
On hierarchies of abstract data types	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/Q4184268	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/Q4190110	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Helmut Partsch