Changes between Version 47 and Version 48 of WikiStart
- Timestamp:
- Jun 9, 2015, 2:47:23 PM (3 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
WikiStart
v47 v48 3 3 = Welcome to SDPP Home Page = 4 4 5 SDPP is a framework for Systematic Development of Parallel Programs.6 5 7 We use the [http://coq.inria.fr Coq] proof assistant for systematically derive Bulk Synchronous Parallel ML (or [https://traclifo.univ-orleans.fr/BSML BSML]) programs. 6 '''SDPP is now part of the [http://traclifo.univ-orleans.fr/SyDPaCC SyDPaCC] project.''' 7 8 8 9 9