Sciweavers

6201 search results - page 18 / 1241
» Implementation of Axiomatic Language
Sort
View
ASPLOS
1994
ACM
13 years 12 months ago
LCM: Memory System Support for Parallel Language Implementation
James R. Larus, Brad Richards, Guhan Viswanathan
ECOOP
2007
Springer
14 years 2 months ago
Joinpoint Inference from Behavioral Specification to Implementation
Thomas Cottenier, Aswin van den Berg, Tzilla Elrad