Programming Languages and their Definition di H. Bekic edito da Springer Berlin Heidelberg
Alta reperibilità

Programming Languages and their Definition

Selected Papers

EAN:

9783540133780

ISBN:

354013378X

Pagine:
292
Formato:
Paperback
Lingua:
Tedesco
Acquistabile con o la

Descrizione Programming Languages and their Definition

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.

Spedizione gratuita
€ 71.15€ 74.89
Risparmi:€ 3.74(5%)
o 3 rate da € 23.72 senza interessi con
Disponibile in 10-12 giorni
servizio Prenota Ritiri su libro Programming Languages and their Definition
Prenota e ritira
Scegli il punto di consegna e ritira quando vuoi

Recensioni degli utenti

e condividi la tua opinione con gli altri utenti