NDLI: Making variables abstract: an equational theory for Russell

Please wait, while we are loading the content...

Five paradigm shifts in programming language design and their realization in Viron, a dataflow programming environment

Uncovering principles of novice programming

Code generation for silicon

Derivation of efficient DAG marking algorithms

Reasoning about nonatomic operations

Verifying reachability invariants of linked structures

Practical program verification: automatic program proving for real-time embedded software

Making variables abstract: an equational theory for Russell

Transformational programming: applications to algorithms and systems

Polymorphic type inference

Computer experiments with the REVE term rewriting system generator

Precise typing of abstract data type specifications

Automatic verification of finite state concurrent system using temporal logic specifications: a practical approach

"Sometimes" and "not never" revisited: on branching versus linear time (preliminary report)

How to cook a temporal proof system for your pet language

Structural semantics for polymorphic data types (preliminary report)

Incremental data flow analysis

Conversion of control dependence to data dependence

Loops in combinator-based compilers

Compilation of data-driven programs for synchronous execution

Summarizing graphs by regular expressions

A program form based on data dependency in predicate regions

Practical use of a polymorphic applicative language

On the unification of data and program abstraction in Ada

Incremental polymorphic type checking in B

Mechanisms for compile-time enforcement of security

Abstraction mechanisms in the BETA programming language

Locality in software systems

Making variables abstract: an equational theory for Russell

Content Provider	ACM Digital Library
Author	Demers, Alan Donahue, James
Abstract	One of the fundamental notions of programming, and thus of programming languages, is the variable. Recently, the variable has come under attack. The proponents of "functional programming" have argued that variables are at the root of all our problems in programming. They claim that we must rid our languages of all manifestations of the "vonNeumann bottleneck" and learn to live in the changeless world of functional combinators.While we may not, believe all the claims of the functional programming advocates, there is evidence that the treatment of variables in most programming languages leaves much to be desired. In this paper we discuss how to make variables "abstract", i.e., how to introduce the notion of variable in to a language so that variables have reasonable mathematical properties. This paper includes:--- a discussion of language design principles that allow a more mathematical treatment of variables in programming language, and--- a description of an equational logic for the programming language Russell [Boehm80]. Although this logic follows much of the development of abstract data types (cf. [Guttag78]), it is novel in its treatment of a language in which expressions not only produce values but also can have effects. We discuss the over all structure of the logic and present in detail the rules particularly relevant to the semantics of variables. A complete presentation of the logic appears in [Demers82], and the rule numbers in this paper agree with the numbers used there.In the next section, we discuss the underlying language principles needed to make an equational specification of variables possible. In the sections that follow, we present a logic that does so for Russell.
Starting Page	59
Ending Page	72
Page Count	14
File Format	PDF
ISBN	0897910907
DOI	10.1145/567067.567075
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	1983-01-24
Publisher Place	New York
Access Restriction	Subscribed
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in