Sciweavers

4959 search results - page 16 / 992

» Imperative Functional Programming

100

PEPM
1995
ACM

98views Software Engineering» more PEPM 1995»

Semantic Foundations of Binding Time Analysis for Imperative Programs

15 years 5 months ago

Semantic Foundations of Binding Time Analysis for Imperative Programs

Download www.cs.wisc.edu

Manuvir Das, Thomas W. Reps, Pascal Van Hentenryck

claim paper

Read More »

87

CONCURRENCY
2006

112views more CONCURRENCY 2006»

Automatic Grid workflow based on imperative programming languages

15 years 2 months ago

Automatic Grid workflow based on imperative programming languages

Download capinfo.e.ac.upc.edu

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

claim paper

Read More »

59

CORR
2006
Springer

116views Education» more CORR 2006»

Analysis of Equality Relationships for Imperative Programs

15 years 2 months ago

Analysis of Equality Relationships for Imperative Programs

Download www.iis.nsk.su

P. Emelyanov

claim paper

Read More »

88

JSC
2011

62views more JSC 2011»

Trace-based verification of imperative programs with I/O

14 years 9 months ago

Trace-based verification of imperative programs with I/O

Download www.people.fas.harvard.edu

Gregory Malecha, Greg Morrisett, Ryan Wisnesky

claim paper

Read More »

256

Book

301views

Programming in Standard ML

17 years 13 days ago

Programming in Standard ML

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 »