506 search results - page 31 / 102 » Constructor-based observational logic |
121
Voted
ENTCS
2007
15 years 16 days ago
2007
This paper is part of a comprehensive approach to debugging for functional logic languages. The basic idea of the whole project is to trace the execution of functional logic progr...
104
Voted
MSCS
2008
15 years 16 days ago
2008
Abstract. Software security can be ensured by specifying and verifying security properties of software using formal methods with strong theoretical bases. In particular, programs c...
117
Voted
ESOP
2010
Springer
15 years 10 months ago
2010
Springer
In search for a foundational framework for reasoning about observable behavior of programs that may not terminate, we have previously devised a trace-based big-step semantics for W...
111
click to vote
FSEN
2009
Springer
15 years 7 months ago
2009
Springer
We introduce a Hoare logic for higher-order functional languages with control operators such as callcc. The key idea is to build the assertion language and proof rules around an e...
102
click to vote
AMAST
2004
Springer
15 years 4 months ago
2004
Springer
Since Z, being a state-based language, describes a system in terms of its state and potential state changes, it is natural to want to describe properties of a specified system also...