Proceedings of the 8th ACM/IEEE international workshop on Timing issues in the specification and synthesis of digital systems - TAU '02
Latest Publications

TOTAL DOCUMENTS

34

(FIVE YEARS 0)

H-INDEX

10

(FIVE YEARS 0)

Published By ACM Press

1581135262

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Deciding validity in a spatial logic for trees

Proceedings of the 8th ACM/IEEE international workshop on Timing issues in the specification and synthesis of digital systems - TAU '02 ◽

10.1145/604174.604183 ◽

2003 ◽

Author(s):

Cristiano Calcagno ◽

Luca Cardelli ◽

Andrew D. Gordon

Keyword(s):

Download Full-text

A calculus for probabilistic languages

Proceedings of the 8th ACM/IEEE international workshop on Timing issues in the specification and synthesis of digital systems - TAU '02 ◽

10.1145/604174.604180 ◽

2003 ◽

Author(s):

Sungwoo Park

Keyword(s):

Probabilistic Languages

Download Full-text

Types for atomicity

Proceedings of the 8th ACM/IEEE international workshop on Timing issues in the specification and synthesis of digital systems - TAU '02 ◽

10.1145/604174.604176 ◽

2003 ◽

Author(s):

Cormac Flanagan ◽

Shaz Qadeer

Download Full-text

Garbage collection safety for region-based memory management

Proceedings of the 8th ACM/IEEE international workshop on Timing issues in the specification and synthesis of digital systems - TAU '02 ◽

10.1145/604174.604190 ◽

2003 ◽

Author(s):

Martin Elsman

Keyword(s):

Memory Management ◽

Garbage Collection

Download Full-text

Scrap your boilerplate

Proceedings of the 8th ACM/IEEE international workshop on Timing issues in the specification and synthesis of digital systems - TAU '02 ◽

10.1145/604174.604179 ◽

2003 ◽

Author(s):

Ralf Lämmel ◽

Simon Peyton Jones

Download Full-text

Time regions and effects for resource usage analysis

Proceedings of the 8th ACM/IEEE international workshop on Timing issues in the specification and synthesis of digital systems - TAU '02 ◽

10.1145/604174.604182 ◽

2003 ◽

Author(s):

Naoki Kobayashi

Keyword(s):

Resource Usage ◽

Download Full-text

A typed interface for garbage collection

Proceedings of the 8th ACM/IEEE international workshop on Timing issues in the specification and synthesis of digital systems - TAU '02 ◽

10.1145/604174.604189 ◽

2003 ◽

Author(s):

Joseph C. Vanderwaart ◽

Karl Crary

Keyword(s):

Garbage Collection

Download Full-text

Type-safe multithreading in cyclone

Proceedings of the 8th ACM/IEEE international workshop on Timing issues in the specification and synthesis of digital systems - TAU '02 ◽

10.1145/604174.604177 ◽

2003 ◽

Author(s):

Dan Grossman

Download Full-text

The logical approach to stack typing

Proceedings of the 8th ACM/IEEE international workshop on Timing issues in the specification and synthesis of digital systems - TAU '02 ◽

10.1145/604174.604185 ◽

2003 ◽

Author(s):

Amal Ahmed ◽

David Walker

Keyword(s):

Logical Approach

Download Full-text

Inferring annotated types for inter-procedural register allocation with constructor flattening

Proceedings of the 8th ACM/IEEE international workshop on Timing issues in the specification and synthesis of digital systems - TAU '02 ◽

10.1145/604174.604186 ◽

2003 ◽

Author(s):

Torben Amtoft ◽

Robert Muller

Keyword(s):

Register Allocation

Download Full-text