2076 search results - page 11 / 416 » Functional logic overloading |
ICFP
2005
ACM
14 years 8 months ago
2005
ACM
We present a compositional program logic for call-by-value imperative higher-order functions with general forms of aliasing, which can arise from the use of reference names as fun...
DAC
2003
ACM
14 years 9 months ago
2003
ACM
APLAS
2003
ACM
14 years 1 months ago
2003
ACM
We describe origami programming methodology based on constraint functional logic programming. The basic operations of origami are reduced to solving systems of equations which desc...
CADE
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. We introduce a semantics for classical logic with partial functions. We believe that the semantics is natural. When a formula contains a subterm in which a function is ap...
ESOP
2010
Springer
14 years 6 months ago
2010
Springer