1989 search results - page 54 / 398 » Set functions for functional logic programming |
155
click to vote
PPDP
2009
Springer
16 years 16 days 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ï...
188
click to vote
FPCA
1993
15 years 10 months ago
1993
Five implementations of di erent lazy functional languages are compared using a common benchmark of a dozen medium size programs. The benchmarking procedure has been designed such...
161
click to vote
CSMR
1999
IEEE
15 years 10 months ago
1999
IEEE
Maintenance activities are made more difficult when pointers are heavily used in source code: the programmer needs to build a mental model of memory locations and of the way they ...
200
click to vote
PLPV
2009
ACM
16 years 2 months ago
2009
ACM
We propose a new way to reason about general recursive functional programs in the dependently typed programming language Agda, which is based on Martin-L¨of’s intuitionistic ty...
169
click to vote
FSEN
2009
Springer
16 years 17 days ago
2009
Springer
We introduce a Hoare logic for higher-order functional languages with control operators such as callcc. The key idea is to build the assertion language and proof rules around an e...