Sciweavers

16 search results - page 3 / 4

» toplas 1998

101

TOPLAS
1998

36views more TOPLAS 1998»

Static Caching for Incremental Computation

15 years 5 months ago

Static Caching for Incremental Computation

Download www.cs.sunysb.edu

Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum

claim paper

Read More »

111

TOPLAS
1998

74views more TOPLAS 1998»

A Task- and Data-Parallel Programming Language Based on Shared Objects

15 years 5 months ago

A Task- and Data-Parallel Programming Language Based on Shared Objects

Download www.cparity.com

Saniya Ben Hassen, Henri E. Bal, Ceriel J. H. Jaco...

claim paper

Read More »

122

TOPLAS
1998

55views more TOPLAS 1998»

Compositional Verification of Concurrent Systems Using Petri-Net-Based Condensation Rules

15 years 5 months ago

Compositional Verification of Concurrent Systems Using Petri-Net-Based Condensation Rules

Download www.cparity.com

Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata

claim paper

Read More »

108

TOPLAS
1998

49views more TOPLAS 1998»

Optimizing Compilation of CLP(R)

15 years 5 months ago

Optimizing Compilation of CLP(R)

Download www.cparity.com

Andrew D. Kelly, Kim Marriott, Andrew D. Macdonald...

claim paper

Read More »

96

TOPLAS
1998

52views more TOPLAS 1998»

Within ARM's Reach: Compilation of Left-Linear Rewrite Systems via Minimal Rewrite Systems

15 years 5 months ago

Within ARM's Reach: Compilation of Left-Linear Rewrite Systems via Minimal Rewrite Systems

Download www.cs.swan.ac.uk

A new compilation technique for left-linear term-rewriting systems is presented, where rewrite rules are transformed into so-called minimal rewrite rules. These minimal rules have...

Wan Fokkink, Jasper Kamperman, Pum Walters

claim paper

Read More »

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