Search Sciweavers | Sciweavers

1216 search results - page 15 / 244

» Hybrid type checking

166

click to vote

WCRE
1999
IEEE

142views Software Engineering» more WCRE 1999»

Type-Check Elimination: Two Object-Oriented Reengineering Patterns

15 years 10 months ago

Download scg.unibe.ch

In reengineering an object-oriented system we want to benefit from the expertise developed in earlier efforts. It is therefore essential to have a way to communicate expertise at ...

Stéphane Ducasse, Tamar Richner, Robb Nebbe

claim paper

Read More »

122

click to vote

POS
1990
Springer

138views Programming Languages» more POS 1990»

Type Equivalence Checking in Persistent Object Systems

15 years 10 months ago

Download www.cs.st-andrews.ac.uk

Richard C. H. Connor, Alfred L. Brown, Quintin I. ...

claim paper

Read More »

122

click to vote

SAS
1994
Springer

86views Formal Methods» more SAS 1994»

Directional Type Checking of Logic Programs

15 years 9 months ago

Download www.eecs.berkeley.edu

Alexander Aiken, T. K. Lakshman

claim paper

Read More »

143

click to vote

TOPLAS
2008

89views more TOPLAS 2008»

Types for atomicity: Static checking and inference for Java

15 years 5 months ago

Download slang.soe.ucsc.edu

Cormac Flanagan, Stephen N. Freund, Marina Lifshin...

claim paper

Read More »

162

click to vote

TOSEM
2012

216views Software Engineering» more TOSEM 2012»

Type checking annotation-based product lines

13 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers