Back to Results
First PageMeta Content
Theoretical computer science / Logic in computer science / Software engineering / Computer science / Hardware description languages / Synchronous programming languages / Formal methods / Denotational semantics / Esterel / Robin Milner / Milner / Logic for Computable Functions


Reconciling Semantics, Implementation and Users Gérard Berry INRIA Sophia-Antipolis http://www-sop.inria.fr/Gerard.Berry
Add to Reading List

Document Date: 2012-10-10 03:52:00


Open Document

File Size: 1,07 MB

Share Result on Facebook