Abstract
ULg Research Unit in Networking RUN
Abstract


VLib: Infinite virtual libraries for LOTOS

C. Pecheur1

1 Research unit in Networking, EECS department, University of Liège, Belgium

(1993)

Abstract

This paper introduces VLib, an extension to LOTOS that eases the specification of data types. It allows the definition and use of virtual libraries containing an infinite number of data types. The extraction of a working finite subset for a particular application is also considered. After a general introduction to LOTOS data specification issues, the extension is explained and formally defined. A prototype tool implementing the extraction operation is described, and a specification discipline is proposed that benefits from the provided gain of functionality.

Keywords

languages constructs and features, processors, programming languages

[ Home | People | Research Topics | Projects | Publications | IFIP WG 6.1 | Events and Conferences | CSS | How to Reach Us ]

Editor: - G. Leduc -
Webmaster: - RUN Admin -
Still running IPv4 at: 52.15.179.198... RUN | Montefiore | ULg
© 2000-2025.