DocumentCode
2181851
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
fYear
2004
fDate
11-12 Nov. 2004
Firstpage
39
Lastpage
47
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Science Society, 2004. SCCC 2004. 24th International Conference of the Chilean
Print_ISBN
0-7695-2185-1
Type
conf
DOI
10.1109/QEST.2004.13
Filename
1372103
Link To Document