5109 search results - page 214 / 1022 » On Learning Limiting Programs |
287
click to vote
POPL
2006
ACM
16 years 6 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
IWPC
2008
IEEE
16 years 22 days ago
2008
IEEE
Software maintenance tasks typically involve an important amount of program investigation effort on the part of software developers. To what extent can we benefit from prior prog...
158
click to vote
KBSE
2007
IEEE
16 years 18 days ago
2007
IEEE
Keyword programming is a novel technique for reducing the need to remember details of programming language syntax and APIs, by translating a small number of keywords provided by t...
181
click to vote
ILC
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. We aim at checking safety and temporal properties over models representing the behavior of programs manipulating dynamic singly-linked lists. The properties we consider n...
195
click to vote
ICLP
1995
Springer
15 years 10 months ago
1995
Springer
Equational theories underly many elds of computing, including functional programming, symbolic algebra, theorem proving, term rewriting and constraint solving. In this paper we sh...