Search Sciweavers | Sciweavers

4959 search results - page 15 / 992

» Imperative Functional Programming

click to vote

SC
1992
ACM

144views Applied Computing» more SC 1992»

Heterogeneous Parallel Programming in Jade

15 years 2 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 »

click to vote

SEFM
2005
IEEE

106views Software Engineering» more SEFM 2005»

Customised Induction Rules for Proving Correctness of Imperative Programs

15 years 4 months ago

Download i12www.ira.uka.de

Ola Olsson, Angela Wallenburg

claim paper

Read More »

click to vote

LICS
2000
IEEE

90views Automated Reasoning» more LICS 2000»

Imperative Programming with Dependent Types

15 years 2 months ago

Download www.ats-lang.org

Hongwei Xi

claim paper

Read More »

click to vote

ESEC
1993
Springer

105views Software Engineering» more ESEC 1993»

Assertion-based Debugging of Imperative Programs by Abstract Interpretation

15 years 2 months ago

Download web.me.com

François Bourdoncle

claim paper

Read More »

click to vote

AMAST
2004
Springer

116views Software Engineering» more AMAST 2004»

Abstracting Call-Stacks for Interprocedural Verification of Imperative Programs

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers