A sequentially constructive circuit semantics for Esterel Article Swipe

PDF

Alexander Schulz-Rosengarten , Steven Smyth , Reinhard von Hanxleden , Michael Mendler ·

YOU? · · 2018 · Open Access · · DOI: https://doi.org/10.21941/bii/1801

Static Single Assignment (SSA) is an established concept that facilitates various program optimizations. However, it is typically restricted to sequential programming. We present an approach that extends SSA for concurrent, reactive programming, specifically for the synchronous language Esterel. This extended SSA transformation expands the class of programs that can be compiled by existing Esterel compilers without causality problems. It also offers a new, efficient solution for the well-studied signal reincarnation problem. Finally, our approach rules out speculation/backtracking, unlike the recently proposed sequentially constructive model of computation.

Related Topics

2025 Fide Circuit

Circuit De Spa-Francorchamps

Silverstone Circuit

Integrated Circuit

United States Court Of Appeals For The Ninth Circuit

Printed Circuit Board

Short Circuit (1986 Film)

Monza Circuit

Closed-Circuit Television

2024 Fide Circuit

Circuit De La Sarthe

United States Court Of Appeals For The Fourth Circuit

Concepts

No concepts available.

Metadata

Type: report
Language: en
Landing Page: https://doi.org/10.21941/bii/1801
PDF: https://macau.uni-kiel.de/servlets/MCRFileNodeServlet/macau_derivate_00003088/tr-1801.pdf
OA Status: gold
OpenAlex ID: https://openalex.org/W4415227832

All OpenAlex metadata

Raw OpenAlex JSON

OpenAlex ID: https://openalex.org/W4415227832

Canonical identifier for this work in OpenAlex
DOI: https://doi.org/10.21941/bii/1801

Digital Object Identifier
Title: A sequentially constructive circuit semantics for Esterel

Work title
Type: report

OpenAlex work type
Language: en

Primary language
Publication year: 2018

Year of publication
Publication date: 2018-03-01

Full publication date if available
Authors: Alexander Schulz-Rosengarten, Steven Smyth, Reinhard von Hanxleden, Michael Mendler

List of authors in order
Landing page: https://doi.org/10.21941/bii/1801

Publisher landing page
PDF URL: https://macau.uni-kiel.de/servlets/MCRFileNodeServlet/macau_derivate_00003088/tr-1801.pdf

Direct link to full text PDF
Open access: Yes

Whether a free full text is available
OA status: gold

Open access status per OpenAlex
OA URL: https://macau.uni-kiel.de/servlets/MCRFileNodeServlet/macau_derivate_00003088/tr-1801.pdf

Direct OA link when available
Cited by: 0

Total citation count in OpenAlex

Full payload

