Relating CASL with other specification languages: the institution level
- 1 September 2002
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 286 (2) , 367-475
- https://doi.org/10.1016/s0304-3975(01)00369-3
Abstract
No abstract availableKeywords
This publication has 27 references indexed in Scilit:
- Logical systems for structured specificationsTheoretical Computer Science, 2002
- Pushout complements for partly total algebrasMathematical Structures in Computer Science, 2002
- State-Based Extension of CASLPublished by Springer Nature ,2000
- Extending Casl by Late BindingPublished by Springer Nature ,2000
- May I borrow your logic? (Transporting logical structures along maps)Theoretical Computer Science, 1997
- Free objects and equational deduction for partial conditional specificationsTheoretical Computer Science, 1995
- Module algebraJournal of the ACM, 1990
- Models of Horn theoriesContemporary Mathematics, 1989
- Partial algebras—survey of a unifying approach towards a two-valued model theory for partial algebrasAlgebra universalis, 1982
- Axioms for abstract model theoryAnnals of Mathematical Logic, 1974