Personal tools
You are here: Home Invited speakers Virgil Emil Cazanescu

Virgil Emil Cazanescu

University of Bucharest, Romania

Virgil Cazanescu

PROGRAMMING via REWRITING

 Virgil Emil Cazanesc

Bucharest University,
          Faculty of Mathematics and Computer Science
                  

Abstract:
   Programming via rewriting is a part of the declarative programming which is illustrated by the languages: OBJ, Maude, CafeOBJ, CASL and so on. Their operational semantics is based on the term rewriting.
   The first step to define abstract data types is the initial algebra
semantics for order-sorted algebraic specifications.
   The simplest programs are algebraic specifications having some
strong properties: the generated rewriting is confluent and terminating.
   Imports, structured specifications and parametrized programmes are the main tools to get bigger programs from smaller ones.

    

Document Actions