Skip to main content
SpringerLink
Log in

Structural modelling of Prolog for metrication

  • Software Metrics
  • Conference paper
  • First Online:
ESEC '89 (ESEC 1989)

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

Included in the following conference series:

Abstract

This Paper develops an analytical modelling system for Prolog as a particular case of the general process of modelling. The model reveals the procedural and data structures of Prolog and provides an aid to measurement-based quality assurance. In the course of modelling, distinct program features are identified and removed one by one, to reveal the logic component of a Prolog program. Two different abstractions are applied to the logic component, each yielding a different set of ‘primes’ and a ‘structure’ in measurable forms. The model yields a sound basis for metrication.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Classification of flow-graph metrics, R Bache, Internal Paper CSSE/015/02, South Bank Polytechnic, London.

    Google Scholar 

  2. A software tool for the structural measurement of PROLOG, M.Sc. dissertation, Heriot-Watt University, Heather J.J.Benwood, 1988

    Google Scholar 

  3. DEC-10 Prolog User's Manual ed. D.L.Bowen University of Edinburgh

    Google Scholar 

  4. How to solve it with Prolog, H Coelho, J S Cotta, L M Pereira, Lisbon, 1982

    Google Scholar 

  5. A review of the fundamental concepts of measurement. L Finkelstein and M S Leaning, Measurement, vol 2 No 1 Jan–Mar 1984.

    Google Scholar 

  6. A design methodology in Prolog programming, Z. Markusz, A A Kaposi, First International Logic Programming Conference, Marseilles, 1982.

    Google Scholar 

  7. A static analysis of Prolog programs, H Matsumoto, Sigplan Notices, V20, No.10, Oct.1985

    Google Scholar 

  8. A rigorous approach to structural analysis and metrication of software, W R Whitty, N E Fenton, A A Kaposi, Software and Microsystems, Vol 4, No. 1, February 1985.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Centre for Systems and Software Engineering, South Bank Polytechnic, Borough Rd., SE1 0AA, London

    Margaret Myers

Authors
  1. Margaret Myers
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

C. Ghezzi J. A. McDermid

Rights and permissions

Reprints and permissions

Copyright information

© 1989 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Myers, M. (1989). Structural modelling of Prolog for metrication. In: Ghezzi, C., McDermid, J.A. (eds) ESEC '89. ESEC 1989. Lecture Notes in Computer Science, vol 387. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-51635-2_49

Download citation

  • DOI: https://doi.org/10.1007/3-540-51635-2_49

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-51635-4

  • Online ISBN: 978-3-540-46723-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation