Sciweavers

11909 search results - page 90 / 2382

» The Scheme Programming Language

104

Voted

PLDI
1998
ACM

109views Programming Languages» more PLDI 1998»

The Design and Implementation of a Certifying Compiler

15 years 7 months ago

The Design and Implementation of a Certifying Compiler

Download www.eecs.berkeley.edu

George C. Necula, Peter Lee

claim paper

Read More »

112

Voted

POPL
1998
ACM

145views Programming Languages» more POPL 1998»

Array SSA Form and Its Use in Parallelization

15 years 7 months ago

Array SSA Form and Its Use in Parallelization

Download www.cs.purdue.edu

Kathleen Knobe, Vivek Sarkar

claim paper

Read More »

124

Voted

POPL
1998
ACM

109views Programming Languages» more POPL 1998»

From Polyvariant Flow Information to Intersection and Union Types

15 years 7 months ago

From Polyvariant Flow Information to Intersection and Union Types

Download www.cs.ucla.edu

Jens Palsberg, Christina Pavlopoulou

claim paper

Read More »

100

Voted

ICALP
1998
Springer

129views Programming Languages» more ICALP 1998»

Checking Strong/Weak Bisimulation Equivalences and Observation Congruence for the pi-Calculus

15 years 7 months ago

Checking Strong/Weak Bisimulation Equivalences and Observation Congruence for the pi-Calculus

Download basics.sjtu.edu.cn

Zhoujun Li, Huowang Chen

claim paper

Read More »

92

Voted

ICALP
1998
Springer

125views Programming Languages» more ICALP 1998»

Complete Proof Systems for Observation Congruences in Finite-Control pi-Calculus

15 years 7 months ago

Complete Proof Systems for Observation Congruences in Finite-Control pi-Calculus

Download basics.sjtu.edu.cn

Huimin Lin

claim paper

Read More »

« Prev « First page 90 / 2382 Last » Next »