1 |
Formal Semantics, Compilation and Execution of the GALS Programming Language DSystemJ
|
|
|
|
In: ISSN: 1045-9219 ; IEEE Transactions on Parallel and Distributed Systems ; https://hal.inria.fr/hal-00777730 ; IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2012, 23 (7), pp.1240--1254 (2012)
|
|
BASE
|
|
Show details
|
|
2 |
The DSystemJ programming language for dynamic GALS systems: it's semantics, compilation, implementation, and run-time system
|
|
|
|
In: https://hal.inria.fr/inria-00505085 ; [Research Report] RR-7346, INRIA. 2010 (2010)
|
|
BASE
|
|
Show details
|
|
3 |
SystemJ: A GALS Language for System Level Design
|
|
|
|
In: ISSN: 1477-8424 ; Computer Languages, Systems and Structures ; https://hal.inria.fr/hal-00753512 ; Computer Languages, Systems and Structures, Elsevier, 2010, 36 (4), pp.317--344. ⟨10.1016/j.cl.2010.01.001⟩ (2010)
|
|
BASE
|
|
Show details
|
|
|
|