Search Sciweavers | Sciweavers

4959 search results - page 16 / 992

» Imperative Functional Programming

110

Voted

PEPM
1995
ACM

98views Software Engineering» more PEPM 1995»

Semantic Foundations of Binding Time Analysis for Imperative Programs

15 years 7 months ago

Download www.cs.wisc.edu

Manuvir Das, Thomas W. Reps, Pascal Van Hentenryck

claim paper

Read More »

click to vote

CONCURRENCY
2006

112views more CONCURRENCY 2006»

Automatic Grid workflow based on imperative programming languages

15 years 3 months ago

Download capinfo.e.ac.upc.edu

Raúl Sirvent, Josep M. Pérez, Rosa M...

claim paper

Read More »

Voted

CORR
2006
Springer

116views Education» more CORR 2006»

Analysis of Equality Relationships for Imperative Programs

15 years 3 months ago

Download www.iis.nsk.su

P. Emelyanov

claim paper

Read More »

click to vote

JSC
2011

62views more JSC 2011»

Trace-based verification of imperative programs with I/O

14 years 10 months ago

Download www.people.fas.harvard.edu

Gregory Malecha, Greg Morrisett, Ryan Wisnesky

claim paper

Read More »

270

Voted

Book

301views

Programming in Standard ML

17 years 1 months ago

Download www.cs.cmu.edu

"Standard ML is a type-safe programming language that embodies many innovative ideas in programming language design. It is a statically typed language, with an extensible type...

Robert Harper

posted by scimaster

Read More »

« Prev « First page 16 / 992 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Sciweavers