Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics | Zendy

Dan Dougherty | Zendy; Pierre Lescanne | Zendy; Luigi Liquori | Zendy; Frédéric Lang | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics

Author(s) -

Dan Dougherty,

Pierre Lescanne,

Luigi Liquori,

Frédéric Lang

Publication year - 2005

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2004.12.042

Subject(s) - rewriting , computer science , programming language , operational semantics , term (time) , syntax , semantics (computer science) , formalism (music) , pragmatics , functional programming , confluence , theoretical computer science , linguistics , artificial intelligence , musical , art , philosophy , physics , quantum mechanics , visual arts

International audienceWe present a formalism called Addressed Term Rewriting Systems, which can be used to define the operational semantics of programming languages, especially those involving sharing, recursive computations and cyclic data structures. Addressed Term Rewriting Systems are therefore well suited for describing object-based languages, as for instance the family of languages called λObj^a, involving both functional and object-based features

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research