1194 search results - page 36 / 239 » A Language for Implementing Arbitrary Logics |
156
click to vote
DOOD
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. We present a well-founded semantics for deductive objectoriented database (dood) languages by applying the alternating- xpoint characterization of the well-founded model ...
137
click to vote
HYBRID
2004
Springer
15 years 9 months ago
2004
Springer
We present a new high-level programming language, called XGIOTTO, for programming applications with hard real-time constraints. Like its predecessor, XGIOTTO is based on the LET (l...
115
click to vote
WLP
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents the Kiel Curry System (KiCS) for the lazy functional logic language Curry. Its main features beyond other Curry implementations are: flexible search control by...
132
click to vote
KR
2004
Springer
15 years 9 months ago
2004
Springer
Practical description logic systems play an ever-growing role for knowledge representation and reasoning research even in distributed environments. In particular, the often-discus...
146
click to vote
FORTE
2010
15 years 5 months ago
2010
Abstract. Separation logic is a popular specification language for imperative programs where the heap can only be mentioned through pointsto assertions. However, separation logic&#...