Sciweavers

6201 search results - page 15 / 1241

» Implementation of Axiomatic Language

128

Voted

VL
2000
IEEE

129views Visual Languages» more VL 2000»

Implementation of a Constraint-Based Visualization System

15 years 8 months ago

Implementation of a Constraint-Based Visualization System

Download www.cs.uic.edu

Isabel F. Cruz, Peter S. Leveille

claim paper

Read More »

112

Voted

TOOLS
1999
IEEE

96views Programming Languages» more TOOLS 1999»

Contracts: From Analysis to C++ Implementation

15 years 8 months ago

Contracts: From Analysis to C++ Implementation

Download www.swe.uni-linz.ac.at

Reinhold Plösch, Josef Pichler

claim paper

Read More »

119

Voted

JAVA
1999
Springer

98views Programming Languages» more JAVA 1999»

A Tale of Two Directories: Implementing Distributed Shared Objects in Java

15 years 8 months ago

A Tale of Two Directories: Implementing Distributed Shared Objects in Java

Download www.cs.brown.edu

Maurice Herlihy, Michael P. Warres

claim paper

Read More »

97

Voted

SIGADA
1999
Springer

75views Programming Languages» more SIGADA 1999»

A truly implementation independent GUI development tool

15 years 8 months ago

A truly implementation independent GUI development tool

Download www.sigada.org

Martin C. Carlisle

claim paper

Read More »

112

Voted

PLDI
1998
ACM

109views Programming Languages» more PLDI 1998»

The Design and Implementation of a Certifying Compiler

15 years 8 months ago

The Design and Implementation of a Certifying Compiler

Download www.eecs.berkeley.edu

George C. Necula, Peter Lee

claim paper

Read More »

« Prev « First page 15 / 1241 Last » Next »