1017 search results - page 111 / 204 » Higher-Order Logic Programming Languages with Constraints: A... |
140
click to vote
ICAI
2010
14 years 7 months ago
2010
BousiProlog is a fuzzy logic programming language which is an extension of the standard Prolog language. The BousiProlog operational semantics is an adaptation of the SLD resoluti...
POPL
2010
ACM
15 years 7 months ago
2010
ACM
We present a verified compiler to an idealized assembly language from a small, untyped functional language with mutable references and exceptions. The compiler is programmed in th...
ICFP
2010
ACM
14 years 11 months ago
2010
ACM
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...
103
click to vote
SCCC
2005
IEEE
15 years 3 months ago
2005
IEEE
Databases may not satisfy integrity constraints (ICs) for several reasons. Nevertheless, in most of the cases an important part of the data is still consistent wrt certain desired...
ICFP
2003
ACM
15 years 9 months ago
2003
ACM
FreshML extends ML with elegant and practical constructs for declaring and manipulating syntactical data involving statically scoped binding operations. User-declared FreshML data...