1407 search results - page 114 / 282 » The Use of Overloading in Java Programs |
163
click to vote
ENTCS
2006
15 years 2 months ago
2006
Behavioral interface specification languages, such as Java Modeling Language (JML), can be used to specify the behavior of program modules. We have developed a behavioral interfac...
111
Voted
PLDI
2010
ACM
15 years 7 months ago
2010
ACM
Programming language specifications mandate static and dynamic analyses to preclude syntactic and semantic errors. Although individual languages are usually well-specified, comp...
121
Voted
GPCE
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We describe our efforts to use source-level rewriting to optimize run-time program generators written in Jumbo, a run-time program generation system for Java. Jumbo is a...
129
Voted
VMCAI
2009
Springer
15 years 9 months ago
2009
Springer
This paper describes the methods used in Empire, a tool to detect concurrency-related bugs, namely atomic-set serializability violations in Java programs. The correctness criterion...
128
Voted
EDBT
2008
ACM
16 years 2 months ago
2008
ACM
Modern enterprise data warehouses have complex workloads that are notoriously difficult to manage. An important problem in workload management is to run these complex workloads `o...