2010
DOI: 10.1007/978-3-642-14521-6_9
|View full text |Cite
|
Sign up to set email alerts
|

UTP Semantics for Handel-C

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1

Citation Types

0
3
0

Year Published

2013
2013
2017
2017

Publication Types

Select...
6

Relationship

4
2

Authors

Journals

citations
Cited by 9 publications
(3 citation statements)
references
References 8 publications
0
3
0
Order By: Relevance
“…The UTP research agenda has as its ultimate goal to cover all the interesting paradigms of computing, including both declarative and procedural, hardware and software. It presents a theoretical foundation for understanding software and systems engineering, and has been already been exploited in areas such as hardware ( [23,39]), hardware/software co-design ( [6]) and component-based systems ( [38]). But it also presents an opportunity when constructing new languages, especially ones with heterogeneous paradigms and techniques.…”
Section: Preliminariesmentioning
confidence: 99%
“…The UTP research agenda has as its ultimate goal to cover all the interesting paradigms of computing, including both declarative and procedural, hardware and software. It presents a theoretical foundation for understanding software and systems engineering, and has been already been exploited in areas such as hardware ( [23,39]), hardware/software co-design ( [6]) and component-based systems ( [38]). But it also presents an opportunity when constructing new languages, especially ones with heterogeneous paradigms and techniques.…”
Section: Preliminariesmentioning
confidence: 99%
“…Hoare and He's Unifying Theories of Programming (UTP) has been designed as a framework in which the integration of languages, through the common semantic domain of the alphabetised relation calculus, can be achieved. Semantic models for discrete modelling languages in UTP are already numerous [26,13,36,30], and, therefore, in this paper we focus on semantics of continuous models in the Modelica language.…”
Section: Introductionmentioning
confidence: 99%
“…UTP has been applied to theories from a wide area of computer science, including process calculi, object orientation, and real-time systems. It provides the basis for the Circus [25] specification language, which unifies Z, CSP, and refinement calculi, and has been used to formalise the semantics of a number of languages, such as Safety-Critical Java [6], Handel-C [21], and SysML [26], a multi-paradigm modelling notation.…”
Section: Introductionmentioning
confidence: 99%