2477 search results - page 34 / 496 » First-Order Interactive Programming |
FM
2003
Springer
14 years 25 days ago
2003
Springer
We present a novel application on model checking through SPIN as a means for verifying purely descriptive specifications written in TRIO, a first order, linear-time temporal logic ...
ASIAN
2006
Springer
13 years 11 months ago
2006
Springer
Interesting properties of programs can be expressed using contextual equivalence. The latter is difficult to prove directly, hence (pre-)logical relations are often used as a tool ...
CORR
2006
Springer
13 years 7 months ago
2006
Springer
In a previous paper [16], the sup-interpretation method was proposed as a new tool to control memory resources of first order functional programs with pattern matching by static an...
FECS
2007
13 years 9 months ago
2007
The adoption of logic programming in an introductory course on computer programming offers several rewards. The higher al level of this programming paradigm guides students to an ...
CHI
2006
ACM
14 years 8 months ago
2006
ACM
