Stoyan, Herbert. - Maschinen-unabhängige Code-Erzeugung als sem
| Schrijver: | Stoyan, Herbert. |
|---|---|
| Titel: | Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation. |
| ISBN: | 9783540138952 |
| Uitgever: | Berlin & New York : Springer, c1984. Paperback. 365 pp. 25 cm. (Informatik-Fachberichte, 91).. Conditie: goed |
| Bijzonderheden: | Conditie: goed. COMPUTER STUDIES |
| Prijs: | € 30,00 |
| Verzendkosten: | € 5,50 (binnen Nederland) |
| Meer info: |
- Was ist das Wesen der Compilierung? Ershov hat 1977 einen Vortrag /24/ gehalten mit dem Titel "On the essence of compilation". Darin führt er seine Idee aus, daß Compilation ein spezieller Fall von sog. "mixed computation" sei, welche sich kurz so charakterisieren läßt, daß alles was konkret ausrechenbar ist, ausgerechnet wird, und alles was nicht ausgerechnet werden kann, stehen bleibt. Ershovs Versuch hat keine Vorgänger, obwohl verschiedene Compilermodelle entwickelt wurden. Interpretieren wir in die se Modelle (teilweise unzulässig) Erklärungsversuche für den Vorgang der Compilation - daß das Resultat äquivalenter aus führbarer Maschinencode ist, nehmen wir als gemeinsame An sicht an - dann kommen wir grob zu folgenden Standpunkten: 1. Compilation ist ein nicht weiter erklärbarer Vorgang, der stattfindet durch Automaten (im Sinne der Automaten theorie), die in geeigneter Weise Zeichenketten akzeptieren bzw. generieren. Die Automaten hängen in gewisser Weise von der Quell sprache ab (man kann den Akzeptor aus einer guten syntak tischen Beschreibung erzeugen) bzw. werden vom Compiler konstrukteur auf Grund seiner Erfahrung entwickelt.
|
![]()
De verkoper zal binnen 3 werkdagen contact met u opnemen om de koop verder af te handelen.
Het huisnummer is ook opgegeven in het straat veld. Gelieve controleren of de velden straat en huisnummer correct zijn opgegeven.
Straat:
Nummer:
- Alle boeken zijn compleet en verkeren in normale antiquarische staat, tenzij anders beschreven. Kleine onvolkomenheden, zoals een ingeplakte ex-libris of een naam op het schutblad, zijn niet altijd vermeld
- U handelt deze order direct af met Kloof Antiquariaat
Dit boekwinkeltje is een zakelijke verkoper. Hierdoor heeft u o.a. herroepingsrecht waarmee u het boek binnen 14 dagen na ontvangst retour kunt sturen. Verder lezen. - Identiteit verkoper:
Antiquariaat de Kloof
Kamer van Koophandel nummer: 33017762
NL001315707B82
https://www.kloof.nl - Na uw bestelling ontvangen u en Kloof Antiquariaat een bevestiging per e-mail. In de e-mail staan de naam, adres, woonplaats en telefoonnummer van Kloof Antiquariaat vermeld
- De Koper betaalt de verzendkosten, tenzij anders overeen gekomen
- Kloof Antiquariaat kan betaling vooraf vragen
- Boekwinkeltjes.nl probeert Kopers en Verkopers tot elkaar te brengen. Boekwinkeltjes.nl is echter nimmer partij bij een overeenkomst die gesloten wordt tussen Koper en Verkoper door gebruikmaking van de site. Als u een geschil hebt met één of meer gebruikers, dient u dit zelf op te lossen. U vrijwaart Boekwinkeltjes.nl van enigerlei vorderingen, aanspraken op schadevergoeding en dergelijke, verband houdende met dergelijke geschillen.
Onthoud mijn gegevens
Registreer u vrijblijvend als koper!
Besteld, hoe nu verder?
De verkoper zal binnen 3 werkdagen contact met u opnemen om de koop verder af te handelen. Afhankelijk van uw locatie heeft u in de meeste gevallen binnen 2 dagen uw bestelling in huis.
