{"product_id":"language-hierarchies-and-interfaces-international-summer-school-von-f-l-bauer-k-samelson-hrsg","title":"Language Hierarchies and Interfaces","description":"\u003cp\u003eOn the teaching of programming, i.e. on the teaching of thinking.- Parallel programming: An axiomatic approach.- On-the-fly darbage collection: an exercise in cooeration.- An exercise in proving parallel programs correct.- The programming language concurrent pascal.- Guarded commands, non-determinacy and a calculus for the derivation of programs.- Program production by successive transformation.- Programming as an evolutionary process.- Proof of correctness of data representations.- A philosophy of programming.- The structure of an operating system.- Language aspects in operating systems.- Structured programming in the basic layers of an operating system.- A time-wise hierarchy imposed upon the use of a two-level store.- Problems in many-language systems.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540079941\"\u003e\u003ch3\u003eInternational Summer School\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540079941","offer_id":39435909267549,"sku":"9783540079941","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/c9f60759-f234-49b1-8340-dfa6a64b1aaa.jpg?v=1773553346","url":"https:\/\/shop.autorenwelt.de\/products\/language-hierarchies-and-interfaces-international-summer-school-von-f-l-bauer-k-samelson-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}