5451 search results - page 375 / 1091 » Typed Operational Semantics |
226
Voted
OOPSLA
2007
Springer
16 years 8 days ago
2007
Springer
Developing a general component system for a statically typed, object-oriented language is a challenging design problem for two reasons. First, mutually recursive references across...
167
Voted
PLDI
2003
ACM
15 years 11 months ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
160
click to vote
AUSAI
2009
Springer
16 years 22 days ago
2009
Springer
Model checking games are instances of Hintikka’s game semantics for logic used for purposes of debugging systems verification models. Previous work in the area has developed the...
159
click to vote
ICANN
2009
Springer
16 years 22 days ago
2009
Springer
We propose to model human reasoning tasks using completed logic programs interpreted under the three-valued Lukasiewicz semantics. Given an appropriate immediate consequence operat...
130
click to vote
SIGOPSE
2004
ACM
15 years 11 months ago
2004
ACM
Computer systems are complex and unforgiving. Users need environments more tolerant of errors, allowing them to correct mistakes and explore alternatives. This is the aim of Joyce...