1880 search results - page 270 / 376 » A Static Analysis for Beta-Binders |
173
click to vote
TOOLS
1999
IEEE
15 years 10 months ago
1999
IEEE
The goal of this paper is to obtain a one-to-one correspondence between state machines as e.g. used in UML and object-oriented programming languages. A proposal is made for a lang...
152
click to vote
JIT
1999
Springer
15 years 10 months ago
1999
Springer
The term “Java” is used to denote two different concepts: the language itself and the related execution environment, the Java Virtual Machine (JVM), which executes byte code in...
141
Voted
APL
1998
ACM
15 years 10 months ago
1998
ACM
This article describes how array predicates were used to reduce the computational complexity of four APL primitive functions when one of their arguments is a permutation vector. T...
161
click to vote
IPPS
1996
IEEE
15 years 10 months ago
1996
IEEE
A model for virtual memory in a distributed memory parallel computer is proposed. It uses a novel parallel computing operating system framework and leads to the definition of two ...
147
click to vote
IWPC
1996
IEEE
15 years 10 months ago
1996
IEEE
Evaluating the design of a distributed application is di cult but provides useful information for program development and maintenance. In distributed debugging, for example, proce...