1131 search results - page 120 / 227 » Logic Programming, Functional Programming, and Inductive Def... |
92
Voted
CAV
2009
Springer
16 years 1 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...
104
Voted
VL
1995
IEEE
15 years 4 months ago
1995
IEEE
After more than a decade of research, visual languages have still not become everyday programming tools. On a short term, an integration of visual languages with well-established ...
102
click to vote
SSR
2001
15 years 2 months ago
2001
The visitor pattern is appealing to developers of program-analysis tools because it separates the design of the data structures that represent a program from the design of softwar...
98
Voted
LOPSTR
2004
Springer
15 years 6 months ago
2004
Springer
For use in earlier approaches to automated module interface adaptation, we seek a restricted form of program synthesis. Given some typing assumptions and a desired result type, we ...
106
Voted
PPDP
2004
Springer
15 years 6 months ago
2004
Springer
We introduce the theoretical basis for tracing lazy functional logic computations in a declarative multi-paradigm language like Curry. Tracing computations is a difficult task due...