Conferences in DBLP
Egidio Astesiano , Maura Cerioli Models and Logical Deduction in Partial Higher-Order Conditional Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Padawitz Inductive Expansion. [Citation Graph (0, 0)][DBLP ] Conf ] Magne Haveraaen The PAL Module Concept. [Citation Graph (0, 0)][DBLP ] Conf ] Fernando Orejas , Ana Sánchez , Marisa Navarro , Pilar Nivela , Ricardo Pena Term Rewriting Methods for Partial Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Hanus Horn Clause Specifications with Polymorphic Types. [Citation Graph (0, 0)][DBLP ] Conf ] John W. Gray Executable Specifications for Data Type Constructors. [Citation Graph (0, 0)][DBLP ] Conf ] Pilar Nivela , Fernando Orejas A Module Concept within the Initial Behaviour Framework. [Citation Graph (0, 0)][DBLP ] Conf ] Friederike Nickl Order-Theoretic Specification of Algebras with Non-Monotonic Operations. [Citation Graph (0, 0)][DBLP ] Conf ] Harald-Reto Fonio Abelian Monoids versus Concurrency - An Algebraic Approach to the Specification of Distributed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Anne Elisabeth Haxthausen Mutually Recursive Algebraic Domain Equations. [Citation Graph (0, 0)][DBLP ] Conf ] Axel Poigné Towards a Unified Logic for Specification and Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Eric G. Wagner , E. J. Selker , J. D. Rutledge Algebraic Data Types and Object-Oriented Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Jos L. M. Vrancken Parallel Object-Oriented Term Rewriting. [Citation Graph (0, 0)][DBLP ] Conf ] Muffy Thomas Towards a Termination Ordering for Loop Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Gert Smolka Type Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Giuseppe Scollo Typed-Equational Types: Pragmatics. [Citation Graph (0, 0)][DBLP ] Conf ] Donald Sannella , Andrzej Tarlecki Formal Development of ML Programs: Methodological Aspects. [Citation Graph (0, 0)][DBLP ] Conf ] Gloria Quintanilla Prototyping of Z Specifications in ML. [Citation Graph (0, 0)][DBLP ] Conf ] Zhenyu Qian Parameterization of Order-Sorted Algebraic Specifications with Built-In Coercers. [Citation Graph (0, 0)][DBLP ] Conf ] Peter D. Mosses Unified Algebras. [Citation Graph (0, 0)][DBLP ] Conf ] Werner Fey , Hartmut Ehrig , Horst Hansen , Michael Löwe Algebraic Theory of Modular Specification Development. [Citation Graph (0, 0)][DBLP ] Conf ] Michel Bidoit Recent Development of the PLUSS Specification Language. [Citation Graph (0, 0)][DBLP ] Conf ] Hans-Jörg Kreowski Complexity in Algebraic Specifications: An Upper Bound Result. [Citation Graph (0, 0)][DBLP ] Conf ] Mohamed Bettaz Implementation of Tools for the Specification and Validation of ADTs: Application to Communication Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] Klaus P. Jantke On Solving Divergence in Knuth-Bendix Completion. [Citation Graph (0, 0)][DBLP ] Conf ] Dean Jacobs , Bernd Mahr Concepts of Algebraic Database Programming Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Heinrich Hußmann Prototyping Non-Deterministic Algebraic Specifications using the RAP System. [Citation Graph (0, 0)][DBLP ] Conf ] Egidio Astesiano , Alessandro Giovini , Gianna Reggio Data in a Concurrent Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Dieter Hofbauer , Ralf-Detlef Kutsche Proving Inductive Theorems in Equational Theories. [Citation Graph (0, 0)][DBLP ] Conf ] Ingo Claßen A Revised Version of ACT ONE. [Citation Graph (0, 0)][DBLP ] Conf ] Kieran Clenaghan Abstract Architecture of an Interactive Programming System. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Pepper An Algebraic View of Local Formalisms. [Citation Graph (0, 0)][DBLP ] Conf ] Jordi Farrés-Casals Proving Constructor Implementations in Two Steps. [Citation Graph (0, 0)][DBLP ] Conf ] Hans-Dieter Ehrich , Amílcar Sernadas , Cristina Sernadas Objects and Object Types. [Citation Graph (0, 0)][DBLP ] Conf ] T. S. E. Maibaum Configuration versus Use: Specification Languages versus Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Jacques Loeckx , Annette Hoffmann Verification in OBSCURE. [Citation Graph (0, 0)][DBLP ] Conf ] B. C. Thompson-Quintanilla Generalized Computable Algebra and Its Application to the Implementation of Abstract Data Types. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Dimitrovici Projection Spaces. [Citation Graph (0, 0)][DBLP ] Conf ] Silvia Clerici , Fernando Orejas , Pere Botella The Specification Language for the GESTALT Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Dietmar Wolz Compilation of Algebraic Specifications and Term Rewriting Systems. [Citation Graph (0, 0)][DBLP ] Conf ] 