The SLRS synchronous imperative programming language

TitleThe SLRS synchronous imperative programming language
Publication TypeJournal Article
Year of Publication2000
AuthorsTodorova M
JournalAnnuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique
Volume92
IssueLivre 2 - Mathématiques Appliquée et Informatique
Pagination75-86
ISSN0205-0808
Keywordsreactive system, real time process, synchronous language
Abstract

This paper describes the synchronous imperative programming language SLRS. After a brief overview of the language we define its behavioural semantics.

1991/95 MSC

main 68N15, secondary 68Q15

AttachmentSize
PDF icon 92-075-086.pdf939.91 KB