Abstract
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. © Springer-Verlag Berlin Heidelberg 2005.
| Original language | English |
|---|---|
| Title of host publication | Lecture Notes in Computer Science|Lect. Notes Comput. Sci. |
| Editors | S. Etalle |
| Pages | 198-214 |
| Number of pages | 16 |
| Volume | 3573 |
| Publication status | Published - 2005 |
| Event | 14th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2004 - Verona Duration: 1 Jul 2005 → … |
Conference
| Conference | 14th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2004 |
|---|---|
| City | Verona |
| Period | 1/07/05 → … |