Casl Reference Manual

Syntax Sorts and Constructors . ...................... 495 Synabol Index . ................................................. 501 Concept Index . ................................................ 511

[1]  Dieter Hutter,et al.  Extending Development Graphs with Hiding , 2001, FASE.

[2]  Peter Burmeister,et al.  Partial algebras—survey of a unifying approach towards a two-valued model theory for partial algebras , 1982 .

[3]  Till Mossakowski,et al.  Semantics of Architectural Specifications in CASL , 2001, FASE.

[4]  Till Mossakowski.  Comorphism-Based Grothendieck Logics , 2002, MFCS.

[5]  Joseph R. Shoenfield,et al.  Mathematical logic , 1967 .

[6]  J. A. Goguen,et al.  Completeness of many-sorted equational logic , 1981, SIGP.

[7]  Manfred Broy,et al.  Algebraic Specification of Concurrent Systems , 1999, Algebraic Foundations of Systems Specification.

[8]  Andrzej Tarlecki.  Moving Between Logical Systems , 1995, COMPASS/ADT.

[9]  P. Burmeister.  A Model Theoretic Oriented Approach to Partial Algebras , 1986 .

[10]  Piotr Hoffman.  Verifying Generative Casl Architectural Specifications , 2002, WADT.

[11]  Till Mossakowski.  Colimits of order-sorted specifications , 1997, WADT.

[12]  Peter D. Mosses,et al.  CASL User Manual , 2004, Lecture Notes in Computer Science.

[13]  Till Mossakowski.  Relating CASL with other specification languages: the institution level , 2002, Theor. Comput. Sci..

[14]  José Meseguer,et al.  EQLOG: Equality, Types, and Generic Modules For Logic Programming , 1986, Logic Programming: Functions, Relations, and Equations.

[15]  Joseph A. Goguen,et al.  Institutions: abstract model theory for specification and programming , 1992, JACM.

[16]  Till Mossakowski.  Specifications in an Arbitrary Institution with Symbols , 1999, WADT.

[17]  Horst Reichel,et al.  Initial Computability, Algebraic Specifications, and Partial Algebras , 1987 .

[18]  Anne Elisabeth Haxthausen,et al.  Casl - The Common Algebraic Specification Language: Semantics and Proof Theory , 2003, Comput. Artif. Intell..

[19]  Ingo Claßen,et al.  Categorical concepts for parameterized partial specifications , 1995, Mathematical Structures in Computer Science.

[20]  Markus Roggenbach,et al.  Towards Trustworthy Specifications I: Consistency Checks , 2001, WADT.

[21]  Gilles Kahn,et al.  Natural Semantics , 1987, STACS.

[22]  Markus Roggenbach,et al.  Specifying Real Numbers in CASL , 1999, WADT.

[23]  Razvan Diaconescu.  An Institution-independent Proof of Craig Interpolation Theorem , 2004, Stud Logica.

[24]  Till Mossakowski,et al.  Checking Amalgamability Conditions for C ASL Architectural Specifications , 2001, MFCS.

[25]  Benjamin C. Peirce,et al.  Basic Category Theory for Computer Scientists , 1991 .

[26]  H. Baumeister,et al.  State-Based Extension of CASL ? / ? ? , 2000 .

[27]  Donald Sannella,et al.  Architectural Specifications in CASL , 1998, AMAST.

[28]  Till Mossakowski,et al.  Equivalences among Various Logical Frameworks of Partial Algebras , 1995, CSL.

[29]  John Wylie Lloyd,et al.  Foundations of Logic Programming , 1987, Symbolic Computation.

[30]  Piotr Hoffman.  Verifying Architectural Specifications , 2001, WADT.

[31]  Anne Elisabeth Haxthausen,et al.  Permissive Subsorted Partial Logic in CASL , 1997, AMAST.

[32]  Peter Padawitz,et al.  Computing in Horn Clause Theories , 1988, EATCS Monographs on Theoretical Computer Science.

[33]  Till Mossakowski,et al.  Foundations of Heterogeneous Specification , 2002, WADT.

[34]  Till Mossakowski,et al.  HasCasl-Integrated functional specification and programming , 2003 .

[35]  Vincenzo Manca,et al.  Equational Type Logic , 1990, Theor. Comput. Sci..

[36]  Eelco Visser,et al.  Disambiguation Filters for Scannerless Generalized LR Parsers , 2002, CC.

[37]  Rob J. van Glabbeek,et al.  The meaning of negative premises in transition system specifications II , 1996, J. Log. Algebraic Methods Program..

[38]  Till Mossakowski,et al.  A Simple Refinement Language for Casl , 2004, WADT.

[39]  José Meseguer,et al.  General Logics , 2006 .

[40]  Markus Roggenbach,et al.  CSP-CASL - A new integration of process algebra and algebraic specification , 2006, Theor. Comput. Sci..

[41]  Murray Silverstein,et al.  A Pattern Language , 1977 .

[42]  Shimon Even,et al.  Graph Algorithms , 1979 .

[43]  Till Mossakowski,et al.  HASCASL: Towards Integrated Specification and Development of Functional Programs , 2002, AMAST.

[44]  Teodor C. Przymusinski.  On the Declarative Semantics of Deductive Databases and Logic Programs , 1988, Foundations of Deductive Databases and Logic Programming..

[45]  Grigore Rosu,et al.  Institution Morphisms , 2013, Formal Aspects of Computing.

[46]  José Meseguer,et al.  Rewriting as a unified model of concurrency , 1990, OOPSLA/ECOOP '90.

[47]  Peter D. Mosses,et al.  CASL: the Common Algebraic Specification Language , 2002, Theor. Comput. Sci..

[48]  Tomasz Borzyszkowski.  Logical systems for structured specifications , 2002, Theor. Comput. Sci..

[49]  José Meseguer,et al.  Membership algebra as a logical framework for equational specification , 1997, WADT.

[50]  Egidio Astesiano,et al.  Free Objects and Equational Deduction for Partial Conditional Specifications , 1995, Theor. Comput. Sci..

[51]  Peter D. Mosses,et al.  Unified Algebras and Institutions , 1989 .

[52]  Peter D. Mosses,et al.  CoFI: The Common Framework Initiative for Algebraic Specification and Development , 2001, Current Trends in Theoretical Computer Science.

[53]  Till Mossakowski,et al.  From Total Equational to Partial First-Order Logic , 1999, Algebraic Foundations of Systems Specification.