2236 search results - page 320 / 448 » Language Independence and Language Tolerance in Logic Progra... |
142
click to vote
LICS
2010
IEEE
15 years 2 months ago
2010
IEEE
Let R be a class of generators of node-labelled infinite trees, and L be a logical language for describing correctness properties of these trees. Given R R and L, we say that R ...
160
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
Agents that must reach agreements with other agents need to reason about how their preferences, judgments, and beliefs might be aggregated with those of others by the social choic...
126
click to vote
ESOP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Graphs are an intuitive model for states of a (software) system that include pointer structures — for instance, object-oriented programs. However, a naive encoding resu...
131
click to vote
ESOP
2012
Springer
14 years 2 days ago
2012
Springer
The existing call-by-need λ calculi describe lazy evaluation via equational logics. A programmer can use these logics to safely ascertain whether one term is behaviorally equivale...
129
Voted
PASTE
2010
ACM
15 years 2 months ago
2010
ACM
Monitoring or profiling programs provides us with an understanding for its further improvement and analysis. Typically, for monitoring or profiling, the program is instrumented ...