3481 search results - page 377 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
121
Voted
ENTCS
2008
15 years 5 months ago
2008
Traditional programming languages are algorithmic: they are best suited to writing programs that acquire all their inputs before executing and only produce a result on termination...
131
click to vote
JAR
2008
15 years 4 months ago
2008
We analyze three proof strategies commonly used in deductive verification of deterministic sequential programs formalized with operational semantics. The strategies are: (i) stepw...
129
click to vote
CAV
2009
Springer
16 years 5 months ago
2009
Springer
We present VS3 , a tool that automatically verifies complex properties of programs and infers maximally weak preconditions and maximally strong postconditions by leveraging the pow...
143
click to vote
KI
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We compare three systems for the task of synthesising functional recursive programs, namely Adate, an approach through evolutionary computation, the classification learn...
149
Voted
WCRE
2006
IEEE
15 years 11 months ago
2006
IEEE
Programming is modeling the reality. Most of the times, the mapping between source code and the real world concepts is captured implicitly in the names of identifiers. Making the...