4370 search results - page 287 / 874 » Algebra of Logic Programming |
108
click to vote
JAIR
1998
15 years 11 days ago
1998
It is common to view programs as a combination of logic and control: the logic part de nes what the program must do, the control part how to do it. The Logic Programming paradigm ...
101
Voted
LPNMR
2007
Springer
15 years 6 months ago
2007
Springer
Practically all programming languages used in software engineering allow to split a program into several modules. For fully declarative and nonmonotonic logic programming languages...
227
Voted
POPL
2008
ACM
16 years 1 months ago
2008
ACM
Conventional specifications for object-oriented (OO) programs must adhere to behavioral subtyping in support of class inheritance and method overriding. However, this requirement ...
BSL
2004
15 years 17 days ago
2004
This paper ties together much of the model theory of the last 50 years. Shelah's attempts to generalize the Morley theorem beyond first order logic led to the notion of excel...
CADE
2002
Springer
16 years 1 months ago
2002
Springer