Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
10.1145/323287.323316acmconferencesArticle/Chapter ViewAbstractPublication PagessigcseConference Proceedingsconference-collections
Article
Free access

Program transformations and their applications in teaching procedural and nonprocedural languages

Published: 01 March 1985 Publication History
  • Get Citation Alerts
  • First page of PDF

    References

    [1]
    Aho, A,and J. Ullman, "Properties of Syntax Directed Translation", J. Computer and System Sciences, Volume 3, Number 3, pp.319-334, August 1969.
    [2]
    A. V. Aho and G. Ullman, Principles 9f Addison-Wesley, 1979.
    [3]
    A. Barr and E. A. Feigenbaum, eds., ~I@ h~ of Ar~iificial Intelligence, ~ If, William Kaufmann, Inc., 1982
    [4]
    A.Bork, Learnlng with Ccmputers, Digital Equl pment Corporation, Bedford, MA., 1981.
    [5]
    B. Czejdo, Using Computer Simulated Models to Teach Programming Languages, Proceedings of NECC/5, Baltimore, MD., 1883.
    [6]
    Czejdo, B. and M. Rusinkiewlcz, '~ uery Transformatlon in an Instructional Database Management System", ACM SIGSE Bulletin, Vol 16, No. I, February 1984.
    [7]
    P.Henderson,Functional Programming; Application and Impl ~mentat ion,Prenti ce/H al 1 International, 1980.
    [8]
    Knuth, D., "Semantl cs of Context-free Languages", Math. Systems Theory, Volume 2, Number 2, pp. 127-145, 1968.
    [9]
    Lewis, R., D. Rosenkrantz, R. Stearns, "Attributed Translations", J. Computers and System Sciences, Volume 9, Number 3, pp.279-307, 197~.
    [10]
    B. Maher and D. H. Sleeman, Autcmatic Program Improvememt: Variable Usage Transformations, J. Assoc. Ccmp. Math, Volume 5, Number 2, April 1983.
    [11]
    Z. Manna and R. Waldlnger, DEDALUS - the Deductive Algorithm Ur-synthesizer, Proceedings of NCC 78, Anaheim, CA., 1978
    [12]
    H. Partsch and R. Stelnbruggen, Program Transformation Systems, ACM Computing Survey s, Volume 15, Number 3, September 1983.
    [13]
    Rusinkiewlcz, M. and B.Czejdo Duery Transfomati on in Heterogeneous Distributed Database Systems" submitted for publication.

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image ACM Conferences
    SIGCSE '85: Proceedings of the sixteenth SIGCSE technical symposium on Computer science education
    March 1985
    378 pages
    ISBN:0897911520
    DOI:10.1145/323287
    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]

    Sponsors

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 01 March 1985

    Permissions

    Request permissions for this article.

    Check for updates

    Qualifiers

    • Article

    Conference

    SIGCSE85
    Sponsor:
    SIGCSE85: ACM/SIGCSE Technical Symposium
    March 14 - 15, 1985
    Louisiana, New Orleans, USA

    Acceptance Rates

    Overall Acceptance Rate 1,595 of 4,542 submissions, 35%

    Upcoming Conference

    SIGCSE Virtual 2024
    1st ACM Virtual Global Computing Education Conference
    December 5 - 8, 2024
    Virtual Event , NC , USA

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • 0
      Total Citations
    • 191
      Total Downloads
    • Downloads (Last 12 months)15
    • Downloads (Last 6 weeks)3
    Reflects downloads up to 06 Aug 2024

    Other Metrics

    Citations

    View Options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Get Access

    Login options

    Media

    Figures

    Other

    Tables

    Share

    Share

    Share this Publication link

    Share on social media