A Practical View on Renaming

A Practical View on Renaming

We revisit variable renaming from a practitioner's point of view, presenting concepts we found useful in dealing with operational semantics of pure Prolog. A concept of relaxed core representation is introduced, upon which a concept of prenaming is built. Prenaming formalizes the intuitive p...

Full description

Bibliographic Details
Main Author: Marija Kulaš
Format: Article
Language:English
Published: Open Publishing Association 2017-01-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1701.00624v1
id doaj-23487415f29640dfa04d99b31fdd6c75
record_format Article
spelling doaj-23487415f29640dfa04d99b31fdd6c752020-11-25T00:30:23ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802017-01-01234Proc. WLP 2015/'16/WFLP'16274110.4204/EPTCS.234.3:105A Practical View on RenamingMarija KulašWe revisit variable renaming from a practitioner's point of view, presenting concepts we found useful in dealing with operational semantics of pure Prolog. A concept of relaxed core representation is introduced, upon which a concept of prenaming is built. Prenaming formalizes the intuitive practice of renaming terms by just considering the necessary bindings, where now some passive "bindings" x/x may be necessary as well. As an application, a constructive version of variant lemma for implemented Horn clause logic has been obtained. There, prenamings made it possible to incrementally handle new (local) variables.http://arxiv.org/pdf/1701.00624v1
collection DOAJ
language English
format Article
sources DOAJ
author Marija Kulaš
spellingShingle Marija Kulaš
A Practical View on Renaming
Electronic Proceedings in Theoretical Computer Science
author_facet Marija Kulaš
author_sort Marija Kulaš
title A Practical View on Renaming
title_short A Practical View on Renaming
title_full A Practical View on Renaming
title_fullStr A Practical View on Renaming
title_full_unstemmed A Practical View on Renaming
title_sort practical view on renaming
publisher Open Publishing Association
series Electronic Proceedings in Theoretical Computer Science
issn 2075-2180
publishDate 2017-01-01
description We revisit variable renaming from a practitioner's point of view, presenting concepts we found useful in dealing with operational semantics of pure Prolog. A concept of relaxed core representation is introduced, upon which a concept of prenaming is built. Prenaming formalizes the intuitive practice of renaming terms by just considering the necessary bindings, where now some passive "bindings" x/x may be necessary as well. As an application, a constructive version of variant lemma for implemented Horn clause logic has been obtained. There, prenamings made it possible to incrementally handle new (local) variables.
url http://arxiv.org/pdf/1701.00624v1
work_keys_str_mv AT marijakulas apracticalviewonrenaming
AT marijakulas practicalviewonrenaming
_version_ 1725326943428018176

Similar Items