1027 search results - page 119 / 206 » Representing and Reasoning with Operational Semantics |
107
Voted
CSL
1999
Springer
15 years 5 months ago
1999
Springer
This paper gives the first proof that the subtyping relation of a higherorder lambda calculus, Fω ≤, is anti-symmetric, establishing in the process that the subtyping relation...
125
Voted
FLOPS
1999
Springer
15 years 5 months ago
1999
Springer
We present a simple generic framework to solve constraints on any domain (finite or infinite) which has a lattice structure. The approach is based on the use of a single constrai...
134
click to vote
CADE
1992
Springer
15 years 4 months ago
1992
Springer
Abstract. We exhibit a methodology for formulating and verifying metatheorems about deductive systems in the Elf language, an implementation of the LF Logical Framework with an ope...
110
Voted
ASP
2003
Springer
15 years 4 months ago
2003
Springer
The work aims at extending Answer Set Programming (ASP) with the possibility of quickly introducing new predefined constructs and to deal with compound data structures: we show ho...
ENTCS
2008
15 years 23 days ago
2008
We report our experience with exploring a new point in the design space for formal reasoning systems: the development of the programming language mega. mega is intended as both a ...