249 search results - page 14 / 50 » Principals in Programming Languages: A Syntactic Proof Techn... |
CEFP
2009
Springer
13 years 6 months ago
2009
Springer
Programmers happily use induction to prove properties of recursive programs. To show properties of corecursive programs they employ coinduction, but perhaps less enthusiastically. ...
AOSD
2007
ACM
14 years 18 days ago
2007
ACM
Most approaches to programming language extensibility have worked by pairing syntactic extension with semantic extension. We present an approach that works through a combination o...
ECOOP
2006
Springer
14 years 8 days ago
2006
Springer
This paper briefly describes the design of a dynamic adaptation management framework exploiting the concepts provided by Aspect-Oriented Software Development (AOSD) -in particular ...
SAC
2010
ACM
13 years 6 months ago
2010
ACM
Verification conditions (VCs) are logical formulae whose validity implies the correctness of a program with respect to a specification. The technique of checking software properti...
TPHOL
1999
IEEE
14 years 27 days ago
1999
IEEE
Abstract. We describe the key features of the proof description language of Declare, an experimental theorem prover for higher order logic. We take a somewhat radical approach to p...