Sciweavers

10575 search results - page 60 / 2115

» T2Script Programming Language

115

PLDI
1998
ACM

109views Programming Languages» more PLDI 1998»

The Design and Implementation of a Certifying Compiler

15 years 8 months ago

The Design and Implementation of a Certifying Compiler

Download www.eecs.berkeley.edu

George C. Necula, Peter Lee

claim paper

Read More »

123

Voted

POPL
1998
ACM

145views Programming Languages» more POPL 1998»

Array SSA Form and Its Use in Parallelization

15 years 8 months ago

Array SSA Form and Its Use in Parallelization

Download www.cs.purdue.edu

Kathleen Knobe, Vivek Sarkar

claim paper

Read More »

132

POPL
1998
ACM

109views Programming Languages» more POPL 1998»

From Polyvariant Flow Information to Intersection and Union Types

15 years 8 months ago

From Polyvariant Flow Information to Intersection and Union Types

Download www.cs.ucla.edu

Jens Palsberg, Christina Pavlopoulou

claim paper

Read More »

110

ICALP
1998
Springer

129views Programming Languages» more ICALP 1998»

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

15 years 8 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 »

103

ICALP
1998
Springer

125views Programming Languages» more ICALP 1998»

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

15 years 8 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 60 / 2115 Last » Next »