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 6 months ago

Download www.cs.vu.nl

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

claim paper

Read More »

103

Voted

APLAS
2007
ACM

83views Programming Languages» more APLAS 2007»

The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification

15 years 6 months ago

Download www.cs.jhu.edu

Paritosh Shroff, Christian Skalka, Scott F. Smith

claim paper

Read More »

132

click to vote

HASKELL
2007
ACM

118views Programming Languages» more HASKELL 2007»

A shortcut fusion rule for circular program calculation

15 years 6 months ago

Download cs.ioc.ee

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

claim paper

Read More »

click to vote

SIGADA
1998
Springer

67views Programming Languages» more SIGADA 1998»

Dependency Analysis of Ada Programs

15 years 6 months ago

Download www.sigada.org

Janusz W. Laski, William Stanley, Jim Hurst

claim paper

Read More »

click to vote

POPL
1991
ACM

101views Programming Languages» more POPL 1991»

Dependence Flow Graphs: An Algebraic Approach to Program Dependencies

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers