4722 search results - page 72 / 945 » Representation-independent program analysis |
PLDI
2009
ACM
14 years 3 months ago
2009
ACM
Modern programs frequently employ sophisticated modular designs. As a result, performance problems cannot be identiļ¬ed from costs attributed to routines in isolation; understand...
SIGSOFT
2004
ACM
14 years 2 months ago
2004
ACM
In run-time safety analysis the executions of a concurrent program are monitored and analyzed with respect to safety properties. Similar to testing, run-time analysis is quite eļ¬...
PLDI
1997
ACM
14 years 1 months ago
1997
ACM
A major research goal for compilers and environments is the automatic derivation of tools from formal speciļ¬cations. However, the formal model of the language is often inadequat...
AMAST
2008
Springer
13 years 11 months ago
2008
Springer
Many complex analysis problems can be most clearly and easily specified as logic rules and queries, where rules specify how given facts can be combined to infer new facts, and quer...
SAS
1992
Springer
14 years 1 months ago
1992
Springer
Abstract Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Sinc...