Sciweavers

10871 search results - page 1 / 2175
» A stable programming language
Sort
View
CTCS
1991
Springer
15 years 1 months ago
Stone Duality for Stable Functions
Thomas Ehrhard, Pasquale Malacaria
IANDC
2006
78views more  IANDC 2006»
14 years 10 months ago
A stable programming language
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 ...
Luca Paolini
POPL
1997
ACM
15 years 1 months ago
Call by Need Computations to Root-Stable Form
The following theorem of Huet and L
Aart Middeldorp
LPNMR
2007
Springer
15 years 4 months ago
Modularity Aspects of Disjunctive Stable Models
Practically all programming languages used in software engineering allow to split a program into several modules. For fully declarative and nonmonotonic logic programming languages...
Tomi Janhunen, Emilia Oikarinen, Hans Tompits, Ste...
LFCS
2007
Springer
15 years 4 months ago
Compactness Properties for Stable Semantics of Logic Programs
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...
Victor W. Marek, Jeffrey B. Remmel