id	https://openalex.org/W4415227832
doi	https://doi.org/10.21941/bii/1801
ids.doi	https://doi.org/10.21941/bii/1801
ids.openalex	https://openalex.org/W4415227832
fwci
type	report
title	A sequentially constructive circuit semantics for Esterel
biblio.issue
biblio.volume
biblio.last_page
biblio.first_page
topics[0].id	https://openalex.org/T11450
topics[0].field.id	https://openalex.org/fields/17
topics[0].field.display_name	Computer Science
topics[0].score	0.9541000127792358
topics[0].domain.id	https://openalex.org/domains/3
topics[0].domain.display_name	Physical Sciences
topics[0].subfield.id	https://openalex.org/subfields/1712
topics[0].subfield.display_name	Software
topics[0].display_name	Model-Driven Software Engineering Techniques
topics[1].id	https://openalex.org/T10904
topics[1].field.id	https://openalex.org/fields/17
topics[1].field.display_name	Computer Science
topics[1].score	0.9474999904632568
topics[1].domain.id	https://openalex.org/domains/3
topics[1].domain.display_name	Physical Sciences
topics[1].subfield.id	https://openalex.org/subfields/1708
topics[1].subfield.display_name	Hardware and Architecture
topics[1].display_name	Embedded Systems Design Techniques
topics[2].id	https://openalex.org/T10142
topics[2].field.id	https://openalex.org/fields/17
topics[2].field.display_name	Computer Science
topics[2].score	0.9208999872207642
topics[2].domain.id	https://openalex.org/domains/3
topics[2].domain.display_name	Physical Sciences
topics[2].subfield.id	https://openalex.org/subfields/1703
topics[2].subfield.display_name	Computational Theory and Mathematics
topics[2].display_name	Formal Methods in Verification
is_xpac	False
apc_list
apc_paid
language	en
locations[0].id	doi:10.21941/bii/1801
locations[0].is_oa	True
locations[0].source
locations[0].license
locations[0].pdf_url	https://macau.uni-kiel.de/servlets/MCRFileNodeServlet/macau_derivate_00003088/tr-1801.pdf
locations[0].version	publishedVersion
locations[0].raw_type	report
locations[0].license_id
locations[0].is_accepted	True
locations[0].is_published	True
locations[0].raw_source_name	Bericht des Instituts für Informatik
locations[0].landing_page_url	https://doi.org/10.21941/bii/1801
indexed_in	crossref
authorships[0].author.id	https://openalex.org/A5017216243
authorships[0].author.orcid	https://orcid.org/0000-0002-1494-8631
authorships[0].author.display_name	Alexander Schulz-Rosengarten
authorships[0].countries	DE
authorships[0].affiliations[0].institution_ids	https://openalex.org/I32021983
authorships[0].affiliations[0].raw_affiliation_string	Christian-Albrechts-Universität zu Kiel
authorships[0].institutions[0].id	https://openalex.org/I32021983
authorships[0].institutions[0].ror	https://ror.org/04v76ef78
authorships[0].institutions[0].type	education
authorships[0].institutions[0].lineage	https://openalex.org/I32021983
authorships[0].institutions[0].country_code	DE
authorships[0].institutions[0].display_name	Christian-Albrechts-Universität zu Kiel
authorships[0].author_position	first
authorships[0].raw_author_name	Alexander Schulz-Rosengarten
authorships[0].is_corresponding	False
authorships[0].raw_affiliation_strings	Christian-Albrechts-Universität zu Kiel
authorships[1].author.id	https://openalex.org/A5040819930
authorships[1].author.orcid	https://orcid.org/0000-0003-2470-0880
authorships[1].author.display_name	Steven Smyth
authorships[1].countries	DE
authorships[1].affiliations[0].institution_ids	https://openalex.org/I32021983
authorships[1].affiliations[0].raw_affiliation_string	Christian-Albrechts-Universität zu Kiel
authorships[1].institutions[0].id	https://openalex.org/I32021983
authorships[1].institutions[0].ror	https://ror.org/04v76ef78
authorships[1].institutions[0].type	education
authorships[1].institutions[0].lineage	https://openalex.org/I32021983
authorships[1].institutions[0].country_code	DE
authorships[1].institutions[0].display_name	Christian-Albrechts-Universität zu Kiel
authorships[1].author_position	middle
authorships[1].raw_author_name	Steven Smyth
authorships[1].is_corresponding	False
authorships[1].raw_affiliation_strings	Christian-Albrechts-Universität zu Kiel
authorships[2].author.id	https://openalex.org/A5029982033
authorships[2].author.orcid	https://orcid.org/0000-0001-5691-1215
authorships[2].author.display_name	Reinhard von Hanxleden
authorships[2].countries	DE
authorships[2].affiliations[0].institution_ids	https://openalex.org/I32021983
authorships[2].affiliations[0].raw_affiliation_string	Christian-Albrechts-Universität zu Kiel
authorships[2].institutions[0].id	https://openalex.org/I32021983
authorships[2].institutions[0].ror	https://ror.org/04v76ef78
authorships[2].institutions[0].type	education
authorships[2].institutions[0].lineage	https://openalex.org/I32021983
authorships[2].institutions[0].country_code	DE
authorships[2].institutions[0].display_name	Christian-Albrechts-Universität zu Kiel
authorships[2].author_position	middle
authorships[2].raw_author_name	Reinhard von Hanxleden
authorships[2].is_corresponding	False
authorships[2].raw_affiliation_strings	Christian-Albrechts-Universität zu Kiel
authorships[3].author.id	https://openalex.org/A5056710976
authorships[3].author.orcid	https://orcid.org/0000-0001-9562-0576
authorships[3].author.display_name	Michael Mendler
authorships[3].countries	DE
authorships[3].affiliations[0].institution_ids	https://openalex.org/I94626330
authorships[3].affiliations[0].raw_affiliation_string	University of Bamberg
authorships[3].institutions[0].id	https://openalex.org/I94626330
authorships[3].institutions[0].ror	https://ror.org/01c1w6d29
authorships[3].institutions[0].type	education
authorships[3].institutions[0].lineage	https://openalex.org/I94626330
authorships[3].institutions[0].country_code	DE
authorships[3].institutions[0].display_name	University of Bamberg
authorships[3].author_position	last
authorships[3].raw_author_name	Michael Mendler
authorships[3].is_corresponding	False
authorships[3].raw_affiliation_strings	University of Bamberg
has_content.pdf	True
has_content.grobid_xml	False
is_paratext	False
open_access.is_oa	True
open_access.oa_url	https://macau.uni-kiel.de/servlets/MCRFileNodeServlet/macau_derivate_00003088/tr-1801.pdf
open_access.oa_status	gold
open_access.any_repository_has_fulltext	False
created_date	2025-10-16T00:00:00
display_name	A sequentially constructive circuit semantics for Esterel
has_fulltext	False
is_retracted	False
updated_date	2025-11-06T03:46:38.306776
primary_topic.id	https://openalex.org/T11450
primary_topic.field.id	https://openalex.org/fields/17
primary_topic.field.display_name	Computer Science
primary_topic.score	0.9541000127792358
primary_topic.domain.id	https://openalex.org/domains/3
primary_topic.domain.display_name	Physical Sciences
primary_topic.subfield.id	https://openalex.org/subfields/1712
primary_topic.subfield.display_name	Software
primary_topic.display_name	Model-Driven Software Engineering Techniques
cited_by_count	0
locations_count	1
best_oa_location.id	doi:10.21941/bii/1801
best_oa_location.is_oa	True
best_oa_location.source
best_oa_location.license
best_oa_location.pdf_url	https://macau.uni-kiel.de/servlets/MCRFileNodeServlet/macau_derivate_00003088/tr-1801.pdf
best_oa_location.version	publishedVersion
best_oa_location.raw_type	report
best_oa_location.license_id
best_oa_location.is_accepted	True
best_oa_location.is_published	True
best_oa_location.raw_source_name	Bericht des Instituts für Informatik
best_oa_location.landing_page_url	https://doi.org/10.21941/bii/1801
primary_location.id	doi:10.21941/bii/1801
primary_location.is_oa	True
primary_location.source
primary_location.license
primary_location.pdf_url	https://macau.uni-kiel.de/servlets/MCRFileNodeServlet/macau_derivate_00003088/tr-1801.pdf
primary_location.version	publishedVersion
primary_location.raw_type	report
primary_location.license_id
primary_location.is_accepted	True
primary_location.is_published	True
primary_location.raw_source_name	Bericht des Instituts für Informatik
primary_location.landing_page_url	https://doi.org/10.21941/bii/1801
publication_date	2018-03-01
publication_year	2018
referenced_works_count	0
abstract_inverted_index.a	61
abstract_inverted_index.It	58
abstract_inverted_index.We	21
abstract_inverted_index.an	5, 23
abstract_inverted_index.be	49
abstract_inverted_index.by	51
abstract_inverted_index.is	4, 15
abstract_inverted_index.it	14
abstract_inverted_index.of	45, 84
abstract_inverted_index.to	18
abstract_inverted_index.SSA	27, 40
abstract_inverted_index.can	48
abstract_inverted_index.for	28, 33, 65
abstract_inverted_index.our	72
abstract_inverted_index.out	75
abstract_inverted_index.the	34, 43, 66, 78
abstract_inverted_index.This	38
abstract_inverted_index.also	59
abstract_inverted_index.new,	62
abstract_inverted_index.that	8, 25, 47
abstract_inverted_index.(SSA)	3
abstract_inverted_index.class	44
abstract_inverted_index.model	83
abstract_inverted_index.rules	74
abstract_inverted_index.Single	1
abstract_inverted_index.Static	0
abstract_inverted_index.offers	60
abstract_inverted_index.signal	68
abstract_inverted_index.unlike	77
abstract_inverted_index.Esterel	53
abstract_inverted_index.concept	7
abstract_inverted_index.expands	42
abstract_inverted_index.extends	26
abstract_inverted_index.present	22
abstract_inverted_index.program	11
abstract_inverted_index.various	10
abstract_inverted_index.without	55
abstract_inverted_index.Esterel.	37
abstract_inverted_index.Finally,	71
abstract_inverted_index.However,	13
abstract_inverted_index.approach	24, 73
abstract_inverted_index.compiled	50
abstract_inverted_index.existing	52
abstract_inverted_index.extended	39
abstract_inverted_index.language	36
abstract_inverted_index.problem.	70
abstract_inverted_index.programs	46
abstract_inverted_index.proposed	80
abstract_inverted_index.reactive	30
abstract_inverted_index.recently	79
abstract_inverted_index.solution	64
abstract_inverted_index.causality	56
abstract_inverted_index.compilers	54
abstract_inverted_index.efficient	63
abstract_inverted_index.problems.	57
abstract_inverted_index.typically	16
abstract_inverted_index.Assignment	2
abstract_inverted_index.restricted	17
abstract_inverted_index.sequential	19
abstract_inverted_index.concurrent,	29
abstract_inverted_index.established	6
abstract_inverted_index.facilitates	9
abstract_inverted_index.synchronous	35
abstract_inverted_index.computation.	85
abstract_inverted_index.constructive	82
abstract_inverted_index.programming,	31
abstract_inverted_index.programming.	20
abstract_inverted_index.sequentially	81
abstract_inverted_index.specifically	32
abstract_inverted_index.well-studied	67
abstract_inverted_index.reincarnation	69
abstract_inverted_index.optimizations.	12
abstract_inverted_index.transformation	41
abstract_inverted_index.speculation/backtracking,	76
cited_by_percentile_year
countries_distinct_count	1
institutions_distinct_count	4
citation_normalized_percentile