Search Sciweavers | Sciweavers

8132 search results - page 37 / 1627

» Dependability, Abstraction, and Programming

150

click to vote

ICFP
2003
ACM

102views Programming Languages» more ICFP 2003»

Reasoning on an imperative object-based calculus in Higher Order Abstract Syntax

16 years 6 months ago

Download users.dimi.uniud.it

Alberto Ciaffaglione, Luigi Liquori, Marino Micula...

claim paper

Read More »

158

click to vote

POPL
2010
ACM

188views Programming Languages» more POPL 2010»

Decision Procedures for Algebraic Data Types with Abstractions

16 years 3 months ago

Download lara.epfl.ch

Philippe Suter, Mirco Dotta, Viktor Kuncak

claim paper

Read More »

146

click to vote

IWOMP
2009
Springer

112views Programming Languages» more IWOMP 2009»

Extending Automatic Parallelization to Optimize High-Level Abstractions for Multicore

16 years 16 days ago

Download www.rosecompiler.org

Chunhua Liao, Daniel J. Quinlan, Jeremiah Willcock...

claim paper

Read More »

120

click to vote

ESOP
2007
Springer

87views Programming Languages» more ESOP 2007»

Abstract Predicates and Mutable ADTs in Hoare Type Theory

16 years 5 days ago

Download www.eecs.harvard.edu

Aleksandar Nanevski, Amal Ahmed, Greg Morrisett, L...

claim paper

Read More »

click to vote

ECOOP
2003
Springer

99views Programming Languages» more ECOOP 2003»

Language Support for Connector Abstractions

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers