Sciweavers

The modal logic FULL is designed to capture strong bisimulation over early symbolic transition systems (STSs) for full LOTOS. It provides a compact way of expressing and verifying ...

Jeremy Bryans, Carron Shankland

claim paper

Read More »

210

click to vote

SAS
2001
Springer

166views Formal Methods» more SAS 2001»

Estimating the Impact of Scalable Pointer Analysis on Optimization

15 years 9 months ago

Download pages.cs.wisc.edu

This paper addresses the following question: Do scalable control-ﬂow-insensitive pointer analyses provide the level of precision required to make them useful in compiler optimiza...

Manuvir Das, Ben Liblit, Manuel Fähndrich, Ja...

claim paper

Read More »

128

click to vote

SAS
2001
Springer

151views Formal Methods» more SAS 2001»

A Behavioral Module System for the Pi-Calculus

15 years 9 months ago

Download www.cs.ucla.edu

Sriram K. Rajamani, Jakob Rehof

claim paper

Read More »

151

click to vote

SAS
2001
Springer

149views Formal Methods» more SAS 2001»

Analysis of Multithreaded Programs

15 years 9 months ago

Download sdg.csail.mit.edu

Abstract. The ﬁeld of program analysis has focused primarily on sequential programming languages. But multithreading is becoming increasingly important, both as a program structu...

Martin C. Rinard

claim paper

Read More »

All Subjects

Algorithms

Applied Computing

Artificial Intelligence