Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
article
Free access

ACM Forum

Published: 01 September 1991 Publication History
First page of PDF

References

[1]
Wake, W.M., Goos, G. Compiler Construction. Springer-Verlag, New York, 1984.
[2]
Dijkstra, E., Scholten, C. Predicate Calculus and Program Semantics. Springer Verlag, New York, 1990.
[3]
Partsch, H. Specification and Tramformarion of Programs--A Formal Approach to Software Development. Springer Verlag, Berlin, 1990.

Cited By

View all
  • (2020)Computer magazines and historical researchCode Nation10.1145/3368274.3368283Online publication date: 29-Apr-2020
  • (1997)STUDY ON THE CEMENT GROUT MATERIALS FOR STRENGTHENING OF CONCRETE SLABSRC床版補強工法におけるセメント系床版下面充填材の研究Doboku Gakkai Ronbunshu10.2208/jscej.1997.567_1031997:567(103-115)Online publication date: 20-Jun-1997

Index Terms

  1. ACM Forum

    Comments

    Information & Contributors

    Information

    Published In

    cover image Communications of the ACM
    Communications of the ACM  Volume 34, Issue 9
    Special issue on LISP
    Sept. 1991
    85 pages
    ISSN:0001-0782
    EISSN:1557-7317
    DOI:10.1145/114669
    • Editor:
    • Peter Denning
    Issue’s Table of Contents
    Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 01 September 1991
    Published in CACM Volume 34, Issue 9

    Permissions

    Request permissions for this article.

    Check for updates

    Qualifiers

    • Article

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • Downloads (Last 12 months)63
    • Downloads (Last 6 weeks)8
    Reflects downloads up to 01 Nov 2024

    Other Metrics

    Citations

    Cited By

    View all
    • (2020)Computer magazines and historical researchCode Nation10.1145/3368274.3368283Online publication date: 29-Apr-2020
    • (1997)STUDY ON THE CEMENT GROUT MATERIALS FOR STRENGTHENING OF CONCRETE SLABSRC床版補強工法におけるセメント系床版下面充填材の研究Doboku Gakkai Ronbunshu10.2208/jscej.1997.567_1031997:567(103-115)Online publication date: 20-Jun-1997

    View Options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Get Access

    Login options

    Full Access

    Media

    Figures

    Other

    Tables

    Share

    Share

    Share this Publication link

    Share on social media