Skip to main content
SpringerLink
Log in

Programs as Data Objects

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

  • Conference proceedings
  • © 1986

Overview

Editors:
  1. Harald Ganzinger
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Neil D. Jones
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 217)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 49.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (17 papers)

  1. Front Matter

    Download chapter PDF

  2. Strictness analysis and polymorphic invariance

    • Samson Abramsky
    Pages 1-23

  3. Convergent term rewriting systems can be used for program transformation

    • Françoise Bellegarde
    Pages 24-41

  4. The theory of strictness analysis for higher order functions

    • GL Burn, CL Hankin, S Abramsky
    Pages 42-62

  5. Recognition of generative languages

    • Henning Christiansen
    Pages 63-81

  6. Modular first-order specifications of operational semantics

    • Harald Ganzinger
    Pages 82-95

  7. Logic specification of code generation techniques

    • Robert Giegerich
    Pages 96-111

  8. Strictness detection in non-flat domains

    • John Hughes
    Pages 112-135

  9. Strictness computation using special λ-expressions

    • Dieter Maurer
    Pages 136-155

  10. A relational framework for abstract interpretation

    • Alan Mycroft, Neil D. Jones
    Pages 156-171

  11. Expected forms of data flow analyses

    • Flemming Nielson
    Pages 172-191

  12. Code generation from two-level denotational meta-languages

    • Flemming Nielson, Hanne R. Nielson
    Pages 192-205

  13. Multilevel functions in Martin-Löf's type theory

    • Bengt Nordström
    Pages 206-221

  14. An implementation from a direct semantics definition

    • David A. Schmidt
    Pages 222-235

  15. The structure of a self-applicable partial evaluator

    • Peter Sestoft
    Pages 236-256

  16. Program transformation by supercompilation

    • Valentin F. Turchin
    Pages 257-281

  17. Listlessness is better than laziness II: Composing listless functions

    • Philip Wadler
    Pages 282-305

  18. From interpreter to compiler: A representational derivation

    • Mitchell Wand
    Pages 306-324
Back to top

Keywords

Bibliographic Information

  • Book Title: Programs as Data Objects

  • Book Subtitle: Proceedings of a Workshop, Copenhagen, Denmark, October 17 - 19, 1985

  • Editors: Harald Ganzinger, Neil D. Jones

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-16446-4

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1986

  • Softcover ISBN: 978-3-540-16446-3Published: 01 March 1986

  • eBook ISBN: 978-3-540-39786-1Published: 30 June 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: X, 325

  • Topics: Logics and Meanings of Programs, Programming Techniques, Software Engineering

Publish with us

Policies and ethics

Back to top

Search

Navigation