عنوان

Programming Languages and Their Definition :

شابک

354013378X

شابک

9783540133780

شماره

b545479

عنوان اصلي

Programming Languages and Their Definition :

نام عام مواد

[Book]

ساير اطلاعات عنواني

Selected Papers.

نام نخستين پديدآور

H Bekic

محل نشرو پخش و غیره

New York

نام ناشر، پخش کننده و غيره

Springer, Oct.

تاریخ نشرو بخش و غیره

1985

نام خاص و کميت اثر

(xxxii, 254 pages).

عنوان فروست

Lecture Notes in Computer Science Ser.

متن يادداشت

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.

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

H Bekic

مستند نام اشخاص تاييد نشده

C B Jones

مستند نام اشخاص تاييد نشده

H Bekic

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y