Sciweavers

402 search results - page 40 / 81
» Engineering a Programming Language: The Type and Class Syste...
Sort
View
JUCS
2008
150views more  JUCS 2008»
13 years 8 months ago
On the Interaction of Advices and Raw Types in AspectJ
: The latest versions of AspectJ, the most popular aspect-oriented extension for Java, must cope with the complex changes that occurred in the Java type system, specially with thos...
Fernando Barden Rubbo, Rodrigo Machado, Alvaro Fre...
AVI
2000
13 years 9 months ago
Instructions and Descriptions: some cognitive aspects of programming and similar activities
The Cognitive Dimensions framework outlined here is generalised broad-brush approach to usability evaluation for all types of information artifact, from programming languages thro...
Thomas Green
ISSTA
2012
ACM
11 years 11 months ago
Static detection of brittle parameter typing
To avoid receiving incorrect arguments, a method specifies the expected type of each formal parameter. However, some parameter types are too general and have subtypes that the me...
Michael Pradel, Severin Heiniger, Thomas R. Gross
PLDI
2009
ACM
14 years 9 months ago
Automatic generation of library bindings using static analysis
High-level languages are growing in popularity. However, decades of C software development have produced large libraries of fast, timetested, meritorious code that are impractical...
Tristan Ravitch, Steve Jackson, Eric Aderhold, Ben...
CACM
1999
113views more  CACM 1999»
13 years 8 months ago
Object-oriented Abstractions for Distributed Programming
ion suffices ("decide which type you want and provide a full set of operations for each type"). If the application domain is, say, the administration of a university, the...
Rachid Guerraoui, Mohamed Fayad