Homepage>Publikationen>PublikationsDetail

Application and Formal Specification of Sorted Term-Position Algebras

In: Jose L. Fiadeiroed., 17th International Workshop on Recent Trends in Algebraic Development Techniques, WADT 2004, Barcelona, Spain. LNCS, volume 3423, p. 201--217, March, 2004

Authors

Arnd Poetzsch-Heffter
Nicole Rauch

Abstract

Sorted term-position algebras are an extension of term algebras. In addition to sorted terms with constructor and selector functions, they provide term positions as algebra elements and functions that relate term positions. This paper describes possible applications of term-position algebras and investigates their formal specification in existing specification frameworks. In particular, it presents an algebraic specification of term-positions in Casl and in a higher-order logic.

Full Text

PDF: wadt04.pdf
PS.GZ: wadt04.ps.gz

BibTeX

@InProceedings{Poetzsch-Heffter.Rauch04application, 
   author = {Arnd Poetzsch-Heffter and Nicole Rauch}
   title = {Application and Formal Specification of Sorted Term-Position Algebras},
   booktitle = {17th International Workshop on Recent Trends in Algebraic Development Techniques, WADT 2004, Barcelona, Spain},
   series = {LNCS},
   publisher = {Springer},
   pages = {201--217},
   month = {March},
   year = {2004},
}

Einloggen