Search Sciweavers | Sciweavers

10585 search results - page 150 / 2117

» The Orc Programming Language

143

click to vote

PLDI
2011
ACM

224views Programming Languages» more PLDI 2011»

Evaluating value-graph translation validation for LLVM

14 years 5 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 »

184

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 »

101

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

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers