1. Home
  2. Computer
  3. Programmin­g
  4. HasCASL DFG Project

Computer · Programmin­g

HasCASL DFG Project

Listed in the directory · updated 20 Jul 2022

Visit website

Find them on

Share

About HasCASL DFG Project

HasCASL DFG Project- Algebraic Specification + Functional Programming = Environment for Formal Software Development. An extension of CASL that establishes a connection with the functional programming language Haskell.

Tags

Sisal

Where it sits

Computer Programmin­g

More in Programmin­g

See all →