Search Sciweavers | Sciweavers

6248 search results - page 24 / 1250

» Programming in a data factory

142

Voted

POPL
2010
ACM

188views Programming Languages» more POPL 2010»

Decision Procedures for Algebraic Data Types with Abstractions

16 years 2 months ago

Download lara.epfl.ch

Philippe Suter, Mirco Dotta, Viktor Kuncak

claim paper

Read More »

218

Voted

POPL
2003
ACM

101views Programming Languages» more POPL 2003»

A type theory for memory allocation and data layout

16 years 5 months ago

Download www-2.cs.cmu.edu

Leaf Petersen, Robert Harper, Karl Crary, Frank Pf...

claim paper

Read More »

115

click to vote

PLDI
2009
ACM

119views Programming Languages» more PLDI 2009»

Lightweight annotations for controlling sharing in concurrent data structures

15 years 11 months ago

Download www.cs.berkeley.edu

Zachary R. Anderson, David Gay, Mayur Naik

claim paper

Read More »

Voted

IFIP
2009
Springer

115views Programming Languages» more IFIP 2009»

Formal Grammars for Product Data Management on Distributed Manufacturing Systems

15 years 9 months ago

Download www.uninova.pt

Rui M. Sousa, Paulo J. Martins, Rui M. Lima

claim paper

Read More »

162

Voted

ICCL
1998
IEEE

206views Programming Languages» more ICCL 1998»

Breaking Abstractions and Unstructuring Data Structures

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers