Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1986

Programs as Data Objects

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

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)

Sections

Buy it now

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

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

Table of contents (17 papers)

  1. Front Matter

    PDF

  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

  8. Strictness detection in non-flat domains

    • John Hughes
    Pages 112-135

  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

  16. Program transformation by supercompilation

    • Valentin F. Turchin
    Pages 257-281
Back to top

Keywords

Back to top

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

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation