Helmut Partsch

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
scientific article; zbMATH DE number 46424 (Why is no real title available?)	1992-09-17	Paper
A fast pattern matching algorithm derived by transformational and assertional reasoning Formal Aspects of Computing	1990-01-01	Paper
Formal program construction by transformations-computer-aided, intuition-guided programming IEEE Transactions on Software Engineering	1989-01-01	Paper
From informal requirements to a running program: A case study in algebraic specification and transformational programming Science of Computer Programming	1989-01-01	Paper
Konstruktion korrekter Programme durch Transformation Informatik Spektrum	1987-01-01	Paper
Transformational program development in a particular problem domain Science of Computer Programming	1986-01-01	Paper
scientific article; zbMATH DE number 3970091 (Why is no real title available?)	1986-01-01	Paper
Structuring transformational developments: A case study based on Earley's recognizer Science of Computer Programming	1984-01-01	Paper
scientific article; zbMATH DE number 3872647 (Why is no real title available?)	1984-01-01	Paper
On hierarchies of abstract data types Acta Informatica	1983-01-01	Paper
An exercise in the transformational derivation of an efficient program by joint development of control and data structure Science of Computer Programming	1983-01-01	Paper
scientific article; zbMATH DE number 3819084 (Why is no real title available?)	1983-01-01	Paper
scientific article; zbMATH DE number 3819085 (Why is no real title available?)	1983-01-01	Paper
scientific article; zbMATH DE number 3799001 (Why is no real title available?)	1983-01-01	Paper
Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen Informatik Spektrum	1982-01-01	Paper
scientific article; zbMATH DE number 3757679 (Why is no real title available?)	1982-01-01	Paper
Programming in a wide spectrum language: A collection of examples Science of Computer Programming	1981-01-01	Paper
scientific article; zbMATH DE number 3692620 (Why is no real title available?)	1980-01-01	Paper
scientific article; zbMATH DE number 3628362 (Why is no real title available?)	1979-01-01	Paper
scientific article; zbMATH DE number 3621081 (Why is no real title available?)	1979-01-01	Paper
scientific article; zbMATH DE number 3621102 (Why is no real title available?)	1979-01-01	Paper
scientific article; zbMATH DE number 3621080 (Why is no real title available?)	1979-01-01	Paper
scientific article; zbMATH DE number 3630180 (Why is no real title available?)	1978-01-01	Paper
A family of rules for recursion removal Information Processing Letters	1976-01-01	Paper

Research outcomes over time

This page was built for person: Helmut Partsch