Sciweavers

27119 search results - page 261 / 5424

» Languages

159

PLDI
1994
ACM

128views Programming Languages» more PLDI 1994»

Type Analysis of Prolog Using Type Graphs

15 years 10 months ago

Type Analysis of Prolog Using Type Graphs

Download www.dsi.unive.it

Pascal Van Hentenryck, Agostino Cortesi, Baudouin ...

claim paper

Read More »

146

POS
1994
Springer

83views Programming Languages» more POS 1994»

START: A Linguistic Reflection Tool Using Hyper-Program Technology

15 years 10 months ago

START: A Linguistic Reflection Tool Using Hyper-Program Technology

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

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

claim paper

Read More »

137

POS
1994
Springer

87views Programming Languages» more POS 1994»

Semantic Synchronization in a Persistent Object System Library

15 years 10 months ago

Semantic Synchronization in a Persistent Object System Library

Download www.cs.colorado.edu

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

claim paper

Read More »

147

ICCL
1992
IEEE

115views Programming Languages» more ICCL 1992»

Multiparadigm data structures in Leda

15 years 10 months ago

Multiparadigm data structures in Leda

Download eecs.oregonstate.edu

Multiparadigm programming is a term used to describe a style of software development that makes use of facilities originally designed in support of a number of di erent programmin...

Timothy A. Budd

claim paper

Read More »

123

SIGADA
1994
Springer

99views Programming Languages» more SIGADA 1994»

Structural Model: Architecture for Software Designers

15 years 10 months ago

Structural Model: Architecture for Software Designers

Download www.crispen.org

Robert G. Crispen, Lynn D. Stuckey Jr.

claim paper

Read More »

« Prev « First page 261 / 5424 Last » Next »