Dune is a procedural programming language designed in 2008. It implements in an original way the design by contract paradigm, by introducing new concepts such as ghost variables and ghost instructions.

Project Samples

Project Activity

See All Activity >

Categories

Compilers

License

BSD License

Follow dune

dune Web Site

You Might Also Like
Employee monitoring software with screenshots Icon
Employee monitoring software with screenshots

Clear visibility and insights into how employees work. Even remotely.

Stay productive working at any distance from anywhere with Monitask.
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of dune!

Additional Project Details

Languages

French, English

Intended Audience

Developers

User Interface

Command-line

Programming Language

C++

Related Categories

C++ Compilers

Registered

2009-01-14