Vai al contenuto principale della pagina

Programs as Data Objects [[electronic resource] ] : Proceedings of a Workshop, Copenhagen, Denmark, October 17 - 19, 1985 / / edited by Harald Ganzinger, Neil Jones



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Titolo: Programs as Data Objects [[electronic resource] ] : Proceedings of a Workshop, Copenhagen, Denmark, October 17 - 19, 1985 / / edited by Harald Ganzinger, Neil Jones Visualizza cluster
Pubblicazione: Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1986
Edizione: 1st ed. 1986.
Descrizione fisica: 1 online resource (X, 325 p.)
Disciplina: 005.1015113
Soggetto topico: Computer logic
Computer programming
Software engineering
Logics and Meanings of Programs
Programming Techniques
Software Engineering
Persona (resp. second.): GanzingerHarald
JonesNeil
Note generali: Bibliographic Level Mode of Issuance: Monograph
Nota di contenuto: 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.
Titolo autorizzato: Programs as data objects  Visualizza cluster
ISBN: 3-540-39786-8
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 996465702003316
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Serie: Lecture Notes in Computer Science, . 0302-9743 ; ; 217
Rules and Reasoning [[electronic resource] ] : 4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 – July 1, 2020, Proceedings / / edited by Víctor Gutiérrez-Basulto, Tomáš Kliegr, Ahmet Soylu, Martin Giese, Dumitru Roman
Model-Based Safety and Assessment [[electronic resource] ] : 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14–16, 2020, Proceedings / / edited by Marc Zeller, Kai Höfig
Logics of Programs and Their Applications [[electronic resource] ] : Proceedings, Poznan, August 23-29, 1980 / / edited by A. Salwicki
Third International Conference on Logic Programming [[electronic resource] ] : Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986. Proceedings / / edited by Ehud Shapiro
Semantics of Concurrent Computation [[electronic resource] ] : Proceedings of the International Symposium Evian, France, July 2-4, 1979 / / edited by G. Kahn