2007
DOI: 10.1007/978-3-540-76650-6_16
|View full text |Cite
|
Sign up to set email alerts
|

A Denotational Semantics for Handel-C Hardware Compilation

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1

Citation Types

0
4
0

Year Published

2009
2009
2017
2017

Publication Types

Select...
4
2

Relationship

3
3

Authors

Journals

citations
Cited by 6 publications
(4 citation statements)
references
References 11 publications
0
4
0
Order By: Relevance
“…As in [10], we define two auxiliary functions: ΔEnv : env → Action → env and f lattenEnv : env → env. The former updates the environment according to the action passed as argument by means of rewriting the appropriate function using λ-abstractions.…”
Section: Pruningmentioning
confidence: 99%
See 3 more Smart Citations
“…As in [10], we define two auxiliary functions: ΔEnv : env → Action → env and f lattenEnv : env → env. The former updates the environment according to the action passed as argument by means of rewriting the appropriate function using λ-abstractions.…”
Section: Pruningmentioning
confidence: 99%
“…The existing denotational semantics for the synthesis process [10] is based on the notion of "branching sequences", where non-branching sequences denote the execution of actions in which no information from the persistent part of the state (i.e., memory locations) is required. Branching nodes, on the other hand, model a choice point (such as the condition in a while construct), where the state must be accessed in order to evaluate the condition.…”
Section: The Semantic Modelmentioning
confidence: 99%
See 2 more Smart Citations