59 search results - page 10 / 12 » Criteria for Testing Exception-Handling Constructs in Java P... |
ICFP
1999
ACM
13 years 11 months ago
1999
ACM
Type dispatch constructs are an important feature of many programming languages. Scheme has predicates for testing the runtime type of a value. Java has a class cast expression an...
ML
2008
ACM
13 years 7 months ago
2008
ACM
We present a way to run Objective Caml programs on a standard, unmodified web browser, with a compatible data representation and execution model, including concurrency. To achieve...
ICSE
2004
IEEE-ACM
14 years 7 months ago
2004
IEEE-ACM
Many data-intensive applications dynamically construct queries in response to client requests and execute them. Java servlets, e.g., can create string representations of SQL queri...
SIGSOFT
2000
ACM
13 years 11 months ago
2000
ACM
We describe an extension to the Java programming language that supports static conformance checking and dynamic debugging of object "protocols," i.e., sequencing constra...
PLDI
2009
ACM
14 years 8 months ago
2009
ACM
Languages such as Java and C#, as well as scripting languages like Python, and Ruby, make extensive use of Collection classes. A collection implementation represents a fixed choic...