Program transformations and their applications in teaching procedural and nonprocedural languages
Pages 202 - 210
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.
Index Terms
- Program transformations and their applications in teaching procedural and nonprocedural languages
Recommendations
Compilation of Nonprocedural Specifications into Computer Programs
The paper describes the compilation of a program specification, written in the very high level nonprocedural MODEL language, into an object, PL/1 or Cobol, procedural language program. Nonprocedural programming languages are descriptive and devoid of ...
Human factors comparison of a procedural and a nonprocedural query language
Two experiments testing the ability of subjects to write queries in two different query languages were run. The two languages, SQL and TABLET, differ primarily in their procedurality; both languages use the relational data model, and their Halstead ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
March 1985
378 pages
ISBN:0897911520
DOI:10.1145/323287
- Chairmen:
- Norman E. Gibbs,
- Harriet G. Taylor,
- Della T. Bonnette,
- Editor:
- James E. Miller
Mar. 1985375 pagesISSN:0097-8418DOI:10.1145/323275Issue’s Table of Contents- Chairmen:
- Norman E. Gibbs,
- Harriet G. Taylor,
- Della T. Bonnette,
- Editor:
- James E. Miller
Copyright © 1985 ACM.
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
Check for updates
Qualifiers
- Article
Conference
SIGCSE85
Sponsor:
Acceptance Rates
Overall Acceptance Rate 1,787 of 5,146 submissions, 35%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 217Total Downloads
- Downloads (Last 12 months)36
- Downloads (Last 6 weeks)3
Reflects downloads up to 25 Feb 2025
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in