Programming Language Systems

Front Cover
Australian National University Press, 1978 - Computers - 235 pages

From inside the book

 

23 pages matching transformations in this book

Where's the rest of this book?

Results 1-3 of 23

Contents

A Formalism for the Derivation of Programs
15
Phrase Structures in Pascal
29
Lessons from Automatic Preprocessing of Symbolic
61
Copyright

12 other sections not shown

Common terms and phrases

abstract machine activation record actual parameter Algol 60 alternative ANTS array parameters assignment block C.A.R. Hoare COBOL CODASYL Command Languages complete Computer Science coroutines correctness data structures declaration defined definition domain dynamic array dynamic bounds element entity-name example execution expressions extension facilities formal Fortran function given high-level IFIP implementation inductive assertions input integer Interdata interface invariant Janus Job Control Language LINEH LISP LISP machine loop mapping method objects operand stack operating system output Pascal compiler pointers possible predicate preprocessor problem procedure programming language systems proof prove recursive repetitive construct representation routines semantics SIGPLAN Simula Simula 67 solution specification standard OSCL statement storage subgoal induction symbol symbolstack syntactic syntax target technique telegram termination theorem transformations translation tree valid variables virtual program Wirth sequences

Bibliographic information

TitleProgramming Language Systems
AuthorsMalcolm Charles Newey, Robin Barrington Stanton, Garth Leslie Wolfendale
Editionillustrated
PublisherAustralian National University Press, 1978
ISBN0708104932, 9780708104934
Length235 pages
Subjects ›  › 

Computers / Languages / General
Computers / Programming / General
Reference / Questions & Answers
  
Export CitationBiBTeX EndNote RefMan