5451 search results - page 79 / 1091 » Typed Operational Semantics |
102
Voted
ORDER
2010
14 years 9 months ago
2010
131
click to vote
BIRTHDAY
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
103
Voted
USENIX
2003
15 years 3 months ago
2003
Abstract: A virtual-machine monitor (VMM) is a useful technique for adding functionality below existing operating system and application software. One class of VMMs (called Type II...
126
click to vote
MSCS
2006
15 years 2 months ago
2006
We show that the extensional ordering of the sequential functionals of pure type 3, e.g. as defined via game semantics [2, 4], is not cpo-enriched. ws that this model does not equ...
123
Voted
ESOP
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. Languages for intensional type analysis permit ad-hoc polymorphism, or run-time analysis of types. However, such languages require complex, specialized constructs to supp...