Search Sciweavers | Sciweavers

10666 search results - page 161 / 2134

» Quantum programming languages

click to vote

PLDI
2005
ACM

94views Programming Languages» more PLDI 2005»

A serializability violation detector for shared-memory server programs

14 years 3 months ago

Download www.cs.wisc.edu

Min Xu, Rastislav Bodík, Mark D. Hill

claim paper

Read More »

click to vote

TOOLS
2010
IEEE

107views Programming Languages» more TOOLS 2010»

Domain-Specific Program Checking

14 years 3 months ago

Download scg.unibe.ch

Lukas Renggli, Stéphane Ducasse, Tudor G&ic...

claim paper

Read More »

click to vote

SIGADA
2001
Springer

82views Programming Languages» more SIGADA 2001»

Beyond ASIS: program data bases and tool-oriented queries

14 years 2 months ago

Download www.cs.uni.edu

Janusz W. Laski, William Stanley, Pawel Podgorski

claim paper

Read More »

click to vote

POS
1994
Springer

83views Programming Languages» more POS 1994»

START: A Linguistic Reflection Tool Using Hyper-Program Technology

14 years 2 months ago

Download www.cs.st-andrews.ac.uk

Graham N. C. Kirby, Richard C. H. Connor, Ronald M...

claim paper

Read More »

click to vote

ECOOP
1989
Springer

50views Programming Languages» more ECOOP 1989»

A Design Method for Object-Oriented Programming

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers