Search Sciweavers | Sciweavers

6248 search results - page 24 / 1250

» Programming in a data factory

124

click to vote

POPL
2010
ACM

188views Programming Languages» more POPL 2010»

Decision Procedures for Algebraic Data Types with Abstractions

16 years 11 days ago

Download lara.epfl.ch

Philippe Suter, Mirco Dotta, Viktor Kuncak

claim paper

Read More »

195

click to vote

POPL
2003
ACM

101views Programming Languages» more POPL 2003»

A type theory for memory allocation and data layout

16 years 3 months ago

Download www-2.cs.cmu.edu

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

claim paper

Read More »

101

click to vote

PLDI
2009
ACM

119views Programming Languages» more PLDI 2009»

Lightweight annotations for controlling sharing in concurrent data structures

15 years 9 months ago

Download www.cs.berkeley.edu

Zachary R. Anderson, David Gay, Mayur Naik

claim paper

Read More »

click to vote

IFIP
2009
Springer

115views Programming Languages» more IFIP 2009»

Formal Grammars for Product Data Management on Distributed Manufacturing Systems

15 years 7 months ago

Download www.uninova.pt

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

claim paper

Read More »

143

click to vote

ICCL
1998
IEEE

206views Programming Languages» more ICCL 1998»

Breaking Abstractions and Unstructuring Data Structures

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers