<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

Operational Semantics with Hierarchical Abstract Syntax Graphs

Name: Operational Semantics with Hierarchical Abstract Syntax Graphs
Creator: Dan R. Ghica
Keywords: FOS: Computer and information sciences, Computer Science - Programming Languages, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Programming Languages (cs.PL)

descriptionPublicationkeyboard_double_arrow_right Article , Preprint , Other literature type 08 Feb 2021Embargo end date: 01 Jan 2021Publisher:Open Publishing AssociationJournal:Electronic Proceedings in Theoretical Computer Science, volume 334, pages 1-10 (eissn: 2075-2180,

Authors: Dan R. Ghica;

doi: 10.4204/eptcs.334.1 , 10.48550/arxiv.2102.02363

arXiv: http://arxiv.org/abs/2102.02363

Operational Semantics with Hierarchical Abstract Syntax Graphs

- Summary
- Subjects
- Related research
  (2)
- Metrics

Abstract

This is a motivating tutorial introduction to a semantic analysis of programming languages using a graphical language as the representation of terms, and graph rewriting as a representation of reduction rules. We show how the graphical language automatically incorporates desirable features, such as alpha-equivalence and how it can describe pure computation, imperative store, and control features in a uniform framework. The graph semantics combines some of the best features of structural operational semantics and abstract machines, while offering powerful new methods for reasoning about contextual equivalence. All technical details are available in an extended technical report by Muroya and the author and in Muroya's doctoral dissertation.

In Proceedings TERMGRAPH 2020, arXiv:2102.01804

Related Organizations

University of Birmingham
United Kingdom
Huawei Technologies (China)
China (People's Republic of)

Keywords

FOS: Computer and information sciences, Computer Science - Programming Languages, Programming Languages (cs.PL)

2 Research products, page 1 of 1

Global asymptotic stability beyond 3/2 type stability for a logistic equation with piecewise constant arguments
2010IsAmongTopNSimilarDocuments
New contractivity condition in a population model with piecewise constant arguments
2008IsAmongTopNSimilarDocuments

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).	0
	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).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average