10871 search results - page 1 / 2175 » A stable programming language |
CTCS
1991
Springer
13 years 9 months ago
1991
Springer
IANDC
2006
13 years 5 months ago
2006
It is well-known that stable models (as dI-domains, qualitative domains and coherence are not fully abstract for the language PCF. This fact is related to the existence of stable ...
POPL
1997
ACM
13 years 9 months ago
1997
ACM
The following theorem of Huet and L
LPNMR
2007
Springer
13 years 11 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...
LFCS
2007
Springer
13 years 11 months ago
2007
Springer
Logic programming with stable logic semantics (SLP) is a logical formalism that assigns to sets of clauses in the language admitting negations in the bodies a special kind of mode...