1455 search results - page 19 / 291 » Programming in Logic with Constraints for Natural Language P... |
ICFP
2004
ACM
14 years 7 months ago
2004
ACM
We present a process logic for the -calculus with the linear/affine type discipline (Berger et al. 2001; Berger et al. 2003; Honda and Yoshida 2002; Honda and Yoshida 2003; Honda ...
LPAR
2005
Springer
14 years 1 months ago
2005
Springer
PLANX
2007
13 years 9 months ago
2007
APLAS
2003
ACM
14 years 28 days 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...
CSL
2004
Springer
14 years 1 months ago
2004
Springer
Set constraints are a useful formalism for verifying properties of programs. Usually, they are interpreted over the universe of finite terms. However, some logic languages allow i...