Search Sciweavers | Sciweavers

10585 search results - page 150 / 2117

» The Orc Programming Language

click to vote

PLDI
2011
ACM

224views Programming Languages» more PLDI 2011»

Evaluating value-graph translation validation for LLVM

12 years 12 months ago

Download people.seas.harvard.edu

Translation validators are static analyzers that attempt to verify that program transformations preserve semantics. Normalizing translation validators do so by trying to match the...

Jean-Baptiste Tristan, Paul Govereau, Greg Morrise...

claim paper

Read More »

click to vote

POPL
2001
ACM

119views Programming Languages» more POPL 2001»

BI as an Assertion Language for Mutable Data Structures

14 years 9 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

14 years 9 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

14 years 6 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

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers