643 search results - page 37 / 129 » Semantic Determinism and Functional Logic Program Properties |
114
click to vote
PPDP
2004
Springer
15 years 7 months ago
2004
Springer
We introduce the theoretical basis for tracing lazy functional logic computations in a declarative multi-paradigm language like Curry. Tracing computations is a difficult task due...
123
click to vote
TCS
2011
14 years 8 months ago
2011
New, simple, proofs of soundness (every representable function lies in a given complexity class) for Elementary Affine Logic, LFPL and Soft Affine Logic are presented. The proofs ...
120
click to vote
SIGCSE
2002
ACM
15 years 1 months ago
2002
ACM
In our approach to the Programming Languages course, formal models are integrated as a thread that pervades the course, rather than as a one of many topics that is introduced and ...
104
Voted
PPDP
2009
Springer
15 years 8 months ago
2009
Springer
We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Reï...
81
Voted
BIRTHDAY
2004
Springer
15 years 7 months ago
2004
Springer
: This paper studies the composition of modules that can hide information, over a very general class of logical systems called inclusive institutions. Two semantics are given for c...