Search Sciweavers | Sciweavers

10575 search results - page 134 / 2115

» Programming Languages

141

click to vote

POPL
2001
ACM

119views Programming Languages» more POPL 2001»

BI as an Assertion Language for Mutable Data Structures

15 years 10 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

15 years 10 months ago

Download pauillac.inria.fr

James J. Leifer, Pierre-Malo Deniélou

claim paper

Read More »

click to vote

ESOP
2010
Springer

115views Programming Languages» more ESOP 2010»

A PolyTime Functional Language from Light Linear Logic

15 years 7 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 4 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 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers