An ML-Like Module System for the Synchronous Language SIGNAL

Authors:
David Nowak;Jean-Pierre Talpin;Thierry Gautier;Paul Le Guernic
Affiliations:
-;-;-;-
Venue:
Euro-Par '97 Proceedings of the Third International Euro-Par Conference on Parallel Processing
Year:
1997

A modular module system

Journal of Functional Programming
Formal Refinement Checking in a System-level Design Methodology

Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'03)
A module system independent of base languages

Proceedings of the 1st Workshop on Modules and Libraries for Proof Assistants
Formal Refinement Checking in a System-level Design Methodology

Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'03)

Hi-index	0.00