1497 search results - page 172 / 300 » Extended static checking |
121
click to vote
RV
2010
Springer
14 years 10 months ago
2010
Springer
A product line is a family of programs where each program is defined by a unique combination of features. Product lines, like conventional programs, can be checked for safety prope...
DSL
2009
14 years 10 months ago
2009
Traversals of heterogeneous object structures are the most common operations in schema-first applications where the three key issues are (1) separation of traversal specifications ...
133
Voted
ICOODB
2009
14 years 10 months ago
2009
The integration of database and programming languages is made difficult by the different data models and type systems prevalent in each field. Functional-object query languages con...
105
click to vote
ASPLOS
2012
ACM
13 years 8 months ago
2012
ACM
Disciplined approximate programming lets programmers declare which parts of a program can be computed approximately and consequently at a lower energy cost. The compiler proves st...
162
click to vote
ESORICS
2012
Springer
13 years 3 months ago
2012
Springer
Tracking information flow in dynamic languages remains an open challenge. It might seem natural to address the challenge by runtime monitoring. However, there are well-known funda...