794 search results - page 17 / 159 » Evaluation of Assertion Support for the Java Programming Lan... |
ECOOPWEXCEPTION
2006
Springer
13 years 11 months ago
2006
Springer
It is difficult to write programs that behave correctly in the presence of exceptions. We describe a dataflow analysis for finding a certain class of mistakes made while programs h...
ICFP
2010
ACM
13 years 8 months ago
2010
ACM
Partial evaluation aims to improve the efficiency of a program by specialising it with respect to some known inputs. In this paper, we show that partial evaluation can be an effec...
ECOOP
1998
Springer
13 years 11 months ago
1998
Springer
In this paper, we propose architectural support for object manipulation, stack processing and method invocation to enhance the execution speed of Java bytecodes. First, a virtual a...
PDPTA
2003
13 years 9 months ago
2003
— A number of colleges and universities have recently added new degree programs in Information Technology (IT), or added IT components to existing Computer Science (CS) programs....
ICCS
2004
Springer
14 years 27 days ago
2004
Springer
Abstract. Camelot is a resource-bounded functional programming language which compiles to Java byte code to run on the Java Virtual Machine. We extend Camelot to include language s...