1914 search results - page 240 / 383 » Abstract lambda-Calculus Machines |
UML
2001
Springer
14 years 13 days ago
2001
Springer
We describe formal steps in the design of iState, a tool for translating statecharts into programming languages. Currently iState generates code in either Java, or the Abstract Mac...
ICPR
2000
IEEE
14 years 13 days ago
2000
IEEE
This paper describes an infrastructure that enables transparent development of image processing software for parallel computers. The infrastructure’s main component is an image ...
SIGIR
2000
ACM
14 years 11 days ago
2000
ACM
Abstract This paper investigates whether a machine can automatically learn the task of finding, within a large collection of candidate responses, the answers to questions. The lea...
ECOOPWEXCEPTION
2000
Springer
14 years 11 days ago
2000
Springer
Abstract. This paper describes a scheme of manipulating (partial) continuations in imperative languages such as Java and C++ in a portable manner, where the portability means that ...
FM
1999
Springer
14 years 9 days ago
1999
Springer
Abstract. The classical concepts of partial and total correctness identify all types of runtime errors and divergence. We argue that the associated notions of translation correctne...