Search Sciweavers | Sciweavers

4880 search results - page 19 / 976

» Manuals as Structured Programs

146

click to vote

IFIPPACT
1994

131views Distributed And Parallel Com...» more IFIPPACT 1994»

Exploiting the Parallelism Exposed by Partial Evaluation

15 years 4 months ago

Download www.berlinhome.net

: We describe an approach to parallel compilation that seeks to harness the vast amount of ne-grain parallelism that is exposed through partial evaluation of numerically-intensive ...

Rajeev J. Surati, Andrew A. Berlin

claim paper

Read More »

click to vote

APLAS
2003
ACM

98views Programming Languages» more APLAS 2003»

Type Inference with Structural Subtyping: A Faithful Formalization of an Efficient Constraint Solver

15 years 8 months ago

Download www.normalesup.org

Vincent Simonet

claim paper

Read More »

108

click to vote

ESOP
1998
Springer

76views Programming Languages» more ESOP 1998»

Language Primitives and Type Discipline for Structured Communication-Based Programming

15 years 7 months ago

Download www.di.fc.ul.pt

Kohei Honda, Vasco Thudichum Vasconcelos, Makoto K...

claim paper

Read More »

203

click to vote

POPL
2001
ACM

119views Programming Languages» more POPL 2001»

BI as an Assertion Language for Mutable Data Structures

16 years 3 months ago

Download www.dcs.qmw.ac.uk

Samin S. Ishtiaq, Peter W. O'Hearn

claim paper

Read More »

105

Voted

PLDI
2009
ACM

119views Programming Languages» more PLDI 2009»

Lightweight annotations for controlling sharing in concurrent data structures

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers