A generalization of the concept of sketch
Theoretical Computer Science - Special issue: Fourth workshop on mathematical foundations of programming semantics, Boulder, CO, May 1988
Category theory for computing science
Category theory for computing science
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
General logics and logical frameworks
What is a logical system?
A Uniform Model Theory for the Specification of Data and Process Types
WADT '99 Selected papers from the 14th International Workshop on Recent Trends in Algebraic Development Techniques
Hi-index | 0.00 |
This paper presents a simple and powerful diagrammatic framework for dealing with specifications in computer science. Following a classical line, we define diagrammatic specifications as a kind of generalised sketch. In addition, the specifications themselves are defined as the realisations of projective sketches. This meta level provides adjunction properties: this is due to a well-known result of Ehresmann. Moreover, we prove in this paper that this meta level also provides an efficient definition of deduction. This work results from a collaboration with Christian Lair.