A practical language and toolkit for high-integrity tools

I Toyn; D M Cattrall; J A McDermid; J L Jacob

A practical language and toolkit for high-integrity tools

I Toyn, D M Cattrall, J A McDermid, J L Jacob

Computer Science

Research output: Contribution to journal › Article › peer-review

Abstract

This payer 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. (C) 1998 Elsevier Science Inc. All rights reserved.

Original language	English
Pages (from-to)	161-173
Number of pages	13
Journal	Journal of Systems and Software
Volume	41
Issue number	3
Publication status	Published - Jun 1998

Keywords

functional languages
imperative languages
heap storage
algebraic data types
REPRESENTATIONS
SYSTEM

Access to Document

http://dx.doi.org/10.1016/S0164-1212(97)10017-6

Cite this

@article{fad2a342bbe94f97a9359955b87fefad,

title = "A practical language and toolkit for high-integrity tools",

abstract = "This payer 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. (C) 1998 Elsevier Science Inc. All rights reserved.",

keywords = "functional languages, imperative languages, heap storage, algebraic data types, REPRESENTATIONS, SYSTEM",

author = "I Toyn and Cattrall, {D M} and McDermid, {J A} and Jacob, {J L}",

year = "1998",

month = jun,

language = "English",

volume = "41",

pages = "161--173",

journal = "Journal of Systems and Software",

publisher = "Elsevier",

number = "3",

}

TY - JOUR

T1 - A practical language and toolkit for high-integrity tools

AU - Toyn, I

AU - Cattrall, D M

AU - McDermid, J A

AU - Jacob, J L

PY - 1998/6

Y1 - 1998/6

N2 - This payer 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. (C) 1998 Elsevier Science Inc. All rights reserved.

AB - This payer 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. (C) 1998 Elsevier Science Inc. All rights reserved.

KW - functional languages

KW - imperative languages

KW - heap storage

KW - algebraic data types

KW - REPRESENTATIONS

KW - SYSTEM

M3 - Article

VL - 41

SP - 161

EP - 173

JO - Journal of Systems and Software

JF - Journal of Systems and Software

IS - 3

ER -