TOOLS
2010
IEEE
13 years 9 months ago
2010
IEEE
While traditional approaches to code profiling help locate performance bottlenecks, they offer only limited support for removing these bottlenecks. The main reason is the lack of v...
TOOLS
2010
IEEE
13 years 10 months ago
2010
IEEE
Abstract. Java provides a specification for a user-defined general purpose equivalence operator for objects, but collections such as Set have more stringent requirements. This in...
TOOLS
2010
IEEE
14 years 4 months ago
2010
IEEE
Meta-modelling is at the core of Model-Driven Engineering, where it is used for language engineering and domain modelling. The OMG’s Meta-Object Facility is the standard framewor...
TOOLS
2010
IEEE
14 years 4 months ago
2010
IEEE
Supporting read-only and side effect free execution has been the focus of a large body of work in the area of statically typed programming languages. Read-onlyness in dynamically t...
TOOLS
2010
IEEE
14 years 4 months ago
2010
IEEE
TOOLS
2010
IEEE
14 years 4 months ago
2010
IEEE
JSContest is a tool that enhances JavaScript with simple, type-like contracts and provides a framework for monitoring and guided random testing of programs against these contracts ...
TOOLS
2010
IEEE
14 years 4 months ago
2010
IEEE
TOOLS
2010
IEEE
14 years 4 months ago
2010
IEEE
This paper presents Welterweight Java (WJ), a new minimal core Java calculus intended to be a suitable starting point for investigations in the semantics of Java-like programs. To ...