827 search results - page 126 / 166 » Proof-Theoretic Soundness and Completeness |
99
Voted
CSL
2004
Springer
15 years 6 months ago
2004
Springer
A CPS translation is a syntactic translation of programs, which is useful for describing their operational behavior. By iterating the standard call-by-value CPS translation, Danvy ...
83
Voted
CSL
2004
Springer
15 years 6 months ago
2004
Springer
Subtyping rules can be fairly complex for union types, due to interactions with other types, such as function types. Furthermore, these interactions turn out to depend on the calc...
93
Voted
FOSSACS
2004
Springer
15 years 6 months ago
2004
Springer
People often need to reason about policy changes before they are adopted. For example, suppose a website manager knows that users want to enter her site without going through the w...
88
Voted
GC
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Behavioural equivalences on open systems are usually defined by comparing system behaviour in all environments. Due to this “universal” quantification over the poss...
109
Voted
ICALP
2004
Springer
15 years 6 months ago
2004
Springer
We present a domain-theoretic version of Picard’s theorem for solving classical initial value problems in Rn . For the case of vector fields that satisfy a Lipschitz condition, ...