643 search results - page 80 / 129 » Semantic Determinism and Functional Logic Program Properties |
157
Voted
SCCC
2005
IEEE
15 years 9 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...
227
Voted
POPL
2006
ACM
16 years 4 months ago
2006
ACM
In the spirit of Landin, we present a calculus of dependent types to serve as the semantic foundation for a family of languages called data description languages. Such languages, ...
233
Voted
POPL
2005
ACM
16 years 4 months ago
2005
ACM
We introduce transactors, a fault-tolerant programming model for composing loosely-coupled distributed components running in an unreliable environment such as the internet into sy...
145
Voted
DAC
2004
ACM
15 years 7 months ago
2004
ACM
Random test generators are often used to create regression suites on-the-fly. Regression suites are commonly generated by choosing several specifications and generating a number o...
153
Voted
CIE
2010
Springer
15 years 8 months ago
2010
Springer
Game semantics provides an interactive point of view on proofs, which enables one to describe precisely their dynamical behavior during cut elimination, by considering formulas as ...