Peter Pepper

Available identifiers

zbMath Open pepper.peterDBLPp/PeterPepperWikidataQ102174252 ScholiaQ102174252MaRDI QIDQ578897

List of research outcomes

Publication	Date of Publication	Type
Formal derivation of concurrent garbage collectors	2010-07-26	Paper
Colimits for concurrent collectors	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
Foundation of computer science	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
On the algebraic definition of programming languages	1987-01-01	Paper
A simple calculus for program transformation (inclusive of induction)	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/Q3339261	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3339255	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
Combining Algebraic and Algorithmic Reasoning: An Approach to the Schorr-Waite Algorithm	1982-01-01	Paper
Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen	1982-01-01	Paper
Program Development as a Formal Activity	1981-01-01	Paper
Programming in a wide spectrum language: A collection of examples	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/Q4190110	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4184269	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4184268	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

This page was built for person: Peter Pepper