Cited By
View all- Kutzler BLichtenberger FKutzler BLichtenberger F(1983)BibliographyBibliography on Abstract Data Types10.1007/978-3-642-69032-7_2(5-87)Online publication date: 1983
Assignments and high level data types
Pages 630 - 638
Abstract
If x and y are integer variables or any other variables of a “simple” type, then the meaning of the assignment x=y is quite similar in different programming languages. The value of y is copied (into a register) and then stored into x so that a fresh copy of the value of y becomes the current value of x. On the other hand if x and y are compound objects the the situation is quite different: some languages don't allow assignments at all, and other languages call for a conditional copying depending on the form of the right hand side. This paper argues for a unified view on assignment with semantics, that can be described in terms independent of the complexity of the type of the variables involved. We also present some alternatives to assignments and discuss their consequences for programming with complex data types.
References
[1]
Dahl O.J., Myhrhaug D., Nygard K., Common Base Language, NCC Publ S-22, 1970
[2]
Dijkstra E. E., A Discipline of Programming, Prentice Hall, 1976
[3]
Hoare C. A. R., Procedures and Parameters: an Axiomatic Approach, in: Semantics of Algorithmic Languages, Springer Lecture Notes in Mathematics, vol. 188
[4]
Hoare C. A. R., Recursive Data Structures, Stanford Report, STAN-73-400, C.Sc. dept., Stanford University, California
[5]
Hoare C.A.R., Proof of Correctness of Data Representation, Acta Informatica 1, 271-281, 1972
[6]
Ingargiola G., Basic Features of CALEX, Inf Sc Rep nr 9, June 1974, Calif Inst of Teach, Pasadena, California
[7]
Kieburtz R., Four Principles of Programming Languages, internal memo, Dept of C.Sc. SUNY at Stony Brook
[8]
Liskov B., Abstraction Mechanisms in CLU, CACM Vol 20 nr 8, Aug. 1977
[9]
Schwartz J. T., Optimization of Very High Level Languages, Computer Languages. Vol. 1, pp 161-194, 1975
[10]
Scott D., Mathematical Concepts in Programming Language Semantics, Proc. AFIPS SJCC, vol. 40, 1972
[11]
Wirth N., The Programming Language Pascal (Revised report), Eidg Technische Hochschule, Zürich, 1972
Index Terms
- Assignments and high level data types
Recommendations
Nifty assignments
SIGCSE '09Assignments determine much of what students actually take away from a course. Sadly, creating successful assignments is difficult and error prone. With that in mind, the Nifty Assignments session is about promoting and sharing successful assignment ideas,...
Nifty assignments
SIGCSE '09: Proceedings of the 40th ACM technical symposium on Computer science educationAssignments determine much of what students actually take away from a course. Sadly, creating successful assignments is difficult and error prone. With that in mind, the Nifty Assignments session is about promoting and sharing successful assignment ideas,...
Types of assignments for novice programmers
WiPSE '13: Proceedings of the 8th Workshop in Primary and Secondary Computing EducationThis paper deals with the classification of assignments according to their type. In contrast to other publications, we derive assignment types not deductively, but extract them empirically from different sources. Our main research question is: What ...
Comments
Information & Contributors
Information
Published In
January 1978
990 pages
Copyright © 1978 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]
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 01 January 1978
Check for updates
Author Tags
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 209Total Downloads
- Downloads (Last 12 months)52
- Downloads (Last 6 weeks)8
Reflects downloads up to 17 Feb 2025
Other Metrics
Citations
Cited By
View all- Kutzler BLichtenberger FKutzler BLichtenberger F(1983)BibliographyBibliography on Abstract Data Types10.1007/978-3-642-69032-7_2(5-87)Online publication date: 1983
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