28 search results - page 4 / 6 » Statically Checked Documentation with Design Patterns |
303
Voted
Book
"These course notes are addressed to a wide audience of people interested in modern programming languages in general, ML-like languages in particular, or simply in OCaml, whet...
192
click to vote
CIKM
2008
Springer
15 years 7 months ago
2008
Springer
Continuous time-series sequence matching, specifically, matching a numeric live stream against a set of predefined pattern sequences, is critical for domains ranging from fire spr...
167
click to vote
VMCAI
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Java is a very successful programming language which is also becoming widespread in embedded systems, where software correctness is critical. Jlint is a simple but highly...
195
click to vote
ISSTA
2012
ACM
13 years 8 months ago
2012
ACM
We introduce the concept of “residual investigation” for program analysis. A residual investigation is a dynamic check installed as a result of running a static analysis that ...
151
Voted
CCR
2004
15 years 5 months ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...