Del i serien Lecture Notes in Computer Science

Programs as Data Objects

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

Häftad, Engelska, 1986

AvHarald Ganzinger,Neil Jones

509 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1986-03-01
Mått155 x 235 x 19 mm
Vikt517 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor325
Upplaga1986
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540164463

Tillhör följande kategorier

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

Del 7

The Art of Poetry: AQA Love & Relationships

Kathrine Mortimore, Neil Jones

Häftad, 2017

409 kr

English Legal History and its Sources

David Ibbetson, Neil Jones, Nigel Ramsay

Inbunden, 2019

1 889 kr

ESOP '88

Harald Ganzinger

Häftad, 1988

719 kr

Automated Deduction - CADE-16

Harald Ganzinger

Häftad, 1999

719 kr

Del 45

Learning Oriented Assessment

Neil Jones, Nick Saville

Häftad, 2016

1 089 kr

From The Valleys to Headingley

Neil Jones

Häftad, 2022

269 kr

Logic Programming and Automated Reasoning

Harald Ganzinger, David McAllester, Andrei Voronkov

Häftad, 1999

719 kr

Rewriting Techniques and Applications

Harald Ganzinger

Häftad, 1996

719 kr

Informatik

Harald Ganzinger, Wolfgang J. Paul

Häftad, 1992

659 kr

Logic, Language and Computation

Neil Jones, Masami Hagiya, Masahiko Sato

Häftad, 1994

719 kr