Sciweavers

27119 search results - page 76 / 5424

» Languages

117

PLDI
2000
ACM

89views Programming Languages» more PLDI 2000»

Symbolic bounds analysis of pointers, array indices, and accessed memory regions

15 years 7 months ago

Symbolic bounds analysis of pointers, array indices, and accessed memory regions

Download people.csail.mit.edu

Radu Rugina, Martin C. Rinard

claim paper

Read More »

93

PLDI
2000
ACM

79views Programming Languages» more PLDI 2000»

Transforming loops to recursion for multi-level memory hierarchies

15 years 7 months ago

Transforming loops to recursion for multi-level memory hierarchies

Download www.cs.berkeley.edu

Qing Yi, Vikram S. Adve, Ken Kennedy

claim paper

Read More »

98

POPL
2000
ACM

126views Programming Languages» more POPL 2000»

Anytime, Anywhere: Modal Logics for Mobile Ambients

15 years 7 months ago

Anytime, Anywhere: Modal Logics for Mobile Ambients

Download research.microsoft.com

Luca Cardelli, Andrew D. Gordon

claim paper

Read More »

102

POPL
2000
ACM

116views Programming Languages» more POPL 2000»

Temporal Abstract Interpretation

15 years 7 months ago

Temporal Abstract Interpretation

Download www.di.ens.fr

Patrick Cousot, Radhia Cousot

claim paper

Read More »

103

POPL
2000
ACM

99views Programming Languages» more POPL 2000»

Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs

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

« Prev « First page 76 / 5424 Last » Next »