Search Sciweavers | Sciweavers

10575 search results - page 134 / 2115

» Programming Languages

182

click to vote

POPL
2001
ACM

119views Programming Languages» more POPL 2001»

BI as an Assertion Language for Mutable Data Structures

16 years 2 months ago

Download www.dcs.qmw.ac.uk

Samin S. Ishtiaq, Peter W. O'Hearn

claim paper

Read More »

click to vote

ICFP
2006
ACM

110views Programming Languages» more ICFP 2006»

Abstraction preservation and subtyping in distributed languages

16 years 2 months ago

Download pauillac.inria.fr

James J. Leifer, Pierre-Malo Deniélou

claim paper

Read More »

100

click to vote

ESOP
2010
Springer

115views Programming Languages» more ESOP 2010»

A PolyTime Functional Language from Light Linear Logic

15 years 11 months ago

Download perso.ens-lyon.fr

Patrick Baillot, Marco Gaboardi and Virgile Mogbil

claim paper

Read More »

click to vote

ESOP
2007
Springer

91views Programming Languages» more ESOP 2007»

Immutable Objects for a Java-Like Language

15 years 8 months ago

Download www.cs.ru.nl

Christian Haack, Erik Poll, Jan Schäfer, Alek...

claim paper

Read More »

click to vote

ECOOP
2003
Springer

99views Programming Languages» more ECOOP 2003»

Language Support for Connector Abstractions

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers