Title :
LFL: a library of generic classes for object-oriented action semantics
Author :
Araújo, Marcelo ; Musicante, Martin A.
Author_Institution :
Dept. of Comput. Sci., Parana Fed. Univ., Curitiba, Brazil
Abstract :
We introduce LFL (language features library), a library composed by generic specification classes written in object-oriented action semantics. Object-oriented action semantics is a new approach to action semantics, in which the notions of class, objects and inheritance are used to facilitate the reuse and extension of programming language specifications. We develop a case study, in which a Java-like programming language is specified in object-oriented action semantics, using the LFL.
Keywords :
Java; formal specification; object-oriented programming; programming language semantics; software libraries; Java-like programming language; LFL; generic specification classes; language features library; object-oriented action semantics; programming language specifications; Computer languages; Computer science; Java; Libraries; Programming profession; Scalability; Societies;
Conference_Titel :
Computer Science Society, 2004. SCCC 2004. 24th International Conference of the Chilean
Print_ISBN :
0-7695-2185-1
DOI :
10.1109/QEST.2004.13
