Sciweavers

1911 search results - page 97 / 383
» Program analysis for code duplication in logic programs
Sort
View
CC
2003
Springer
124views System Software» more  CC 2003»
15 years 7 months ago
Polyglot: An Extensible Compiler Framework for Java
Polyglot is an extensible compiler framework that supports the easy creation of compilers for languages similar to Java, while avoiding code duplication. The Polyglot framework is ...
Nathaniel Nystrom, Michael R. Clarkson, Andrew C. ...
117
Voted
APLAS
2006
ACM
15 years 6 months ago
A Modal Language for the Safety of Mobile Values
We present a modal language for distributed computation which addresses the safety of mobile values as well as mobile code. The safety of mobile code is achieved with the modality...
Sungwoo Park
ICFP
2007
ACM
16 years 2 months ago
Termination analysis and call graph construction for higher-order functional programs
The analysis and verification of higher-order programs raises the issue of control-flow analysis for higher-order languages. The problem of constructing an accurate call graph for...
Damien Sereni
PLDI
2009
ACM
16 years 3 months ago
Semantics-aware trace analysis
As computer systems continue to become more powerful and comdo programs. High-level abstractions introduced to deal with complexity in large programs, while simplifying human reas...
Kevin J. Hoffman, Patrick Eugster, Suresh Jagannat...
115
Voted
PLDI
2010
ACM
15 years 7 months ago
Resolving and exploiting the k-CFA paradox: illuminating functional vs. object-oriented program analysis
Low-level program analysis is a fundamental problem, taking the shape of “flow analysis” in functional languages and “points-to” analysis in imperative and object-oriente...
Matthew Might, Yannis Smaragdakis, David Van Horn