Autor(en)
Pearce, David J
Titel
JPure: A Modular Purity System for Java
Teil von
  • Compiler Construction, p.104-123
Ort / Verlag
Berlin, Heidelberg: Springer Berlin Heidelberg
Links zum Volltext
Quelle
SpringerLINK Lecture Notes in Computer Science (2011)
Beschreibungen
Purity Analysis is the problem of determining whether or not a method may have side-effects. This has applications in automatic parallelisation, extended static checking, and more. We present a novel purity system for Java that employs purity annotations which can be checked modularly. This is done using a flow-sensitive, intraprocedural analysis. The system exploits two properties, called freshness and locality, to increase the range of methods that can be considered pure. JPure also includes an inference engine for annotating legacy code. We evaluate our system against several packages from the Java Standard Library. Our results indicate it is possible to uncover significant amounts of purity efficiently.
Format
Sprache(n)
Englisch
Identifikator(en)
ISBN: 9783642198601
ISBN: 3642198600
ISBN: 9783642198618
ISBN: 3642198619
ISSN: 0302-9743
ISSN: 1611-3349
DOI: 10.1007/978-3-642-19861-8
Links zum Inhalt
Schlagwörter
Compiler Optimisation, Java Modelling Language, Java Program, Locality Invariant, Purity System
Systemstelle
Signatur

Weiterführende Literatur

Empfehlungen zum selben Thema automatisch vorgeschlagen von bX
Die Universität der Informationsgesellschaft