Search Sciweavers | Sciweavers

4959 search results - page 15 / 992

» Imperative Functional Programming

162

click to vote

SC
1992
ACM

144views Applied Computing» more SC 1992»

Heterogeneous Parallel Programming in Jade

15 years 10 months ago

Download people.csail.mit.edu

This paper presents Jade, a high-level parallel programming language for managing coarse-grain concurrency. Jade simplifies programming by providing the programmer with the abstra...

Martin C. Rinard, Daniel J. Scales, Monica S. Lam

claim paper

Read More »

129

Voted

SEFM
2005
IEEE

106views Software Engineering» more SEFM 2005»

Customised Induction Rules for Proving Correctness of Imperative Programs

15 years 12 months ago

Download i12www.ira.uka.de

Ola Olsson, Angela Wallenburg

claim paper

Read More »

138

Voted

LICS
2000
IEEE

90views Automated Reasoning» more LICS 2000»

Imperative Programming with Dependent Types

15 years 10 months ago

Download www.ats-lang.org

Hongwei Xi

claim paper

Read More »

123

Voted

ESEC
1993
Springer

105views Software Engineering» more ESEC 1993»

Assertion-based Debugging of Imperative Programs by Abstract Interpretation

15 years 10 months ago

Download web.me.com

François Bourdoncle

claim paper

Read More »

137

click to vote

AMAST
2004
Springer

116views Software Engineering» more AMAST 2004»

Abstracting Call-Stacks for Interprocedural Verification of Imperative Programs

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers