Changes between Version 7 and Version 8 of ccpn
- Timestamp:
- Feb 2, 2019, 11:21:43 PM (6 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
TabularUnified ccpn
v7 v8 7 7 - to be integrated as a [https://www.haskell.org Haskell] library into Haskell programs 8 8 While [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 pur ness and the control of side effects by its strong type system.9 The 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. 10 10 Binding searches are based on the highly optimized Curry evaluation environment of the [https://www-ps.informatik.uni-kiel.de/kics2 KiCS2] compiler. 11 11