An object-based extension of the Janus language and its formal specification
Date of Publication
1995
Document Type
Master's Thesis
Degree Name
Master of Science in Computer Science
Subject Categories
Computer Sciences
College
College of Computer Studies
Department/Unit
Computer Science
Thesis Adviser
Dr. Arnulfo Azcarraga
Defense Panel Chair
Kelsey Hartigan Go
Defense Panel Member
Dr. Harry Joson
Peter Fernandez
Abstract/Summary
The Janus programming language was designed for children of ages seven to eleven. This language supports turtle graphics, control statements, recursion, animation, text display, and music generation. To provide for a convenient user interface, a programming environment had been developed. All these have been previously accomplished without any formal study of the syntax and semantics of the language. This present work formally specifies the syntax and semantics of the Janus language, with the intention of uncovering certain poor features of the language. The syntax of the language is defined in Backus-Naur Form while the semantics of the language is formally specified using the RAISE Specification Language (RSL). The formal specification of the language has in fact led to the discovery of a number of constructs that violate the principles of orthogonality, syntactic consistency, expressivity, support for abstraction, simplicity and self-documentation. These are the principles that contribute to the overall readability and writability of the language. The poor features of Janus were removed and certain constructs were modified. For these specifications, a whole new set of formal specifications are likewise presented. Furthermore, the Janus language was extended to include the notion of objects . This extension was likewise subjected to the same specification formalism to ensure that it is consistent with the other similarly specified features of the language.
Abstract Format
html
Language
English
Format
Accession Number
TG02417
Shelf Location
Archives, The Learning Commons, 12F Henry Sy Sr. Hall
Physical Description
115, 13 leaves; 28 cm.
Keywords
Computer programs; Programming languages (Electronic computers) -- Semantics; Programming (Electronic computers)
Recommended Citation
Jumig, J. C. (1995). An object-based extension of the Janus language and its formal specification. Retrieved from https://animorepository.dlsu.edu.ph/etd_masteral/1677