Journal ACM Trans. Program. Lang. Syst.
From Semantic Portal Wiki
A list of all pages that have property "Journal" with value "ACM Trans. Program. Lang. Syst."- Trace-based network proof systems: expressiveness and completeness +
- Resource aware programming +
- Compositional parallel programming languages +
- Combinators for bidirectional tree transformations: a linguistic approach to the view-update problem +
- Birrell's distributed reference listing revisited +
- A space efficient dynamic allocation algorithm for queuing messages +
- A compiler approach to scalable concurrent-program design +
