474 search results - page 48 / 95 » A Framework for Comparing Type Systems for Database Programm... |
110
click to vote
PODS
1994
ACM
15 years 6 months ago
1994
ACM
We present a typed polymorphic calculus that supports a general mechanism for view definition and object sharing among classes. In this calculus, a class can contain inclusion spe...
138
click to vote
JFP
2007
15 years 2 months ago
2007
The LF logical framework codifies a methodology for representing deductive systems, such as programming languages and logics, within a dependently typed λ-calculus. In this meth...
127
click to vote
ISOOMS
1994
15 years 6 months ago
1994
Although object-oriented programming techniques have evolved into an accepted technology with recognized benefits for software development, profound investigations of qualitative a...
126
Voted
ECOOP
2007
Springer
15 years 6 months ago
2007
Springer
Object invariants describe the consistency of object states, and are crucial for reasoning about the correctness of object-oriented programs. However, reasoning about object invari...
157
Voted
CADE
1992
Springer
15 years 6 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...