Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
H. Partsch
Observed names:
H. A. Partsch,
Helmut A. Partsch,
Helmut Partsch,
Partsch, Helmut,
Partsch, Helmut A.
Observed institutions:
University College Dublin,
Radboud University Nijmegen,
University of Bremen,
University of Passau,
Universität Ulm,
University of Würzburg,
Deutsche Nationalbibliothek,
Technical University of Munich
show all 8
OpenAlex ID:
A5113481941
Program Transformation Systems
1983
·
H. Partsch
, R. Steinbrüggen
·
ACM Computing Surveys
·
345
Specification and Transformation of Programs
1990
·
Helmut A. Partsch
·
Springer eBooks
·
279
The Munich Project CIP
1985
·
F. L. Brauer
, R. Berghammer
, et al.
·
Lecture notes in computer science
·
146
Formal program construction by transformations-computer-aided, intuition-guided programming
1989
·
F.L. Bauer
, B. Moller
, et al.
·
IEEE Transactions on Software Engineering
·
140
On hierarchies of abstract data types
1983
·
Martin Wirsing
, Peter Pepper
, et al.
·
Acta Informatica
·
134
The Munich Project CIP: Volume I: The Wide Spectrum Language CIP-L
1985
·
F. Bauer
, Rudolf Berghammer
, et al.
·
96
Existential quantifiers in abstract data types
1979
·
M. Broy
, W. Dosch
, et al.
·
Lecture notes in computer science
·
58
Towards a wide spectrum language to support program specification and program development
1978
·
F. L. Bauer
, M. Broy
, et al.
·
ACM SIGPLAN Notices
·
53
Programming in a wide spectrum language: a collection of examples
1981
·
F.L. Bauer
, M. Broy
, et al.
·
Science of Computer Programming
·
37
The CIP Transformation System
1984
·
H. Partsch
·
Springer eBooks
·
23
Systematics of transformation rules
1979
·
F. L. Bauer
, M. Broy
, et al.
·
Lecture notes in computer science
·
21
Transformational program development in a particular problem domain
1986
·
H. Partsch
·
Science of Computer Programming
·
20
PDF
Examples for change of types and object structures
1979
·
H. Partsch
, M. Broy
·
Lecture notes in computer science
·
19
A family of rules for recursion removal
1976
·
Helmut Partsch
, Peter Pepper
·
Information Processing Letters
·
18
A fast pattern matching algorithm derived by transformational and assertional reasoning
1990
·
H. A. Partsch
, F. A. Stomp
·
Formal Aspects of Computing
·
11
Structuring transformational developments: A case study based on earley's recognizer
1984
·
H. Partsch
·
Science of Computer Programming
·
11
How to Produce Correct Software - An Introduction to Formal Specification and Program Development by Transformations
1992
·
E. A. Boiten
, H. A. Partsch
, et al.
·
The Computer Journal
·
8
Formalizing informal requirements some aspects
1991
·
N. W. P. Diepen
, H. A. Partsch
·
Lecture notes in computer science
·
8
Requirements Engineering
1991
·
Helmut Partsch
·
De Gruyter eBooks
·
7
From Requirements to their Formalization — A Case Study on the Stepwise Development of Algebraic Specifications
1982
·
Helmut Partsch
, Alfred Laut
·
Informatik-Fachberichte
·
7
Special transformation techniques
1979
·
H. Wössner
, P. Pepper
, et al.
·
Lecture notes in computer science
·
7
Program transformations expressed by algebraic type manipulations
1986
·
H. Partsch
, Peter Pepper
·
Techniques et sciences informatiques
·
6
Transformational Derivation of Parsing Algorithms Executable on Parallel Architectures
1984
·
H. Partsch
·
Informatik-Fachberichte
·
6
Some Experiments in Transforming Towards Parallel Executability
2007
·
H. A. Partsch
·
Springer eBooks
·
5
Transformational derivation of (parallel) programs using skeletons
1993
·
Eerke Boiten
, A.M. Geerling
, et al.
·
5
Show more works
View as search
Works count:
59
Citation count:
1,513
H-index:
14
I10-index:
16
Year
Topic
Type
