1995 search results - page 385 / 399 » The Chemical Abstract Machine |
114
click to vote
CADE
1998
Springer
15 years 1 months ago
1998
Springer
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...
120
click to vote
POPL
1989
ACM
15 years 1 months ago
1989
ACM
raction that a programming language provides influences the structure and algorithmic complexity of the resulting programs: just imagine creating an artificial intelligence engine ...
PPOPP
1990
ACM
15 years 1 months ago
1990
ACM
Abstract - A multiprocessor system capable of exploiting fine-grained parallelism must support efficient synchronization and data passing mechanisms. This paper demonstrates the us...
BIRTHDAY
2007
Springer
15 years 1 months ago
2007
Springer
Well understood methods exist for developing programs from formal specifications. Not only do such methods offer a precise check that certain sorts of deviations from their specifi...
CASES
2007
ACM
15 years 1 months ago
2007
ACM
ABSTRACT This paper presents the first scratch-pad memory allocation scheme that requires no compiler support for interpreted-language based applications. A scratch-pad memory (SPM...