Skip to main content
SpringerLink
Log in
Book cover

Formalization of Programming Concepts

International Colloquium, Peniscola, Spain, April 19-25, 1981. Proceedings

  • Conference proceedings
  • © 1981

Overview

Editors:
  1. J. Díaz
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. I. Ramos
    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 107)

Included in the following conference series:

Conference proceedings info: ICFPC 1981.

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 54.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 (30 papers)

  1. Front Matter

    Download chapter PDF

  2. The algebra of functional programs: Function level reasoning, linear equations, and extended definitions

    • John Backus
    Pages 1-43

  3. The VDM principles of software specification & program design

    • Dines Bjørner
    Pages 44-74

  4. Attribute grammars : Theory and applications

    • B. Courcelle
    Pages 75-95

  5. Compiler generation from formal definition of programming languages : A survey

    • M. C. Gaudel
    Pages 96-114

  6. Formal behavioural specification of concurrent systems without globality assumptions

    • P. E. Lauer, M. W. Shields, J. Y. Cotronis
    Pages 115-151

  7. A birkhoff-like theorem for algebraic classes of interpretations of program schemes

    • José Meseguer
    Pages 152-168

  8. Building data base management systems through formal specification

    • E. J. Neuhold, Th. Olnhoff
    Pages 169-209

  9. Reducing types in applicative languages with structured data

    • E. Astesiano, G. Costa
    Pages 210-217

  10. On the definition of lambda-calculus models

    • G. Berry
    Pages 218-230

  11. About data type genericity

    • Didier Bert, Roger Soler
    Pages 231-243

  12. On the algebraic extensions of abstract data types

    • Manfred Broy, Martin Wirsing
    Pages 244-251

  13. Scenarios: A model of non-determinate computation

    • J. Dean Brock, William B. Ackerman
    Pages 252-259

  14. An operational semantics for a language with early completion data structures

    • Jack B. Dennis
    Pages 260-267

  15. Le calcul des fermetures dans les lambda-langages

    • Jean-Louis Durieux
    Pages 268-279

  16. Distributed termination with interval assertions

    • N. Francez, M. Rodeh, M. Sintzoff
    Pages 280-291

  17. Algebraic denotational semantics using parameterized abstract modules

    • Joseph A. Goguen, Kamran Parsaye-Ghomi
    Pages 292-309

  18. Relational semantics of strongly communicating sequential processes

    • Pedro Guerreiro
    Pages 310-326

  19. A construction of concurrent systems by means of sequential solutions and concurrency relations

    • Ryszard Janicki
    Pages 327-334

  20. The development of an interpreter by means of abstract algebraic software specifications

    • H. A. Klaeren, H. Petzsch
    Pages 335-346
Back to top

Other volumes

  1. Formalization of Programming Concepts

Keywords

Bibliographic Information

  • Book Title: Formalization of Programming Concepts

  • Book Subtitle: International Colloquium, Peniscola, Spain, April 19-25, 1981. Proceedings

  • Editors: J. Díaz, I. Ramos

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-10699-5

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1981

  • Softcover ISBN: 978-3-540-10699-9Published: 01 April 1981

  • eBook ISBN: 978-3-540-38654-4Published: 30 June 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: X, 486

  • Topics: Software Engineering/Programming and Operating Systems, Programming Techniques

Publish with us

Policies and ethics

Back to top

Search

Navigation