1226 search results - page 26 / 246 » Proofs, Programs and Abstract Complexity |
WSC
1997
15 years 3 months ago
1997
Proof Animation™ 4.0 is a family of products for animating discrete event simulations. Proof is available in a variety of versions, including an inexpensive, student version, mi...
120
click to vote
ESOP
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. A verified compiler is an integral part of every security infrastructure. Previous work has come up with formal semantics for sequential and concurrent variants of Java a...
103
click to vote
ESOP
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. The hiding of internal invariants creates a mismatch between procedure specifications in an interface and proof obligations on the implementations of those procedures. T...
107
click to vote
CIE
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Datatype-generic programs are programs that are parameterised by a datatype. Designing datatype-generic programs brings new challenges and new opportunities. We review th...
141
click to vote
COMPSAC
2009
IEEE
15 years 3 months ago
2009
IEEE
Modular certification of low-level intermediate representation (IR) programs is one of the key steps of proof-transforming compilation. The major challenges are lexity of abstract ...