3481 search results - page 419 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
260
click to vote
POPL
2006
ACM
16 years 5 months ago
2006
ACM
We introduce a new notion of bisimulation for showing contextual equivalence of expressions in an untyped lambda-calculus with an explicit store, and in which all expressed values...
147
click to vote
IWMM
2009
Springer
15 years 11 months ago
2009
Springer
This paper presents an analysis that derives a formula describing the worst-case live heap space usage of programs in a functional language with automated memory management (garba...
125
click to vote
SAC
2006
ACM
15 years 10 months ago
2006
ACM
We propose union types for statically typed class-based objectoriented languages as a means to enhance the flexibility of subtyping. As its name suggests, a union type can be con...
148
Voted
IFIP
2004
Springer
15 years 10 months ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...
138
click to vote
LPNMR
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper studies computational issues related to the problem of reasoning about actions and change (RAC) by exploiting its link with the Answer Set Programming paradigm...