1715 search results - page 44 / 343 » Domain-Specific Program Checking |
GPCE
2007
Springer
15 years 6 months ago
2007
Springer
This paper introduces new parsing and context-aware scanning algorithms in which the scanner uses contextual information to disambiguate lexical syntax. The parser uses a slightly...
128
click to vote
ICFP
2008
ACM
16 years 2 months ago
2008
ACM
We report on an extension of Haskell with open type-level functions and equality constraints that unifies earlier work on GADTs, functional dependencies, and associated types. The...
107
click to vote
CAV
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We describe an interpolant-based approach to test generation and model checking for sequential programs. The method generates Floyd/Hoare style annotations of the program...
135
click to vote
JTRES
2010
ACM
15 years 2 months ago
2010
ACM
The Safety Critical Java Specification intends to support the development of programs that must be certified. The specification includes a number of annotations used to constrain ...
135
click to vote
ECOOP
2012
Springer
13 years 4 months ago
2012
Springer
Ownership type systems describe a heap topology and enforce an encapsulation discipline; they aid in various program correctness and understanding tasks. However, the annotation ov...