31387 search results - page 5977 / 6278 » Abstracting abstract machines |
199
click to vote
ICPP
1995
IEEE
15 years 10 months ago
1995
IEEE
Interactive program steering permits researchers to monitor and guide their applications during runtime. Interactive steering can help make end users more effective in addressing ...
236
click to vote
OOPSLA
1995
Springer
15 years 10 months ago
1995
Springer
All object-oriented languages provide support for subtype polymorphism, which allows the writing of generic code that works for families of related types. There is also a need, ho...
258
click to vote
POPL
1995
ACM
15 years 10 months ago
1995
ACM
We show how a set of building blocks can be used to construct programming language interpreters, and present implementations of such building blocks capable of supporting many com...
174
click to vote
POPL
1995
ACM
15 years 10 months ago
1995
ACM
d Abstract) We extend the model of [VRV94] to express strong time-outs (and pre-emption): if an event A does not happen through time t, cause event B to happen at time t. Such con...
178
Voted
SC
1995
ACM
15 years 10 months ago
1995
ACM
The problem of determining the evolutionary history of species in the form of phylogenetic trees is known as the phylogeny problem. We present a parallelization of the character c...