Search Sciweavers | Sciweavers

10666 search results - page 162 / 2134

» Quantum programming languages

click to vote

ICCL
1990
IEEE

41views Programming Languages» more ICCL 1990»

Experience with Distributed Programming in ORCA

15 years 10 months ago

Download www.cs.vu.nl

Henri E. Bal, M. Frans Kaashoek, Andrew S. Tanenba...

claim paper

Read More »

140

click to vote

APLAS
2007
ACM

83views Programming Languages» more APLAS 2007»

The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification

15 years 10 months ago

Download www.cs.jhu.edu

Paritosh Shroff, Christian Skalka, Scott F. Smith

claim paper

Read More »

170

click to vote

HASKELL
2007
ACM

118views Programming Languages» more HASKELL 2007»

A shortcut fusion rule for circular program calculation

15 years 10 months ago

Download cs.ioc.ee

João Paulo Fernandes, Alberto Pardo, Jo&ati...

claim paper

Read More »

123

click to vote

SIGADA
1998
Springer

67views Programming Languages» more SIGADA 1998»

Dependency Analysis of Ada Programs

15 years 10 months ago

Download www.sigada.org

Janusz W. Laski, William Stanley, Jim Hurst

claim paper

Read More »

135

click to vote

POPL
1991
ACM

101views Programming Languages» more POPL 1991»

Dependence Flow Graphs: An Algebraic Approach to Program Dependencies

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers