Journal Article10.1002/SPE.4380111202
Dynamically structured data
Nazim H. Madhavji,I. R. Wilson +1 more
5
TL;DR: This paper examines data structures and operations on them, and proposes some new features in programming languages principally in the areas of data description and data usage.
read more
Abstract: While the control structures in recent programming languages are structured, the data structures are still primitive. This paper examines data structures and operations on them, and proposes some new features in programming languages. These new features are principally in the areas of data description and data usage. In data description, the emphasis is on a global view of dynamic data structures; in data usage, semantic relationships between data items are innate in the operations on these data structures. Finally, example data descriptions and algorithms using some of the new features are contrasted with those using conventional features.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
•Book
The solo operating system: processes, monitors and classes
Per Brinch Hansen
- 01 Nov 2001
TL;DR: This paper describes the implementation of the Solo operating system written in Concurrent Pascal, in which concurrent processes communicate by means of a hierarchy of monitors and classes.
13
Fragtypes: a basis for programming environments
TL;DR: The author shows how proposed operations on fragtypes can achieve unusual effects on the software development process, and forms the basis of the programming environment MUPE-2, which is currently under development at McGill University.
12
Software construction using typed fragments
N H Madhavji,N Leoutsarakos,D Vouliouris +2 more
- 01 Jun 1985
TL;DR: This paper introduces a new concept of a typed fragment called fragtype, which makes the notion of a software building block concrete, and with the help of the underlying fragtype driven structured editor, and a fragment library, can be used to construct a well-formed large software edifice.
Visibility aspects of programmed dynamic data structures
TL;DR: By classifying these structures and identifying the different kinds of pointers, a methodology is proposed for achieving improved visibility in dynamic Pascal-like data structures.
3
A dynamically self-adjusting structured editor
Nazim H. Madhavji,Nikos Leoutsarakos +1 more
- 01 May 1985
TL;DR: A new kind of structured editor, based on program fragments, is proposed in this paper, which is dynamic, as it is driven by the types of different fragments, called fragtypes.
2
References
•Book
The Design and Analysis of Computer Algorithms
Alfred V. Aho,John E. Hopcroft +1 more
- 01 Jan 1974
TL;DR: This text introduces the basic data structures and programming techniques often used in efficient algorithms, and covers use of lists, push-down stacks, queues, trees, and graphs.
10.6K
Letters to the editor: go to statement considered harmful
TL;DR: My considerations are that, although the programmer's activity ends when he has constructed a correct program, the process taking place under control of his program is the true subject matter of his activity, and that his intellectual powers are rather geared to master static relations and his powers to visualize processes evolving in time are relatively poorly developed.
1K
•Book
Principles of program design
Michael Jackson
- 01 Jan 1975
TL;DR: In this paper, the authors present a coherent method and procedure for designing systems, programs, and components that are transparently simple and self-evidently correct, and the main emphasis is on the structure: on the dissection of a problem into parts and the arrangement of those parts to form a solution.
846
Report on the Programming Language Euclid
Butler W. Lampson,James J. Horning,Ralph L. London,J. G. Mitchell,Gerald J. Popek +4 more
- 07 Nov 2016
TL;DR: Euclid as discussed by the authors is a programming language designed to facilitate the construction of verifiable system programs, such as operating system kernel, the core of a data base management system, or a compiler.
Programming without pointer variables
Richard B. Kieburtz
- 01 Mar 1976
TL;DR: This paper considers alternatives to the use of pointer variables in programming, and one of these alternatives is the inclusion of a class of data abstractions based on recursively defined data types.
30
Related Papers (5)
I. T. Hawryszkiewycz,J. B. Dennis +1 more
- 01 Jan 1972
Bonnie MacKellar,Fred J. Maryanski +1 more
- 20 Sep 1989
Jesse Xi Chen,Marek Reformat +1 more
- 10 Sep 2014
Giampio Bracchi,A. Fedeli,Paolo Paolini +2 more
- 01 Aug 1972