277 search results - page 13 / 56 » Towards an automatic complexity analysis for generic program... |
ENTCS
2008
13 years 7 months ago
2008
Logic meta-programming in Prolog is a powerful way to express program analysis and transformation. However, its use can be difficult and error-prone because it requires programmer...
APLAS
2004
ACM
14 years 29 days ago
2004
ACM
Parallel programming is becoming an important cornerstone of general computing. In addition, type systems have significant impact on program analysis. In this paper, we demonstrat...
VMCAI
2004
Springer
14 years 26 days ago
2004
Springer
Abstract. We present a generic framework for the automatic and modular inference of sound class invariants for class-based object oriented languages. The idea is to derive a sound ...
DAC
2010
ACM
13 years 11 months ago
2010
ACM
State-of-the-art automatic reliability analyses as used in system-level design approaches mainly rely on Binary Decision Diagrams (BDDs) and, thus, face two serious problems: (1) ...
SAC
2008
ACM
13 years 7 months ago
2008
ACM
The dominance of digital objects in today's information landscape has changed the way humankind creates and exchanges information. However, it has also brought an entirely ne...