Search Sciweavers | Sciweavers

10575 search results - page 152 / 2115

» Programming Languages

103

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 7 months ago

Download www.macs.hw.ac.uk

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

claim paper

Read More »

click to vote

ESOP
2004
Springer

115views Programming Languages» more ESOP 2004»

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

15 years 7 months ago

Download www.macs.hw.ac.uk

Tom Hirschowitz, Xavier Leroy, J. B. Wells

claim paper

Read More »

Voted

PLDI
2003
ACM

117views Programming Languages» more PLDI 2003»

Debugging temporal specifications with concept analysis

15 years 7 months ago

Download chess.eecs.berkeley.edu

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

claim paper

Read More »

click to vote

TOOLS
2010
IEEE

103views Programming Languages» more TOOLS 2010»

Reasoning about Function Objects

15 years 7 months ago

Download www.doc.ic.ac.uk

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

claim paper

Read More »

Voted

ECOOP
2010
Springer

156views Programming Languages» more ECOOP 2010»

Falling Back on Executable Specifications

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers