1278 search results - page 149 / 256 » On the Semantics of Logic Program Composition |
JDM
2000
13 years 9 months ago
2000
Little work has been completed which addresses the logical composition and use of ternary relationships in entity-relationship modeling. Many modeling notations and most CASE tool...
ESOP
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. This paper concerns mechanisms for maintaining the value of an instrumentation predicate (a.k.a. derived predicate or view), defined via a logical formula over core pred...
FUIN
2010
13 years 6 months ago
2010
In this paper we present the IDUM system, a successful application of logic programming to e-tourism. IDUM exploits two technologies that are based on the state-of-the-art ASP syst...
ICALP
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We present a Hoare logic for a simple imperative whilelanguage with stored commands, ie. stored parameterless procedures. Stores that may contain procedures are called hi...
AOSD
2010
ACM
14 years 2 months ago
2010
ACM
Aspect-oriented programming languages modularize crosscutting concerns by separating the concerns from a base program in aspects. What they do not modularize well is the code need...