Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
A logical analysis of modules in logic programming
Journal of Logic Programming
Static inference of modes and data dependencies in logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Fundamentals of algebraic specification 2: module specifications and constraints
Fundamentals of algebraic specification 2: module specifications and constraints
Logic programming: systematic program development
Logic programming: systematic program development
Larch: languages and tools for formal specification
Larch: languages and tools for formal specification
Logic programming in a fragment of intuitionistic linear logic
Papers presented at the IEEE symposium on Logic in computer science
A compositional semantics for logic programs
FGCS'921 Selected papers of the conference on Fifth generation computer systems
Objects, components, and frameworks with UML: the catalysis approach
Objects, components, and frameworks with UML: the catalysis approach
Component Software: Beyond Object-Oriented Programming
Component Software: Beyond Object-Oriented Programming
Interface Theories for Component-Based Design
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Hi-index | 0.00 |
In previous work, we have introduced a model-theoretic semantics for compositional units, i.e. reusable units that can be used for compositional program development. Such units contain open (logic) programs and our model-theoretic semantics characterizes their correctness and the correctness of their composition. However, for real-world software development, compositional units should be inter-operable, i.e. they should accept programs in different languages. To cater for this, our model-theoretic semantics needs to be used in conjunction with suitable semantics for behaviours and interfaces. In this paper we describe one possible approach based on constructive specifications.