Sciweavers

10622 search results - page 171 / 2125

» Python Programming Language

104

ECOOP
2004
Springer

65views Programming Languages» more ECOOP 2004»

Efficiently Verifiable Escape Analysis

15 years 10 months ago

Efficiently Verifiable Escape Analysis

Download www.cs.rutgers.edu

Matthew Q. Beers, Christian Stork, Michael Franz

claim paper

Read More »

96

ECOOP
2004
Springer

82views Programming Languages» more ECOOP 2004»

Semantic Casts: Contracts and Structural Subtyping in a Nominal World

15 years 10 months ago

Semantic Casts: Contracts and Structural Subtyping in a Nominal World

Download www.cs.utah.edu

Robert Bruce Findler, Matthew Flatt, Matthias Fell...

claim paper

Read More »

128

ECOOP
2004
Springer

88views Programming Languages» more ECOOP 2004»

Customization of Java Library Classes Using Type Constraints and Profile Information

15 years 10 months ago

Download users.elis.ugent.be

Bjorn De Sutter, Frank Tip, Julian Dolby

claim paper

Read More »

131

ESOP
2004
Springer

96views Programming Languages» more ESOP 2004»

System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types

15 years 10 months ago

System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types

Download www.macs.hw.ac.uk

Sébastien Carlier, Jeff Polakow, J. B. Well...

claim paper

Read More »

111

Voted

ESOP
2004
Springer

115views Programming Languages» more ESOP 2004»

Call-by-Value Mixin Modules: Reduction Semantics, Side Effects, Types

15 years 10 months ago

Call-by-Value Mixin Modules: Reduction Semantics, Side Effects, Types

Download www.macs.hw.ac.uk

Tom Hirschowitz, Xavier Leroy, J. B. Wells

claim paper

Read More »

« Prev « First page 171 / 2125 Last » Next »