Projects



Changes between Version 7 and Version 8 of ccpn


Ignore:
Timestamp:
Feb 2, 2019, 11:21:43 PM (6 years ago)
Author:
9simon
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TabularUnified ccpn

    v7 v8  
    77 - to be integrated as a [https://www.haskell.org Haskell] library into Haskell programs
    88While [https://www.haskell.org Haskell] is used as the implementations language, [http://www.curry-language.org Curry] is used as the inscription language.
    9 The main advantage is that CCPN inscriptions are side effect free due to the Curry's functional purness and the control of side effects by its strong type system.
     9The main advantage is that CCPN inscriptions are side effect free due to the Curry's functional pureness and the control of side effects by its strong type system.
    1010Binding searches are based on the highly optimized Curry evaluation environment of the [https://www-ps.informatik.uni-kiel.de/kics2 KiCS2] compiler.
    1111