Sciweavers

47 search results - page 6 / 10
» toplas 2008
Sort
View
TOPLAS
2008
55views more  TOPLAS 2008»
13 years 8 months ago
AspectML: A polymorphic aspect-oriented functional programming language
Daniel S. Dantas, David Walker, Geoffrey Washburn,...
TOPLAS
1998
74views more  TOPLAS 1998»
13 years 8 months ago
A Task- and Data-Parallel Programming Language Based on Shared Objects
Saniya Ben Hassen, Henri E. Bal, Ceriel J. H. Jaco...
TOPLAS
1998
55views more  TOPLAS 1998»
13 years 8 months ago
Compositional Verification of Concurrent Systems Using Petri-Net-Based Condensation Rules
Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata
TOPLAS
2002
70views more  TOPLAS 2002»
13 years 8 months ago
Repairing syntax errors in LR parsers
Rafael Corchuelo, José Antonio Pérez...
TOPLAS
2010
79views more  TOPLAS 2010»
13 years 7 months ago
Detecting bugs in register allocation
Yuqiang Huang, Bruce R. Childers, Mary Lou Soffa