Search Sciweavers | Sciweavers

10912 search results - page 252 / 2183

» Object-Oriented Programming Languages

125

click to vote

TOOLS
2010
IEEE

107views Programming Languages» more TOOLS 2010»

Domain-Specific Program Checking

15 years 11 months ago

Download scg.unibe.ch

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

claim paper

Read More »

134

click to vote

SIGADA
2001
Springer

82views Programming Languages» more SIGADA 2001»

Beyond ASIS: program data bases and tool-oriented queries

15 years 11 months ago

Download www.cs.uni.edu

Janusz W. Laski, William Stanley, Pawel Podgorski

claim paper

Read More »

145

click to vote

POS
1994
Springer

83views Programming Languages» more POS 1994»

START: A Linguistic Reflection Tool Using Hyper-Program Technology

15 years 10 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

ICCL
1990
IEEE

41views Programming Languages» more ICCL 1990»

Experience with Distributed Programming in ORCA

15 years 10 months ago

Download www.cs.vu.nl

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

claim paper

Read More »

142

click to vote

APLAS
2007
ACM

83views Programming Languages» more APLAS 2007»

The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers