1882 search results - page 62 / 377 » Transformational Programming and Forests |
ICALP
2000
Springer
15 years 1 months ago
2000
Springer
The Unified Modeling Language UML is a rich language so that it seem not feasible to give a single semantics for the complete language in one ste In order to define the semantics,...
EPK
2004
14 years 11 months ago
2004
: Heterogeneous and proprietary interchange formats pose a major problem for business process management. This applies in particular to processes that have been modelled as Event-D...
VMCAI
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We present a multi-pass interprocedural analysis and transformation for the functional aggregate update problem. Our solution handles untyped programs, including unrestri...
APLAS
2006
ACM
15 years 3 months ago
2006
ACM
We give an elementary semantics to an effect system, tracking read and write effects by using relations over a standard extensional semantics for the original language. The seman...
DDECS
2006
IEEE
15 years 3 months ago
2006
IEEE
Abstract— In this paper, we describe a system for transforming a code given in ANSI C into an equivalent SystemC description. In order to synthesize parallel C codes into hardwar...