Printer Friendly

Articles from ACM Transactions on Programming Languages & Systems (March 1, 1998)

1-6 out of 6 article(s)
Title Author Type Words
'Maximal-munch' tokenization in linear time. Reps, Thomas 6691
A new framework for elimination-based data flow analysis using DJ graphs. Sreedhar, Vugranam C.; Gao, Guang R.; Lee, Yong-Fong 21315
A partially deadlock-free typed process calculus. Kobayashi, Naoki 21721
A study of the applicability of existing exception-handling techniques to component-based real-time software technology. Lang, Jun; Stewart, David B. 11524
A systematic study of functional language implementations. Douence, Remi; Fradet, Pascal 17858
Isomorph-free model enumeration: a new method for checking relational specifications. Jackson, Daniel; Jha, Somesh; Damon, Craig A. 14940

Terms of use | Privacy policy | Copyright © 2022 Farlex, Inc. | Feedback | For webmasters |