98 search results - page 10 / 20 » A Proof Theoretic Approach to Operational Semantics |
133
Voted
IFM
2007
Springer
15 years 9 months ago
2007
Springer
We present an approach to modelling Abadi–Cardelli-style object calculi as Unifying Theories of Programming (UTP) designs. Here we provide a core object calculus with an operatio...
153
Voted
POPL
2012
ACM
13 years 11 months ago
2012
ACM
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...
132
Voted
TLCA
2005
Springer
15 years 9 months ago
2005
Springer
αProlog is a logic programming language which is well-suited for rapid prototyping of type systems and operational semantics of typed λ-calculi and many other languages involving...
130
Voted
ESWS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. From a theoretical point of view, the Semantic Web is understood in terms of a stack with RDF being one of its layers. A Semantic Web application operates on the common d...
144
click to vote
TCS
2010
14 years 10 months ago
2010
The incremental approach to modular monadic semantics constructs complex monads by using monad transformers to add computational features to a preexisting monad. A complication of...