Author: Thomas W. Reps
Publisher: Springer Science & Business Media
ISBN: 1461396336
Category : Computers
Languages : en
Pages : 184
Get Book Here
Book Description
The Synthesizer Generator is a system for automating the implementation of language-based editing environments. The editor designer prepares a specification that includes rules defining a language's context-free abstract syn tax, context-sensitive relationships, display format, and concrete input syntax. From this specification, the Synthesizer Generator creates a display editor for manipulating objects according to these rules [Reps84]. This volume, The Synthesizer Generator Reference Manual, is intended as the defining document of the system. A companion volume, The Synthesizer Gen erator: A System for Constructing Language-Based Editors [Reps88], provides a more tutorial description of the system; it contains numerous examples that illustrate the specification and use of generated editors, as well as chapters that explain important algorithms of the implementation. The Synthesizer Generator is a generalization of our earlier system, the Cor nell Program Synthesizer [Teitelbaum81], which was a programming environ ment for a specific small dialect of PL/I. It featured a display-oriented, syntax directed editor, an incremental compiler, an execution supervisor supporting source-level debugging, and a file system containing syntactically typed pro gram fragments. Whereas PL/I was built into the Cornell Program Synthesizer, the Synthesizer Generator accepts a formal language definition as input. Although originally conceived as a tool for creating Synthesizer-like environments for arbitrary pro gramming languages, the Synthesizer Generator is more broadly useful. Any textual language with a hierarchical phrase structure grammar is a candidate. vi Preface Interactive theorem proving for formal mathematics and logic, for example, has emerged as a particularly suitable application.
Author: T. Reps
Publisher:
ISBN: 9783540971009
Category :
Languages : en
Pages :
Get Book Here
Book Description
Author:
Publisher:
ISBN:
Category :
Languages : en
Pages : 290
Get Book Here
Book Description
Author: Thomas William Reps
Publisher:
ISBN:
Category : Programming languages (Electronic computers)
Languages : en
Pages : 53
Get Book Here
Book Description
Author: Thomas William Reps
Publisher:
ISBN: 9787506207850
Category : Computer software
Languages : en
Pages : 171
Get Book Here
Book Description
Author: Thomas William Reps
Publisher:
ISBN:
Category : Computer software
Languages : en
Pages : 162
Get Book Here
Book Description
Author: Manfred Broy
Publisher: Springer Science & Business Media
ISBN: 9783540545767
Category : Computers
Languages : en
Pages : 292
Get Book Here
Book Description
The systematic development of software systems is a central task of computing science. A software system is the result of putting together knowledge about the application, the requirements and the structures of computing science. Under the heading CIP (Computer-aided Intuition-guided Programming), a group of researchers led by Prof. F.L. Bauer and Prof. K. Samelson started work in 1975 in the direction of formal program specification, transformational programming, and tool supportfor program development. The collection of papers in this volume presents examples of a formal approach to programming language concepts and program development based on algebraic specifications and program transformations. Examples are also presented of evolutions and modificationsof the original ideas of the CIP project. The topics range from descriptionsof the program development process to derivations of algorithms from specifications. The volume is dedicated to Prof. F.L. Bauer.
Author: John A McDermid
Publisher: Elsevier
ISBN: 1483105083
Category : Technology & Engineering
Languages : en
Pages : 1137
Get Book Here
Book Description
Software Engineer's Reference Book provides the fundamental principles and general approaches, contemporary information, and applications for developing the software of computer systems. The book is comprised of three main parts, an epilogue, and a comprehensive index. The first part covers the theory of computer science and relevant mathematics. Topics under this section include logic, set theory, Turing machines, theory of computation, and computational complexity. Part II is a discussion of software development methods, techniques and technology primarily based around a conventional view of the software life cycle. Topics discussed include methods such as CORE, SSADM, and SREM, and formal methods including VDM and Z. Attention is also given to other technical activities in the life cycle including testing and prototyping. The final part describes the techniques and standards which are relevant in producing particular classes of application. The text will be of great use to software engineers, software project managers, and students of computer science.
Author: Hannu Jaakkola
Publisher: IOS Press
ISBN: 9789051991437
Category : Computers
Languages : en
Pages : 454
Get Book Here
Book Description
This is the fifth volume in a sub-series based on the joint effort of Nordic and Japanese scientists in the field of information modelling and knowledge bases.
Author: David Gries
Publisher: Springer Science & Business Media
ISBN: 1461259835
Category : Computers
Languages : en
Pages : 381
Get Book Here
Book Description
Describes basic programming principles and their step-by- step applications.Numerous examples are included.
