Search Sciweavers | Sciweavers

10575 search results - page 152 / 2115

» Programming Languages

135

click to vote

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

Download www.macs.hw.ac.uk

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

claim paper

Read More »

113

click to vote

ESOP
2004
Springer

115views Programming Languages» more ESOP 2004»

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

15 years 10 months ago

Download www.macs.hw.ac.uk

Tom Hirschowitz, Xavier Leroy, J. B. Wells

claim paper

Read More »

115

Voted

PLDI
2003
ACM

117views Programming Languages» more PLDI 2003»

Debugging temporal specifications with concept analysis

15 years 10 months ago

Download chess.eecs.berkeley.edu

Glenn Ammons, David Mandelin, Rastislav Bodí...

claim paper

Read More »

104

click to vote

TOOLS
2010
IEEE

103views Programming Languages» more TOOLS 2010»

Reasoning about Function Objects

15 years 10 months ago

Download www.doc.ic.ac.uk

Martin Nordio, Cristiano Calcagno, Bertrand Meyer,...

claim paper

Read More »

102

click to vote

ECOOP
2010
Springer

156views Programming Languages» more ECOOP 2010»

Falling Back on Executable Specifications

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers