Sciweavers

10585 search results - page 63 / 2117

» The Orc Programming Language

100

Voted

POPL
2000
ACM

126views Programming Languages» more POPL 2000»

Anytime, Anywhere: Modal Logics for Mobile Ambients

15 years 8 months ago

Anytime, Anywhere: Modal Logics for Mobile Ambients

Download research.microsoft.com

Luca Cardelli, Andrew D. Gordon

claim paper

Read More »

106

Voted

POPL
2000
ACM

116views Programming Languages» more POPL 2000»

Temporal Abstract Interpretation

15 years 8 months ago

Temporal Abstract Interpretation

Download www.di.ens.fr

Patrick Cousot, Radhia Cousot

claim paper

Read More »

106

Voted

POPL
2000
ACM

99views Programming Languages» more POPL 2000»

Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs

15 years 8 months ago

Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs

Download www.cs.ucla.edu

Zhendong Su, Manuel Fähndrich, Alexander Aike...

claim paper

Read More »

92

Voted

ICFP
1999
ACM

66views Programming Languages» more ICFP 1999»

Static Interpretation of Modules

15 years 7 months ago

Static Interpretation of Modules

Download pl.postech.ac.kr

Martin Elsman

claim paper

Read More »

100

Voted

PLDI
1999
ACM

85views Programming Languages» more PLDI 1999»

A Fast Fourier Transform Compiler

15 years 7 months ago

A Fast Fourier Transform Compiler

Download www.fftw.org

Matteo Frigo

claim paper

Read More »

« Prev « First page 63 / 2117 Last » Next »