10072 search results - page 325 / 2015 » Composition of Model Programs |
158
click to vote
STTT
2002
15 years 6 months ago
2002
This paper introduces a special section of the STTT journal containing a selection of papers that were presented at the 7th International SPIN workshop, Stanford, August 30 - Septe...
140
click to vote
ICSM
2006
IEEE
16 years 22 days ago
2006
IEEE
— Software maintenance tools for program analysis and refactoring rely on a meta-model capturing the relevant properties of programs. However, what is considered relevant may cha...
174
Voted
ASP
2003
Springer
15 years 12 months ago
2003
Springer
It is commonly believed that the meaning of a formal declarative knowledge representation language is determined by its formal semantics. This is not quite so. This paper shows an...
185
click to vote
APLAS
2010
ACM
15 years 7 months ago
2010
ACM
Abstract. We propose a new method to verify that a higher-order, treeprocessing functional program conforms to an input/output specification. Our method reduces the verification pr...
187
Voted
SCAM
2008
IEEE
16 years 1 months ago
2008
IEEE
Ensuring the correctness and reliability of software systems is one of the main problems in software development. Model checking, a static analysis method, is preponderant in impr...