Skip to main content
SpringerLink
Log in

The Static Part of the Design Language COLD-K

  • Conference paper
Book cover Semantics of Specification Languages (SoSL)

Part of the book series: Workshops in Computing ((WORKSHOPS COMP.))

  • 31 Accesses

Abstract

This paper is about the static fragment of the design language COLD-K, obtained by dropping all dynamic features (procedures and expressions). It contains definitions of syntax and semantics, together with a presentation of the notions used in the definition of the semantics, such as MPL W (many-sorted partial infinitary logic), inductive definitions, the algebra of theories (with the operations renaming, import and export) and the type structure defined over this algebra.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
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

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J.C.M. Baeten, J.A. Bergstra, S. Mauw, G.J. Veltink, A process specification formalism based on static COLD, in: J.A. Bergstra, L.M.G. Feijs (eds.) Algebraic methods: Theory, Tools and Applications (Part II), LNCS, Springer-Verlag, 1991.

    Google Scholar 

  2. H.P. Barendregt, The lambda calculus, its syntax and semantics (Revised edition), North-Holland, 1984.

    MATH  Google Scholar 

  3. H. Barringer, J.H. Cheng, C.B. Jones, A logic covering undefinedness in program proofs, Acta Informatica 21 (1984) 251–269.

    Article  MathSciNet  MATH  Google Scholar 

  4. J.A. Bergstra, J. Heering, P. Klint, Module algebra, Journal of the ACM 37 (1990) 335–372.

    Article  MathSciNet  MATH  Google Scholar 

  5. J.H. Cheng, A Logic for Partial Functions, Ph.D. thesis, University of Manchester, Department of Computer Science, 1986 Technical Report UMCS–86–7–1.

    Google Scholar 

  6. M.E.A. Corthout, H.B.M. Jonkers, The transformational development of a new point containment algorithm, Philips Journal of Research 41 (1986), 83–174.

    MATH  Google Scholar 

  7. M.E.A. Corthout, H.B.M. Jonkers, A new point containment algorithm for B-regions in the discrete plane, Proceedings of the Conference on Theoretical Foundations of Computer Graphics and CAD, Italy (1987).

    Google Scholar 

  8. L.M.G. Feijs, A formalisation of design methods, Ph.D. thesis, Technical University Eindhoven, 1990.

    Google Scholar 

  9. L.M.G. Feijs, H.B.M. Jonkers, Transformational design: an annotated example, Proceedings of the IFIP TC 2 Working Conference on Program Specification and Transformation, North-Holland (1986).

    Google Scholar 

  10. L.M.G. Feijs, H.B.M. Jonkers, Formal Specification and Design, Cambridge Tracts in Theoretical Computer Science 35, Cambridge University Press, 1992.

    Book  MATH  Google Scholar 

  11. L.M.G. Feijs, H.B.M. Jonkers, C.P.J. Koymans, G.R. Renardel de Lavalette, Formal definition of the design language COLD-K, Technical Report, ESPRIT project 432, Doc.Nr. METEOR/t7/PRLE/7 (1987).

    Google Scholar 

  12. R. Groenboom, G.R. Renardel de Lavalette, Reasoning over dynamic features in specification languages,this volume.

    Google Scholar 

  13. D. Harel, Dynamic Logic, in: Handbook of Philosophical Logic, vol. II (D. Gabbay, F. Guenthner, eds.) Reidel (1984) 497–604.

    Chapter  Google Scholar 

  14. H.B.M. Jonkers, Inheritance in COLD, in: J.A. Bergstra, L.M.G. Feijs (eds.) Algebraic methods: Theory, Tools and Applications (Part II), LNCS, Springer-Verlag, 1991.

    Google Scholar 

  15. H.B.M. Jonkers, J.H. Obbink, COLD: a common object-oriented language for design, Working document, Philips Research Laboratories Eindhoven, 1983.

    Google Scholar 

  16. C.P.J. Koymans, G.R. Renardel de Lavalette, The logic MPL„, in: Algebraic methods: Theory, Tools and Applications (M. Wirsing, J.A. Bergstra, eds.) Lecture Notes in Computer Science 394, Springer-Verlag, 1989.

    Google Scholar 

  17. C.A. Middelburg, The VIP VDM specification language,in: VDM’88, VDM — the WAY AHEAD (r. Bloomfield, L. Marshall, R. Jones, eds.), Lecture Notes in Computer Science 328, Springer-Verlag (1989) 187–201.

    Google Scholar 

  18. C.A. Middelburg, VVSL: a language for structured VDM specifications, Formal aspects of Computing 1 (1989) 115–135.

    Article  Google Scholar 

  19. C.A. Middelburg, G.R. Renardel de Lavalette, LPF and MPLW - a logical comparison of VDM SL and COLD-K, in: S. Prehn, W.J. Toetenel (eds.) VDM’91: Formal Software Development Methods, LNCS551, Springer-Verlag, 279–308.

    Google Scholar 

  20. G.R. Renardel de Lavalette, COLD-K2, the static kernel of COLD-K, Report RP/mod-89/8, Software Engineering Research Centre, Utrecht, the Netherlands, November 1989.

    Google Scholar 

  21. G.R. Renardel de Lavalette, Logical semantics of modularisation,in: Computer Science Logic’91 (E. Börger, G. Jäger, H. Kleine Büning, M.M. Richter, eds.), LNCS626, 306–315.

    Google Scholar 

  22. G.R. Renardel de Lavalette, Formal development of a serial copy management system,in: Vdm’91: Formal Software Development Methods (S. Prehn, W.J. Toetenel, eds.), LNCS551, Springer-Verlag, 477–495.

    Google Scholar 

  23. G.R. Renardel de Lavalette, From implicit via inductive to explicit definitions,this volume.

    Google Scholar 

  24. D.S Scott, Existance and description in Formal Logic, in: R. Schoenman (Ed.), Bertrand Russell, Philosopher of the Century, Allen and Unwin, London, (1967), 181–200.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computing Science, University of Groningen, P.O. box 800, 9700 AV, Groningen, The Netherlands

    Gerard R. Renardel de Lavalette

Authors
  1. Gerard R. Renardel de Lavalette
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Mathematics and Computer Science, University of Leicester, University Road, LE1 7RH, Leicester, UK

    D. J. Andrews

  2. Department of Philosophy, Utrecht University, Heidelberglaan 8, 3584 CS, Utrecht, The Netherlands

    J. F. Groote (dr.ir) & C. A. Middelburg (prof.dr.ir) (dr.ir) &  (prof.dr.ir)

Rights and permissions

Reprints and permissions

Copyright information

© 1994 British Computer Society

About this paper

Cite this paper

Renardel de Lavalette, G.R. (1994). The Static Part of the Design Language COLD-K. In: Andrews, D.J., Groote, J.F., Middelburg, C.A. (eds) Semantics of Specification Languages (SoSL). Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3229-5_4

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-3229-5_4

  • Publisher Name: Springer, London

  • Print ISBN: 978-3-540-19854-3

  • Online ISBN: 978-1-4471-3229-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation