Conferences in DBLP
Bernd Krieg-Brückner Seven Years of COMPASS. [Citation Graph (0, 0)][DBLP ] Conf ] Rod M. Burstall Inductively Defined Relations: A Brief Tutorial (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Hartmut Ehrig , Martin Große-Rhode , Uwe Wolter On the Role of Category Theory in the Area of Algebraic Specification. [Citation Graph (0, 0)][DBLP ] Conf ] C. A. R. Hoare Unification of Theories: A Challenge for Computing Science. [Citation Graph (0, 0)][DBLP ] Conf ] James J. Horning The Larch Shared Language: Some Open Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Pierre Lescanne The Lambda Calculus as an Abstract Data Type. [Citation Graph (0, 0)][DBLP ] Conf ] M. Arrais , José Luiz Fiadeiro Unifying Theories in Different Institutions. [Citation Graph (0, 0)][DBLP ] Conf ] Michel Bidoit , Christine Choppy , Frédéric Voisin Interchange Format for Inter-operability of Tools and Translation: The SALSA and ASSPEGIQU+ /LP Experience. [Citation Graph (0, 0)][DBLP ] Conf ] Reinhard Bündgen , Werner Lauterbach Experiments with Partial Evaluation Domains for Rewrite Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Silvia Clerici , Rosa M. Jiménez , Fernando Orejas Class-Sort Polymorphism in GLIDER. [Citation Graph (0, 0)][DBLP ] Conf ] Eva Coscia , Gianna Reggio Deontic Concepts in the Algebraic Specification of Dynamic Systems: The Permission Case. [Citation Graph (0, 0)][DBLP ] Conf ] Grit Denker Reification - Changing Viewpoint but Preserving Truth. [Citation Graph (0, 0)][DBLP ] Conf ] Razvan Diaconescu A Category-Based Equational Logic Semantics to Constraint Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Große-Rhode Concurrent State Transformations on Abstract Data Types. [Citation Graph (0, 0)][DBLP ] Conf ] Ulrich Hensel , David A. Spooner A View on Implementing Processes: Categories of Circuits. [Citation Graph (0, 0)][DBLP ] Conf ] Claus Hintermeier , Hélène Kirchner , Peter D. Mosses Combining Algebraic and Set-Theoretic Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] J. F. Th. Kamperman , H. R. Walters Minimal Term Rewriting Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Marcus Klar , Robert Geisler , Felix Cornelius InterACT : An Interactive Theorem and Completeness Prover for Algebraic Specifications with Conditional Equation.Citation Graph (0, 0)][DBLP ] Conf ] Valentinas Kriauciukas , Michal Walicki Rewriting and Reasoning with Set-Relations II: The Non-ground Case Completeness. [Citation Graph (0, 0)][DBLP ] Conf ] Bjørn Kristoffersen Termination of Curryfied Rewrite Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Pascale Le Gall , Agnès Arnould Formal Specifications and Test: Correctness and Oracle. [Citation Graph (0, 0)][DBLP ] Conf ] Grant Malcolm Behavioural Equivalence, Bisimulation, and Minimal Realisation. [Citation Graph (0, 0)][DBLP ] Conf ] Till Mossakowski Using Limits of Parchment to Systematically Construct Institutions of partial Algebras. [Citation Graph (0, 0)][DBLP ] Conf ] Nikos Mylonakis Behavioural Specifications in Type Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Padawitz Swinging Data Types: Syntax, Semantics, and Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Wieslaw Pawlowski Context Institutions. [Citation Graph (0, 0)][DBLP ] Conf ] Zhenyu Qian , Bernd Krieg-Brückner Object-Oriented Functional Programming and Type Reconstruction. [Citation Graph (0, 0)][DBLP ] Conf ] Andrzej Tarlecki Moving Between Logical Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Frédéric Voisin , Michel Bidoit Modular Algebraic Specifications and the Orientation of Equations into Rewrite Rules. [Citation Graph (0, 0)][DBLP ] Conf ] H. R. Walters , J. F. Th. Kamperman A Model for I/O in Equational Languages with Don't Care Non-determinism. [Citation Graph (0, 0)][DBLP ] Conf ] Dietmar Wolz Tool Design for Structuring Mechanisms for Algebraic Specification Languages with Initial Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] 