Conferences in DBLP
Peter Pepper On the Algebraic Specification of Programming Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Udo Pletat Ideas for the Development of Software Systems on the Basis of Algebraic Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Padawitz On the Proof of Completeness and Consistency. [Citation Graph (0, 0)][DBLP ] Conf ] Klaus-Peter Hasler , Michael Löwe , Michaela Reisin An Interpreter for Algebraic Specifications with User Controlled Termination. [Citation Graph (0, 0)][DBLP ] Conf ] Harald Ganzinger Parameterized Specifications - Parameterized Passing and Implementation with Respect to Observability. [Citation Graph (0, 0)][DBLP ] Conf ] Werner Fey From Requirements to Design Specification. [Citation Graph (0, 0)][DBLP ] Conf ] Gregor Engels , Martin Gogolla Error Handling in Algebraic Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Heinrich C. Mayr ORS Specifications: Ideas, Application Examples, and Experiences. [Citation Graph (0, 0)][DBLP ] Conf ] Hartmut Ehrig Parameterized Data Types and Parameter Passing. [Citation Graph (0, 0)][DBLP ] Conf ] Hartmut Ehrig ACT - Algebraic Specification Technique for the Correct Design of Reliable Software Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Hans-Dieter Ehrich Algebraic Domain Equations. [Citation Graph (0, 0)][DBLP ] Conf ] Hans-Dieter Ehrich Operational Aspects of Algebraic Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Jacques Loeckx The Description of Programming Languages and the Verification of their Compilers with the Help of Algorithmic Specifications of Abstract Data Types. [Citation Graph (0, 0)][DBLP ] Conf ] Udo W. Lipeck Composition and Implementation of Parameterized Data Types. [Citation Graph (0, 0)][DBLP ] Conf ] Hans-Jörg Kreowski An Algebraic Implementation Concept for Abstract Data Types. [Citation Graph (0, 0)][DBLP ] Conf ] Herbert Klaeren Parameterized Software Specifications with Inductively Defined Operations. [Citation Graph (0, 0)][DBLP ] Conf ] Jan A. Bergstra Specification of Parameterized Data Types. [Citation Graph (0, 0)][DBLP ] Conf ] Christoph Beierle , Angi Voß Hierarchical Specification of Parameterized Abstract Data Types by Means of Canonical Term Algebras. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Wirsing Implementation of Parameterized Hierarchical Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] 