1247 search results - page 27 / 250 » Reasoning about Function Objects |
139
Voted
ENTCS
2002
15 years 1 months ago
2002
In this work we provide a semantic description of functional logic languages covering notions like laziness, sharing, and non-determinism. Such a semantic description is essential...
150
click to vote
TLDI
2010
ACM
15 years 2 months ago
2010
ACM
Interactive programs, such as GUIs or spreadsheets, often maintain dependency information over dynamically-created networks of objects. That is, each imperative object tracks not ...
110
click to vote
ECOOP
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Object invariants describe the consistency of object-oriented data structures and are central to reasoning about the correctness of object-oriented software. Yet, reasoni...
119
click to vote
ECOOP
2007
Springer
15 years 5 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...
127
click to vote
CADE
2006
Springer
16 years 2 months ago
2006
Springer
Abstract. Based on inductive definitions, we develop an automated tool for defining partial recursive functions in Higher-Order Logic and providing appropriate reasoning tools for ...