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

Formalization of Programming Concepts

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

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)

Conference series link(s): ICFPC: International Colloquium on the Formalization of Programming Concepts

Conference proceedings info: ICFPC 1981.

Sections

Buy it now

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

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

Table of contents (30 papers)

  1. Front Matter

    PDF

  6. Formal behavioural specification of concurrent systems without globality assumptions

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

  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

  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
Back to top

Other Volumes

  1. Formalization of Programming Concepts

Back to top

Keywords

Back to top

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

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation