Search Sciweavers | Sciweavers

10666 search results - page 28 / 2134

» Quantum programming languages

click to vote

ESOP
2001
Springer

145views Programming Languages» more ESOP 2001»

Backwards Abstract Interpretation of Probabilistic Programs

14 years 3 days ago

Download www-verimag.imag.fr

David Monniaux

claim paper

Read More »

click to vote

PPDP
2001
Springer

79views Programming Languages» more PPDP 2001»

Termination of Well-Typed Logic Programs

14 years 1 days ago

Download www.dsi.unive.it

Annalisa Bossi, Nicoletta Cocco, Sabina Rossi

claim paper

Read More »

click to vote

REFLECTION
2001
Springer

144views Programming Languages» more REFLECTION 2001»

Removing Reflection from Java Programs Using Partial Evaluation

14 years 1 days ago

Download ilab1.korea.ac.kr

Jung Gyu Park, Arthur H. Lee

claim paper

Read More »

click to vote

SIGADA
2001
Springer

113views Programming Languages» more SIGADA 2001»

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

14 years 1 days ago

Download www.sigada.org

Scott Edgerton

claim paper

Read More »

click to vote

SIGADA
2001
Springer

76views Programming Languages» more SIGADA 2001»

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

14 years 1 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers