824 search results - page 106 / 165 » Constructing Functional Programs for Grammar Analysis Proble... |
122
click to vote
SIGSOFT
2004
ACM
16 years 3 months ago
2004
ACM
Dynamic detection of likely invariants is a program analysis that generalizes over observed values to hypothesize program properties. The reported program properties are a set of ...
143
click to vote
VALUETOOLS
2006
ACM
15 years 9 months ago
2006
ACM
Min-max functions are dynamic programming operators of zero-sum deterministic games with finite state and action spaces. The problem of computing the linear growth rate of the or...
124
click to vote
ACMSE
2004
ACM
15 years 6 months ago
2004
ACM
Over the past decade, the need to build secure software has become a dominant goal in software development. Consequently, software researchers and practitioners have identified wa...
108
click to vote
ICSE
2005
IEEE-ACM
16 years 3 months ago
2005
IEEE-ACM
Embedded systems are pervasive and frequently used for critical systems with time-dependent functionality. Dwyer et al. have developed qualitative specification patterns to facili...
120
click to vote
QSIC
2005
IEEE
15 years 8 months ago
2005
IEEE
Many programs need to access data in a relational database. This is usually done by means of queries written in SQL. Although the language SQL is declarative, certain runtime erro...