A practical language and toolkit for high-integrity tools

This paper shows how a safe interface to heap storage, based on garbage collection as provided in implementations of pure functional languages, can be combined with imperative languages. It also shows how expressive notation from functional languages, such as algebraic data types and equational defi...

Full description

Saved in:
Bibliographic Details
Published in:The Journal of systems and software 1998-06, Vol.41 (3), p.161-173
Main Authors: Toyn, I, Cattrall, D.M, McDermid, J.A, Jacob, J.L
Format: Article
Language:English
Subjects:
Algebraic data types
Functional languages
Heap storage
Imperative languages
Interfaces
Programming languages
Software quality
Studies
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:This paper shows how a safe interface to heap storage, based on garbage collection as provided in implementations of pure functional languages, can be combined with imperative languages. It also shows how expressive notation from functional languages, such as algebraic data types and equational definition of functions with pattern matching, can be adopted. The paper argues that the resulting combination is appropriate for the construction of high-integrity tools, based on an assessment against the same criteria as have been used for assessing the suitability of imperative languages for producing high-integrity software.
ISSN:0164-1212
1873-1228
DOI:10.1016/S0164-1212(97)10017-6