4266 search results - page 75 / 854 » A Framework for Defining Logics |
FOIS
2001
14 years 11 months ago
2001
IJCAI
1993
14 years 11 months ago
1993
objects, like elements of (abstract) data types in ordinary programming languages In the theory of abstract data types most often one only considers algebraic structures where all ...
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Refinement types sharpen systems of simple and dependent types by offering expressive means to more precisely classify well-typed terms. We present a system of refinement types for...
CORR
2008
Springer
14 years 10 months ago
2008
Springer
ENTCS
2008
14 years 10 months ago
2008
This paper describes the Signature Compiler, which can compile an LF signature to a custom proof checker in either C++ or Java, specialized for that signature. Empirical results a...