|
" Programming Languages and Their Definition : "
H Bekic
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
725758
|
| Doc. No
|
:
|
b545479
|
| Main Entry
|
:
|
H Bekic
|
| Title & Author
|
:
|
Programming Languages and Their Definition : : Selected Papers.\ H Bekic
|
| Publication Statement
|
:
|
New York: Springer, Oct., 1985
|
| Series Statement
|
:
|
Lecture Notes in Computer Science Ser.
|
| Page. NO
|
:
|
(xxxii, 254 pages).
|
| ISBN
|
:
|
354013378X
|
|
|
:
|
: 9783540133780
|
| Contents
|
:
|
Note on a test example for ALGOL60 compilers by D.E. Knuth.- The assignment to a type procedure identifier in ALGOL60.- The meaning of names in PL/I.- Defining a language in its own terms.- Note on some problems concerning the PL/I manual and its re-writing.- Definable operations in general algebras, and the theory of automata and flowcharts.- Formalization of storage properties.- On the formal definition of programming languages.- A formal definition of a PL/I subset.- Mathematical semantics and compiler correctness.- Towards a mathematical theory of processes.- From comments arising from a lecture in Amsterdam, June 1972.- The semantics of parallel processing.- Nondeterministic functions and the semantics of CSP.- Nondeterministic programs : An example.- A model of nondeterminism: Indexed sets and their equivalence.
|
| LC Classification
|
:
|
QA76.7H345 1985
|
| Added Entry
|
:
|
C B Jones
|
|
|
:
|
H Bekic
|
| |