Sciweavers

10871 search results - page 94 / 2175

» A stable programming language

22

HOPL
1993

88views Programming Languages» more HOPL 1993»

Recollections about the Development of Pascal

14 years 2 months ago

Recollections about the Development of Pascal

Download ropas.snu.ac.kr

Niklaus Wirth

claim paper

Read More »

27

ESOP
1994
Springer

87views Programming Languages» more ESOP 1994»

Polymorphic Binding-Time Analysis

14 years 2 months ago

Polymorphic Binding-Time Analysis

Download repository.readscheme.org

Fritz Henglein, Christian Mossin

claim paper

Read More »

27

ICALP
1993
Springer

86views Programming Languages» more ICALP 1993»

The Fork Calculus

14 years 2 months ago

The Fork Calculus

Download www.cs.helsinki.fi

Klaus Havelund, Kim Guldstrand Larsen

claim paper

Read More »

26

ICALP
1993
Springer

78views Programming Languages» more ICALP 1993»

Local Model Checking for Context-Free Processes

14 years 2 months ago

Local Model Checking for Context-Free Processes

Download www.cs.helsinki.fi

Hardi Hungar, Bernhard Steffen

claim paper

Read More »

17

IFIP
1993
Springer

83views Programming Languages» more IFIP 1993»

What is a Deadlock?

14 years 2 months ago

What is a Deadlock?

Download cs.gmu.edu

Y. C. Tay

claim paper

Read More »

« Prev « First page 94 / 2175 Last » Next »