Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 
Volume 13 / Issue 6

available in:   PDF (174 kB) PS (141 kB)
 
get:  
Similar Docs BibTeX   Write a comment
  
get:  
Links into Future
 
DOI:   10.3217/jucs-013-06-0891

 

Using Visitor Patterns in Object-Oriented Action Semantics

André Murbach Maidl (Federal University of Paraná, Brazil)

Cláudio Carvilhe (Federal University of Paraná, Brazil)

Martin A. Musicante (Federal University of Rio Grande do Norte, Brazil)

Abstract: Object-Oriented Action Semantics is a semantic framework for the definition of programming languages. The framework incorporates some object-oriented concepts to the Action Semantics formalism. Its main goal is to obtain more readable and reusable semantic specifications. ObjectOriented Action Semantics provides support for the definition of syntax-independent specifications, due to the way its classes are written. In a previous work, a library of classes (called LFL) was developed to improve specification reuse and to provide a way to describe semantic concepts, independent from the syntax of the programming language. This paper aims to address some problematic aspects of LFL, and presents a case study, where a specification is built by using the Visitor Pattern technique. The use of this pattern allows a clear separation between the syntax of a programming language and its different semantic aspects.

Keywords: action semantics, formal semantics, object-oriented

Categories: D.1.5, F.3.2