Search Sciweavers | Sciweavers

10622 search results - page 186 / 2125

» Python Programming Language

158

click to vote

PLDI
1994
ACM

128views Programming Languages» more PLDI 1994»

Type Analysis of Prolog Using Type Graphs

15 years 10 months ago

Download www.dsi.unive.it

Pascal Van Hentenryck, Agostino Cortesi, Baudouin ...

claim paper

Read More »

136

click to vote

POS
1994
Springer

87views Programming Languages» more POS 1994»

Semantic Synchronization in a Persistent Object System Library

15 years 10 months ago

Download www.cs.colorado.edu

Andrea H. Skarra, Naser S. Barghouti, Alexander L....

claim paper

Read More »

120

click to vote

SIGADA
1994
Springer

99views Programming Languages» more SIGADA 1994»

Structural Model: Architecture for Software Designers

15 years 10 months ago

Download www.crispen.org

Robert G. Crispen, Lynn D. Stuckey Jr.

claim paper

Read More »

108

click to vote

IFIP
1992
Springer

105views Programming Languages» more IFIP 1992»

A Framework for Production Control and Materials Management

15 years 10 months ago

Download alexandria.tue.nl

J. Will M. Bertrand, John C. Wortman, Jacob Wijnga...

claim paper

Read More »

131

click to vote

POPL
1992
ACM

93views Programming Languages» more POPL 1992»

Model Checking and Abstraction

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers