The Description of Large Systems

In this paper we discuss the problems associated with the description and manipulation of large systems when their sources are not maintained as single fields. We show why and how tools that address these issues, such as Unix MAKE and Lisp Machine DEFSYSTEM, have evolved. Existing formalisms...

Full description

Bibliographic Details
Main Author: Pitman, Kent
Language:en_US
Published: 2004
Subjects:
Online Access:http://hdl.handle.net/1721.1/5635
_version_ 1811076727376445440
author Pitman, Kent
author_facet Pitman, Kent
author_sort Pitman, Kent
collection MIT
description In this paper we discuss the problems associated with the description and manipulation of large systems when their sources are not maintained as single fields. We show why and how tools that address these issues, such as Unix MAKE and Lisp Machine DEFSYSTEM, have evolved. Existing formalisms suffer from the problem that their syntax is not easily separable from their functionality. In programming languages, standard "calling conventions" exist to insulate the caller of a function from the syntactic details of how that function was defined, but until now no such conventions have existed to hide consumers of program systems from the details of how those systems were specified. We propose a low-level data abstraction which can support notations such as those used by MAKE and DEFSYSTEM without requiring that the introduction of a new notation be accompanied by a completely different set of tools for instantiating or otherwise manipulating the resulting system. Lisp is used for presentation, bit the issues are not idiosyncratic to LISP.
first_indexed 2024-09-23T10:26:35Z
id mit-1721.1/5635
institution Massachusetts Institute of Technology
language en_US
last_indexed 2024-09-23T10:26:35Z
publishDate 2004
record_format dspace
spelling mit-1721.1/56352019-04-13T00:24:41Z The Description of Large Systems Pitman, Kent compilation large systems LISP system maintenance In this paper we discuss the problems associated with the description and manipulation of large systems when their sources are not maintained as single fields. We show why and how tools that address these issues, such as Unix MAKE and Lisp Machine DEFSYSTEM, have evolved. Existing formalisms suffer from the problem that their syntax is not easily separable from their functionality. In programming languages, standard "calling conventions" exist to insulate the caller of a function from the syntactic details of how that function was defined, but until now no such conventions have existed to hide consumers of program systems from the details of how those systems were specified. We propose a low-level data abstraction which can support notations such as those used by MAKE and DEFSYSTEM without requiring that the introduction of a new notation be accompanied by a completely different set of tools for instantiating or otherwise manipulating the resulting system. Lisp is used for presentation, bit the issues are not idiosyncratic to LISP. 2004-10-01T20:17:47Z 2004-10-01T20:17:47Z 1984-09-01 AIM-801 http://hdl.handle.net/1721.1/5635 en_US AIM-801 32 p. 4541310 bytes 3555698 bytes application/postscript application/pdf application/postscript application/pdf
spellingShingle compilation
large systems
LISP
system maintenance
Pitman, Kent
The Description of Large Systems
title The Description of Large Systems
title_full The Description of Large Systems
title_fullStr The Description of Large Systems
title_full_unstemmed The Description of Large Systems
title_short The Description of Large Systems
title_sort description of large systems
topic compilation
large systems
LISP
system maintenance
url http://hdl.handle.net/1721.1/5635
work_keys_str_mv AT pitmankent thedescriptionoflargesystems
AT pitmankent descriptionoflargesystems