Istituto di Scienza e Tecnologie dell'Informazione     
Levi G., Sirovich F. Proving program properties symbolic evaluation and logical procedural semantics. In: Mathematical Foundations of Computer Science 1975 (4th Symposium, Marienbad, 1975)vol. 32 pp. 249 - 301. Springer, Berlin, 1975, 1975.
The semantics of programming languages has received a good deal of consideration because it is an essential part of the definiton of a programming language and provides a sound basis for interpreter design.

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional