400 search results - page 15 / 80 » An Extensible Meta-Model for Program Analysis |
COLING
1994
15 years 1 months ago
1994
The standard HPSG analysis of Germanic verb clusters can not explain the observed narrowscope readings of adjuncts in such verb clusters. We present an extension of the HPSG analy...
LISP
2008
14 years 11 months ago
2008
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
217
click to vote
PLDI
2009
ACM
16 years 10 days ago
2009
ACM
High-level languages are growing in popularity. However, decades of C software development have produced large libraries of fast, timetested, meritorious code that are impractical...
105
click to vote
PAM
2012
Springer
13 years 7 months ago
2012
Springer
Network administrators are faced with the increasingly challenging task of monitoring their network’s health in real time, drawing upon diverse and voluminous measurement data fe...
178
click to vote
POPL
2007
ACM
16 years 2 hour ago
2007
ACM
In recent years we have seen great progress made in the area of automatic source-level static analysis tools. However, most of today's program verification tools are limited ...