Search Sciweavers | Sciweavers

10666 search results - page 28 / 2134

» Quantum programming languages

134

click to vote

ESOP
2001
Springer

145views Programming Languages» more ESOP 2001»

Backwards Abstract Interpretation of Probabilistic Programs

15 years 7 months ago

Download www-verimag.imag.fr

David Monniaux

claim paper

Read More »

Voted

PPDP
2001
Springer

79views Programming Languages» more PPDP 2001»

Termination of Well-Typed Logic Programs

15 years 7 months ago

Download www.dsi.unive.it

Annalisa Bossi, Nicoletta Cocco, Sabina Rossi

claim paper

Read More »

161

click to vote

REFLECTION
2001
Springer

144views Programming Languages» more REFLECTION 2001»

Removing Reflection from Java Programs Using Partial Evaluation

15 years 7 months ago

Download ilab1.korea.ac.kr

Jung Gyu Park, Arthur H. Lee

claim paper

Read More »

Voted

SIGADA
2001
Springer

113views Programming Languages» more SIGADA 2001»

Experience report: architecture-based software development on the Crusader program

15 years 7 months ago

Download www.sigada.org

Scott Edgerton

claim paper

Read More »

107

click to vote

SIGADA
2001
Springer

76views Programming Languages» more SIGADA 2001»

Reengineering an Ada95-programmed command and control information system by using UML

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers