Using ABC to prototype VDM specifications

1 January 1994

journal article
Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices

Vol. 29 (1) , 27-36
https://doi.org/10.1145/181577.181582

Abstract

ABC is a high-level, easy-to-use imperative language, designed originally as a replacement for BASIC. Although intended primarily as a teaching language, it has many powerful attributes that make it suitable as a language for the rapid prototyping of formal specifications. This paper illustrates how ABC was used to prototype specifications written in the formal specification language of VDM.

Keywords

PROTOTYPE SPECIFICATION
TEACHING LANGUAGE
FORMAL SPECIFICATION
PROTOTYPE VDM SPECIFICATION
POWERFUL ATTRIBUTE
EASY-TO-USE IMPERATIVE LANGUAGE
FORMAL SPECIFICATION LANGUAGE
RAPID PROTOTYPING

This publication has 3 references indexed in Scilit:

Arrays and pointers considered harmful
ACM SIGPLAN Notices, 1992
A short introduction to the ABC language
ACM SIGPLAN Notices, 1991
Rapid prototyping
ACM SIGSOFT Software Engineering Notes, 1982