The basis for this paper is a logic designed by Dana Scott [1] in 196 9 for formalizing arguments about computable functions of higher type. This logic uses typed combinators, and we give a more or less direct transla...
详细信息
The subject of data structures has received a great deal of attention in the past few years, especially in relation to computer-aided design. programming systems used for creating data structures (sometimes dignified ...
ISBN:
(纸本)9781450374866
The subject of data structures has received a great deal of attention in the past few years, especially in relation to computer-aided design. programming systems used for creating data structures (sometimes dignified by the name “graphical languages”)vary greatly in the rigidity of their representation and the types of facilities offered to the programmer. As an example of a high-level system, we can mention the formal language LEAP,1 in which the programmer can easily manipulate the logical elements of his model, and the structuring of the information (in the form of hash-coded tables) is performed automatically by the language system. At the other extreme we have a language like L62 which is a macro language useful in creating arbitrary list structures. The difference between these two “graphical languages” is so great that one could easily conceive of implementing the LEAP language using the L6 language. An excellent review of this subject is given by Gray.3The present work is a language in the latter mold, to be used in the implementation of data-structure systems, rather than being a data-structure system itself. In many respects L6 has served as a model of the type of facilities desired, although the final product owes its parentage to several languages.
AMBIT/L is a list-processing programming system. It integrates the general use of recursive functions with a pattern-matching style of programming. Two-dimensional directed-graph diagrams are used to represent the dat...
详细信息
Numerous papers and conference talks have recently been devoted to the affirmation or reaffirmation of various common-sense principles of computer program design and implementation, particularly with respect to operat...
详细信息
Well-designed efficient systems programminglanguages are an absolute necessity if programmers are to keep pace with the demand for systems. This paper presents briefly some criteria to be applied to the design of a g...
A particular systems implementationlanguage, Bliss, has been in active use at Carnegie-Mellon for over two years. At this point the language has been used for several compilers, a conversational programming system, a...
详细信息
implementation of operating systems in high level languages is desirable when the responsibility for systems generation extends over a volatile configuration of dissimilar machines. The attendant advantages include ra...
详细信息
This book contains a selection of revised papers presented at the 19th International Workshop on Functional and Constraint Logic programming, WFLP 2010, held in Madrid, Spain, in January 2010, as part of the acm-SIGPL...
详细信息
ISBN:
(数字)9783642207754
ISBN:
(纸本)9783642207747
This book contains a selection of revised papers presented at the 19th International Workshop on Functional and Constraint Logic programming, WFLP 2010, held in Madrid, Spain, in January 2010, as part of the acm-sigplan Principles of programminglanguages event, POPL 2010.
From the 15 papers submitted, 12 were accepted for presentation at the workshop. The 8 regular papers presented in this volume were selected following a second round of reviewing, which took place after the event. They are complemented by a full-length invited talk by the workshop’s guest speaker, Mariangiola Dezani-Ciancaglini. All current issues in the areas of functional and constraint logic programming are covered including foundational aspects, languagedesign, implementation, transformation and analysis, software engineering, integration of paradigms, and applications.
This paper presents an on-line, inter-active language system created specifically for scientists and engineers engaged in preparation, setup, control, and monitoring of hybrid computations. Through a special console o...
ISBN:
(纸本)9781450379151
This paper presents an on-line, inter-active language system created specifically for scientists and engineers engaged in preparation, setup, control, and monitoring of hybrid computations. Through a special console or a generalized input/output device, the user is afforded immediate access to both a computational process (software), and computation equipment (hardware). The language combines a complete algebraic interpreter with an expandable command and control repertoire. Through the latter, the language system may be made to perform a variety of special tasks, peculiar to the user, the equipment, or the *** language is designed specifically to facilitate implementation of an interpretive processor on a small digital computer in a hybrid configuration. This does not mean to imply, however, that the design is in any way limited to small computers. Rather, the intrinsic expandability of the language makes it possible to have a single communication medium that is upwards compatible across the whole spectrum of computer capability. The use of this programming system provides the hybrid computer analyst with great on-line flexibility coupled with a substantial reduction in the bothersome detail normally associated with digital computer programming.
This paper describes PAL—a new computer language. Given the fact that new languages seem to appear in computer literature at the rate of several per month, it seems incumbent on one who creates a new language to just...
ISBN:
(纸本)9781450374866
This paper describes PAL—a new computer language. Given the fact that new languages seem to appear in computer literature at the rate of several per month, it seems incumbent on one who creates a new language to justify having done so. In the present case, there are two important considerations: control and specification. Let us consider each of these in *** virtue of our having designed PAL, it is ours. There is no PAL Users Group or Committee of Vested Interests concerned with retaining upward compatibility with what was done last year (or last month). This doesn't mean we change the specifications of the language every few weeks (our students are, in a real sense, our Committee of Vested Interests), but it does mean we can make decisions on changes solely on technical grounds. More important, though, we can design the language to meet the criteria we think important. For example, the language almost demands interpretive execution. Since no one writes production programs in PAL we are able to put up with inefficiencies in the implementation that would otherwise be intolerable. Thus we have designed our own language so that we will have control over it.
暂无评论