Peter Pepper

From MaRDI portal
Person:578897

Available identifiers

zbMath Open pepper.peterDBLPp/PeterPepperWikidataQ102174252 ScholiaQ102174252MaRDI QIDQ578897

List of research outcomes





PublicationDate of PublicationType
Formal derivation of concurrent garbage collectors2010-07-26Paper
Colimits for concurrent collectors2010-03-23Paper
Solution strategies for multi-domain constraint logic programs2010-02-02Paper
Evolving Specification Engineering2009-01-27Paper
Integration of declarative and constraint programming2007-03-23Paper
Programmieren lernen2006-08-31Paper
https://portal.mardi4nfdi.de/entity/Q44313402003-10-21Paper
Development of communication protocols using algebraic and temporal specifications.2003-08-07Paper
https://portal.mardi4nfdi.de/entity/Q42235911999-01-05Paper
Foundation of computer science1997-02-24Paper
https://portal.mardi4nfdi.de/entity/Q40238241993-01-23Paper
Grundlagen der Informatik / Foundations of Computer Science1992-06-29Paper
Grundlagen der Informatik / Foundations of Computer Science1992-06-29Paper
Grundlagen der Informatik / Foundations of Computer Science1992-06-29Paper
Grundlagen der Informatik / Foundations of Computer Science1992-06-29Paper
Grundlagen der Informatik / Foundations of Computer Science1992-06-25Paper
Grundlagen der Informatik / Foundations of Computer Science1992-06-25Paper
Formal program construction by transformations-computer-aided, intuition-guided programming1989-01-01Paper
On the algebraic definition of programming languages1987-01-01Paper
A simple calculus for program transformation (inclusive of induction)1987-01-01Paper
Algebraic implementations preserve program correctness1986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37368911986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33392611984-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33392551984-01-01Paper
On hierarchies of abstract data types1983-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36662581983-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36705241983-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47437231983-01-01Paper
Combining Algebraic and Algorithmic Reasoning: An Approach to the Schorr-Waite Algorithm1982-01-01Paper
Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen1982-01-01Paper
Program Development as a Formal Activity1981-01-01Paper
Programming in a wide spectrum language: A collection of examples1981-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38753221980-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38868331980-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41901101979-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41842691979-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41842681979-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41915611978-01-01Paper
A family of rules for recursion removal1976-01-01Paper

Research outcomes over time

This page was built for person: Peter Pepper