Peter Pepper

Available identifiers

zbMath Open pepper.peterWikidataQ102174252 ScholiaQ102174252MaRDI QIDQ578897

List of research outcomes

Publication	Date of Publication	Type
Formal Derivation of Concurrent Garbage Collectors	2010-07-26	Paper
Verification: Theory and Practice	2010-03-23	Paper
Solution Strategies for Multi-domain Constraint Logic Programs	2010-02-02	Paper
Evolving Specification Engineering	2009-01-27	Paper
Integration of declarative and constraint programming	2007-03-23	Paper
Programmieren lernen	2006-08-31	Paper
https://portal.mardi4nfdi.de/entity/Q4431340	2003-10-21	Paper
Development of communication protocols using algebraic and temporal specifications.	2003-08-07	Paper
https://portal.mardi4nfdi.de/entity/Q4223591	1999-01-05	Paper
https://portal.mardi4nfdi.de/entity/Q2785479	1997-02-24	Paper
https://portal.mardi4nfdi.de/entity/Q4023824	1993-01-23	Paper
Grundlagen der Informatik / Foundations of Computer Science	1992-06-29	Paper
Grundlagen der Informatik / Foundations of Computer Science	1992-06-29	Paper
Grundlagen der Informatik / Foundations of Computer Science	1992-06-29	Paper
Grundlagen der Informatik / Foundations of Computer Science	1992-06-29	Paper
Grundlagen der Informatik / Foundations of Computer Science	1992-06-25	Paper
Grundlagen der Informatik / Foundations of Computer Science	1992-06-25	Paper
Formal program construction by transformations-computer-aided, intuition-guided programming	1989-01-01	Paper
A simple calculus for program transformation (inclusive of induction)	1987-01-01	Paper
On the algebraic definition of programming languages	1987-01-01	Paper
Algebraic implementations preserve program correctness	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3736891	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3339255	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3339261	1984-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/Q3670524	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
Combining Algebraic and Algorithmic Reasoning: An Approach to the Schorr-Waite Algorithm	1982-01-01	Paper
Programming in a wide spectrum language: A collection of examples	1981-01-01	Paper
Program Development as a Formal Activity	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3875322	1980-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/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: Peter Pepper