4211 search results - page 81 / 843 » Types as Abstract Interpretations |
115
Voted
ESOP
1990
Springer
15 years 7 months ago
1990
Springer
The key to realistic self-applicable partial evaluation is to analyze binding times in the source program, i.e., whether the result of partially evaluating a source expression is ...
117
Voted
ECSQARU
2001
Springer
15 years 8 months ago
2001
Springer
Abstract A (general) preferential entailment is defined by a “preference relation” among “states”. States can be either interpretations or sets of interpretations, or “c...
148
Voted
ENTCS
2007
15 years 3 months ago
2007
syntax and explicit substitutions Brigitte Pientka1 School of Computer Science McGill University Montreal, Canada This paper sketches a foundation for programming with higher-orde...
120
Voted
ECSQARU
2009
Springer
15 years 10 months ago
2009
Springer
Model-based diagnosis is the field of research concerned with the problem of finding faults ms by reasoning with abstract models of the systems. Typically, such models offer a ...
142
click to vote
BIOINFORMATICS
2012
13 years 5 months ago
2012
d Abstract) Leonid Chindelevitch1 , Daniel Ziemek1, , Ahmed Enayetallah2 , Ranjit Randhawa1 , Ben Sidders3 , Christoph Brockel4 , and Enoch Huang1 1 Computational Sciences Center o...