Sciweavers

18 search results - page 2 / 4

» popl 2001

42

POPL
2001
ACM

119views Programming Languages» more POPL 2001»

BI as an Assertion Language for Mutable Data Structures

14 years 5 months ago

BI as an Assertion Language for Mutable Data Structures

Download www.dcs.qmw.ac.uk

Samin S. Ishtiaq, Peter W. O'Hearn

claim paper

Read More »

37

POPL
2001
ACM

140views Programming Languages» more POPL 2001»

Regular expression pattern matching for XML

14 years 5 months ago

Regular expression pattern matching for XML

Download arbre.is.s.u-tokyo.ac.jp

Haruo Hosoya, Benjamin C. Pierce

claim paper

Read More »

39

POPL
2001
ACM

119views Programming Languages» more POPL 2001»

The size-change principle for program termination

14 years 5 months ago

The size-change principle for program termination

Download www.ccs.neu.edu

Chin Soon Lee, Neil D. Jones, Amir M. Ben-Amram

claim paper

Read More »

41

POPL
2001
ACM

107views Programming Languages» more POPL 2001»

What packets may come: automata for network monitoring

14 years 5 months ago

What packets may come: automata for network monitoring

Download seclab.uiuc.edu

Karthikeyan Bhargavan, Satish Chandra, Peter J. Mc...

claim paper

Read More »

44

POPL
2001
ACM

130views Programming Languages» more POPL 2001»

A generic type system for the Pi-calculus

14 years 5 months ago

A generic type system for the Pi-calculus

Download www.kb.ecei.tohoku.ac.jp

We propose a general, powerful framework of type systems for the -calculus, and show that we can obtain as its instances a variety of type systems guaranteeing non-trivial propert...

Atsushi Igarashi, Naoki Kobayashi

claim paper

Read More »

« Prev « First page 2 / 4 Last » Next »