<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=undefined&type=result"></script>');
-->
</script>

COPY SCRIPT

For further information contact us at helpdesk@openaire.eu

Nominal logic programming

descriptionPublicationkeyboard_double_arrow_right Article , Preprint , Other literature type 01 Aug 2008Embargo end date: 01 Jan 2006 United Kingdom English Publisher:Association for Computing Machinery (ACM)Journal:ACM Transactions on Programming Languages and Systems, volume 30, pages 1-47 (issn: 0164-0925, eissn: 1558-4593,

Authors: Cheney, James; Urban, Christian;

doi: 10.1145/1387673.1387675 , 10.48550/arxiv.cs/0609062

arXiv: http://arxiv.org/abs/cs/0609062

handle: 1842/4608

Nominal logic programming

- Summary
- Subjects
- Metrics

Abstract

Nominal logic is an extension of first-order logic which provides a simple foundation for formalizing and reasoning about abstract syntax modulo consistent renaming of bound names (that is, α-equivalence). This article investigates logic programming based on nominal logic. We describe some typical nominal logic programs, and develop the model-theoretic, proof-theoretic, and operational semantics of such programs. Besides being of interest for ensuring the correct behavior of implementations, these results provide a rigorous foundation for techniques for analysis and reasoning about nominal logic programs, as we illustrate via examples.

Country

United Kingdom

Related Organizations

University of Edinburgh
United Kingdom
Technical University of Munich
Germany
King's College London, University of London
King's College London
United Kingdom

Keywords

FOS: Computer and information sciences, D.1.6; F.3.2; F.4.1, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, D.1.6, F.3.2, F.4.1, Programming Languages (cs.PL), Logic in Computer Science (cs.LO)

Impact byBIP!

	citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	43
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Top 10%
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Top 10%