Sciweavers

109

POPL
1991
ACM

91views Programming Languages» more POPL 1991»

Modeling Concurrency with Geometry

15 years 8 months ago

Modeling Concurrency with Geometry

Download infolab.stanford.edu

Vaughan R. Pratt

claim paper

Read More »

105

POPL
1991
ACM

110views Programming Languages» more POPL 1991»

Program Optimization and Parallelization Using Idioms

15 years 8 months ago

Program Optimization and Parallelization Using Idioms

Download www.cs.technion.ac.il

Shlomit S. Pinter, Ron Y. Pinter

claim paper

Read More »

115

POPL
1991
ACM

101views Programming Languages» more POPL 1991»

Dependence Flow Graphs: An Algebraic Approach to Program Dependencies

15 years 8 months ago

Dependence Flow Graphs: An Algebraic Approach to Program Dependencies

Download iss.ices.utexas.edu

Keshav Pingali, Micah Beck, Richard Johnson, Mayan...

claim paper

Read More »

132

POPL
1991
ACM

130views Programming Languages» more POPL 1991»

Polymorphic Type Inference and Assignment

15 years 8 months ago

Polymorphic Type Inference and Assignment

Download gallium.inria.fr

We present a new approach to the polymorphic typing of data accepting in-place modiﬁcation in ML-like languages. This approach is based on restrictions over type generalization,...

Xavier Leroy, Pierre Weis

claim paper

Read More »

125

POPL
1991
ACM

128views Programming Languages» more POPL 1991»

Coordinating First-Order Multiparty Interactions

15 years 8 months ago

Coordinating First-Order Multiparty Interactions

Download www.cs.sunysb.edu

-order multiparty interaction is an abstraction mechanism that deﬁnes communication among a set of formal process roles. Actual processes participate in a ﬁrst-order interactio...

Yuh-Jzer Joung, Scott A. Smolka

claim paper

Read More »