Structured algebraic specifications: A kernel language
Theoretical Computer Science
The Munich Project CIP: Volume I: the wide spectrum language CIP-L
The Munich Project CIP: Volume I: the wide spectrum language CIP-L
Design and implementation of a generic, logic and functional programming language
Proc. of the European symposium on programming on ESOP 86
The mathematics of inheritance systems
The mathematics of inheritance systems
Unifying functional, object-oriented and relational programming with logical semantics
Research directions in object-oriented programming
The Stratified loose approach: a generalization of initial and loose semantics
Lecture notes in Computer Science on Recent trends in data type specification
On the declarative semantics of deductive databases and logic programs
Foundations of deductive databases and logic programming
The Z notation: a reference manual
The Z notation: a reference manual
Integrating multiple specifications using domain goals
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
The Semantics of CLEAR, A Specification Language
Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School
LPG: A Generic, Logic and Functional Programming Language
ESOP '88 Proceedings of the 2nd European Symposium on Programming
| Hi-index | 0.00 |
In this paper, a formalisation of exceptions to a general rule is proposed. It builds upon the modularisation of theories proposed by the algebraic specification approach, and preserves its engineering principles: modularity and compositionality. It relies on a model-theoretic definition of the "but" conjunctive, whose properties and implementations are explored.