Fri frakt över 249 kr
•
Snabba leveranser
•
Billiga böcker

Fynda 4 pocketböcker till priset av 3 →

Programs as Data Objects

Proceedings of a Workshop, Copenhagen, Denmark, October 17 - 19, 1985

AvHarald Ganzinger,Neil Jones

Häftad, Engelska, 1986

Del i serien Lecture Notes in Computer Science

395 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1986-03-01
Mått:155 x 235 x 19 mm
Vikt:517 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:325
Upplaga:1986
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540164463

Utforska kategorier

Innehållsförteckning

Strictness analysis and polymorphic invariance.- Convergent term rewriting systems can be used for program transformation.- The theory of strictness analysis for higher order functions.- Recognition of generative languages.- Modular first-order specifications of operational semantics.- Logic specification of code generation techniques.- Strictness detection in non-flat domains.- Strictness computation using special ?-expressions.- A relational framework for abstract interpretation.- Expected forms of data flow analyses.- Code generation from two-level denotational meta-languages.- Multilevel functions in Martin-Löf's type theory.- An implementation from a direct semantics definition.- The structure of a self-applicable partial evaluator.- Program transformation by supercompilation.- Listlessness is better than laziness II: Composing listless functions.- From interpreter to compiler: A representational derivation.

Du kanske också är intresserad av

Harald Ganzinger - Automated Deduction - CADE-16, E-bok

Automated Deduction - CADE-16

Harald Ganzinger

E-bok

2003

708 kr

David Ibbetson, Neil Jones, Nigel Ramsay - English Legal History and its Sources, Inbunden

English Legal History and its Sources

David Ibbetson, Neil Jones, Nigel Ramsay

Inbunden, 2019

1 451 kr

Harald Ganzinger - ESOP '88, Häftad

ESOP '88

Harald Ganzinger

Häftad, 1988

561 kr

Harald Ganzinger - Automated Deduction - CADE-16, Häftad

Automated Deduction - CADE-16

Harald Ganzinger

Häftad, 1999

561 kr

Neil Jones, Nick Saville - Learning Oriented Assessment, Häftad

Del 45

Learning Oriented Assessment

Neil Jones, Nick Saville

Häftad, 2016

866 kr

Andrei Voronkov, David McAllester, Harald Ganzinger - Logic Programming and Automated Reasoning, E-bok

Logic Programming and Automated Reasoning

Andrei Voronkov, David McAllester, Harald Ganzinger

E-bok

2007

734 kr

Harald Ganzinger, David McAllester, Andrei Voronkov - Logic Programming and Automated Reasoning, Häftad

Logic Programming and Automated Reasoning

Harald Ganzinger, David McAllester, Andrei Voronkov

Häftad, 1999

561 kr

Harald Ganzinger - Rewriting Techniques and Applications, Häftad

Rewriting Techniques and Applications

Harald Ganzinger

Häftad, 1996

561 kr

Wolfgang J. Paul, Harald Ganzinger - Informatik, E-bok

Informatik

Wolfgang J. Paul, Harald Ganzinger

E-bok

2013

449 kr

Harald Ganzinger, Wolfgang J. Paul - Informatik, Häftad

Informatik

Harald Ganzinger, Wolfgang J. Paul

Häftad, 1992

509 kr