1715 search results - page 53 / 343 » Domain-Specific Program Checking |
128
click to vote
POPL
1997
ACM
15 years 6 months ago
1997
ACM
We present a new predicative and decidable type system, called ML , suitable for languages that integrate functional programming and parametric polymorphism in the tradition of ML...
141
click to vote
ASE
2005
15 years 2 months ago
2005
Feature-oriented programming organizes programs around features rather than objects, thus better supporting extensible, product-line architectures. Programming languages increasin...
139
click to vote
EUROPAR
2008
Springer
15 years 4 months ago
2008
Springer
Developing a distributed application for mobile resource constrained devices is a difficult and error-prone task that requires awareness of several system-level details (e.g., faul...
101
click to vote
FMCAD
2009
Springer
15 years 9 months ago
2009
Springer
Abstract—Several successful approaches to software verificabased on the construction and analysis of an abstract reachability tree (ART). The ART represents unwindings of the co...
111
click to vote
BIRTHDAY
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We consider programs which are data independent with respect to two type variables X and Y , and can in addition use arrays indexed by X and storing values from Y . We ar...