Sciweavers

10666 search results - page 114 / 2134

» Quantum programming languages

17

ECOOP
2006
Springer

84views Programming Languages» more ECOOP 2006»

14 years 23 days ago

Download userweb.cs.utexas.edu

William R. Cook

claim paper

Read More »

24

ECOOP
2006
Springer

94views Programming Languages» more ECOOP 2006»

The Closing of the Frontier

14 years 23 days ago

The Closing of the Frontier

Download www.sas.upenn.edu

Ralph E. Johnson

claim paper

Read More »

18

ECOOP
2006
Springer

118views Programming Languages» more ECOOP 2006»

The Continuing Quest for Abstraction

14 years 23 days ago

The Continuing Quest for Abstraction

Download web.media.mit.edu

Henry Lieberman

claim paper

Read More »

22

ECOOP
2006
Springer

95views Programming Languages» more ECOOP 2006»

An Aspect-Aware Outline Viewer

14 years 23 days ago

An Aspect-Aware Outline Viewer

Download www.csg.is.titech.ac.jp

Michihiro Horie, Shigeru Chiba

claim paper

Read More »

24

ESOP
2006
Springer

113views Programming Languages» more ESOP 2006»

Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions

14 years 22 days ago

Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions

Download research.microsoft.com

Sumit Gulwani, Ashish Tiwari

claim paper

Read More »

« Prev « First page 114 / 2134 Last » Next »