Sciweavers

1407 search results - page 106 / 282
» The Use of Overloading in Java Programs
Sort
View
121
Voted
PPDP
2007
Springer
15 years 8 months ago
Interactive, scalable, declarative program analysis: from prototype to implementation
Static analyses provide the semantic foundation for tools ranging from optimizing compilers to refactoring browsers and advanced debuggers. Unfortunately, developing new analysis ...
William C. Benton, Charles N. Fischer
IAT
2006
IEEE
15 years 8 months ago
Autonomous Mobile Programs
To manage load on large and dynamic networks we have developed Autonomous Mobile Programs (AMPs) that periodically use a cost model to decide where to execute. A disadvantage of d...
Xiao Yan Deng, Philip W. Trinder, Greg Michaelson
126
Voted
ESOP
2006
Springer
15 years 6 months ago
Polymorphic Type Inference for the JNI
We present a multi-lingual type inference system for checking type safety of programs that use the Java Native Interface (JNI). The JNI uses specially-formatted strings to represe...
Michael Furr, Jeffrey S. Foster
109
Voted
SPE
2008
89views more  SPE 2008»
15 years 2 months ago
The Runabout
This paper presents a variation of the visitor pattern which allows programmers to write visitor-like code in a concise way. The Runabout is a library extension that adds a limited...
Christian Grothoff
96
Voted
VL
2000
IEEE
15 years 7 months ago
Language-Agnostic Program Rendering for Presentation, Debugging and Visualization
We describe a language-independent and specificationdriven program rendering tool that is able to produce highquality code renderings of arbitrary complexity. The tool can incorp...
Christian S. Collberg, Sean Davey, Todd A. Proebst...