61 search results - page 3 / 13 » On the Declarative Semantics of Inheritance Networks |
OOPSLA
2007
Springer
15 years 3 months ago
2007
Springer
A dynamic language improves programmer productivity through flexible typing, a focus on high-level programming, and by streamlining the edit-compile-debug cycle. Live languages g...
OOPSLA
2004
Springer
15 years 3 months ago
2004
Springer
In an object-oriented language, a derived class may declare a method with the same signature as a method in the base class. The meaning of the re-declaration depends on the langua...
150
Voted
ECOOP
2009
Springer
15 years 10 months ago
2009
Springer
We present FJig, a simple calculus where basic building blocks are classes in the style of Featherweight Java, declaring elds, methods and one constructor. However, inheritance has...
102
click to vote
ICISS
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. We present a declarative language with a formal semantics for specifying both users' privacy preferences and services' privacy policies. Expressiveness and appl...
178
click to vote
PADL
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In this paper, we present our initial design and implementation of a declarative network verifier (DNV). DNV utilizes theorem proving, a well established verification tec...