CASL: the Common Algebraic Specification Language

This publication has 25 references indexed in Scilit:

• Relating CASL with other specification languages: the institution level
  Theoretical Computer Science, 2002
• The discrete time ToolBus — A software coordination architecture
  Science of Computer Programming, 1998
• A compiler for rewrite programs in associative-commutative theories
  Published by Springer Nature ,1998
• A formal basis for architectural connection
  ACM Transactions on Software Engineering and Methodology, 1997
• Essential concepts of algebraic specification and program development
  Formal Aspects of Computing, 1997
• The Kiv-approach to software verification
  Published by Springer Nature ,1995
• Toward formal development of programs from algebraic specifications: Parameterisation revisited
  Acta Informatica, 1992
• Institutions: abstract model theory for specification and programming
  Journal of the ACM, 1992
• Report on the larch shared language
  Science of Computer Programming, 1986
• Data Type Specification: Parameterization and the Power of Specification Techniques
  ACM Transactions on Programming Languages and Systems, 1982