9 search results - page 2 / 2 » Using the TPTP Language for Writing Derivations and Finite I... |
IADIS
2003
13 years 6 months ago
2003
In [7], we reported on our experience in building Collaborative Mobile Virtual Communities (CMVC) on the Web. In [8], we proposed a finite state machine model and a new approach t...
ICFP
2010
ACM
13 years 6 months ago
2010
ACM
We show how the binary encoding and decoding of typed data and typed programs can be understood, programmed, and verified with the help of question-answer games. The encoding of a...
CORR
2002
Springer
13 years 5 months ago
2002
Springer
The so called "cogen approach" to program specialisation, writing a compiler generator instead of a specialiser, has been used with considerable success in partial evalu...
SIGSOFT
2007
ACM
14 years 6 months ago
2007
ACM
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...