P
Peter Pepper
Researcher at Technical University of Berlin
Publications - 48
Citations - 729
Peter Pepper is an academic researcher from Technical University of Berlin. The author has contributed to research in topics: Formal specification & Functional programming. The author has an hindex of 15, co-authored 48 publications receiving 719 citations. Previous affiliations of Peter Pepper include Polytechnic University of Catalonia.
Papers
More filters
Journal ArticleDOI
Formal program construction by transformations-computer-aided, intuition-guided programming
TL;DR: The research includes the design of a wide-spectrum language specifically tailored to the needs of transformational programming, the construction of a transformation system to support the methodology, and the study of transformation rules and other methodological issues.
Journal ArticleDOI
On the algebraic definition of programming languages
TL;DR: The algebraic specification of the semantics of programming languages is outlined, with particular emphasis given to the problem of specifying least-fixed points by first-order conditional equations.
Journal ArticleDOI
Systematic Testing of Model-Based Code Generators
TL;DR: This paper describes a general and toolindependent test architecture for code generators used in model-based development and evaluates the effectiveness of this approach by means of testing optimizations performed by the TargetLink code generator, a widely accepted and complex development tool used in automotive model- based development.
Book ChapterDOI
OPAL: design and implementation of an algebraic programming language
TL;DR: Some principles of algebraic programming are illustrated, the language OPAL is introduced, its compilation strategies are sketched, and some challenges for further research in the area ofgebraic programming languages are pointed out.