Changes between Version 5 and Version 6 of FraDeCoPP-3


Ignore:
Timestamp:
Aug 14, 2013, 8:49:01 AM (5 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • FraDeCoPP-3

    v5 v6  
    1919* 14h00-15h00 Rita Loogen (Philipps-Universität Marburg), '''Parallel Functional Programming in Eden'''[[BR]] 
    2020 
    21 * 15h00-16h00 Yolenda Ortega-Mallén (Universidad Complutense de Madrid), '''Formal Semantics for the Parallel Language Eden'''[[BR]] 
     21* 15h00-16h00 Yolanda Ortega-Mallén (Universidad Complutense de Madrid), '''Formal Semantics for the Parallel Language Eden'''[[BR]]We present two formal semantics for the kernel of the parallel language Eden. First we describe an operational semantics expressed as a two-level transition system. Next we present a denotational semantics based on continuations, suitable for dealing with side-effects and parallelism. We end by comparing both approaches. 
    2222 
    2323* 16h00-16h30 '''Pause / Coffee Break'''