183
Voted
TOOLS
2010
IEEE
15 years 4 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...
145
Voted
TOOLS
2010
IEEE
15 years 5 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...
163
Voted
TOOLS
2010
IEEE
15 years 11 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...
166
Voted
TOOLS
2010
IEEE
15 years 11 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...
130
Voted
TOOLS
2010
IEEE
16 years 2 days ago
2010
IEEE
186
Voted
TOOLS
2010
IEEE
16 years 2 days 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 ...
135
Voted
TOOLS
2010
IEEE
16 years 2 days ago
2010
IEEE
153
Voted
TOOLS
2010
IEEE
16 years 2 days 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 ...