<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

Forkable Regular Expressions

descriptionPublicationkeyboard_double_arrow_right Part of book or chapter of book , Article , Preprint 01 Jan 2016Embargo end date: 01 Jan 2015 Germany Publisher:Springer International Publishing

Authors: Sulzmann, Martin; Thiemann, Peter;

doi: 10.1007/978-3-319-30000-9_15 , 10.48550/arxiv.1510.07293

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

Forkable Regular Expressions

- Summary
- Subjects
- Metrics

Abstract

We consider forkable regular expressions, which enrich regular expressions with a fork operator, to establish a formal basis for static and dynamic analysis of the communication behavior of concurrent programs. We define a novel compositional semantics for forkable expressions, establish their fundamental properties, and define derivatives for them as a basis for the generation of automata, for matching, and for language containment tests. Forkable expressions may give rise to non-regular languages, in general, but we identify sufficient conditions on expressions that guarantee finiteness of the automata construction via derivatives.

12 pages plus technical appendix, to appear in LATA 2016

Country

Germany

Related Organizations

Karlsruhe University of Applied Sciences
Germany
University of Freiburg
Germany

Keywords

FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, Formal Languages and Automata Theory (cs.FL), Computer Science - Formal Languages and Automata Theory, Logic in Computer Science (cs.LO), Programming Languages (cs.PL)

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).	4
	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