Warren's Abstract Machine: A Tutorial Reconstruction | Guide books | ACM Digital Library

More Web Proxy on the site http://driver.im/

Warren's Abstract Machine: A Tutorial ReconstructionAugust 1991

Author:
Hassan Ait-Kaci

Publisher:

MIT Press
55 Hayward St.
Cambridge
MA
United States

ISBN:978-0-262-01123-5

Published:01 August 1991

Pages:

125

Available at Amazon

Bibliometrics

No abstract available.

Cited By

Moura L and Bjørner N Efficient E-Matching for SMT Solvers Proceedings of the 21st international conference on Automated Deduction: Automated Deduction, (183-198)
Caballero R, Hermanns C and Kuchen H (2007). Algorithmic Debugging of Java Programs, Electronic Notes in Theoretical Computer Science (ENTCS), 177, (75-89), Online publication date: 1-Jun-2007.

Contributors

Hassan Aït-Kaci
Simon Fraser University
- Publication Years1984 - 2011
- Publication counts27
- Citation count468
- Available for Download6
- Downloads (cumulative)2,825
- Downloads (12 months)437
- Downloads (6 weeks)82
- Average Downloads per Article471
- Average Citation per Article17
View Full Profile

Please enable JavaScript to view thecomments powered by Disqus.

Recommendations