Sciweavers

10871 search results - page 79 / 2175

» A stable programming language

120

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 »

129

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 »

106

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 »

100

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 »

101

Voted

ICALP
1998
Springer

83views Programming Languages» more ICALP 1998»

A Simple Solution to Type Specialization

15 years 7 months ago

A Simple Solution to Type Specialization

Download www.brics.dk

Olivier Danvy

claim paper

Read More »

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