|
|
|
||||
|
Products |
Download
DANCE v2.02:
Download
DANCE Developer Kit Libraries v2.02:
Download The Java Runtime & Software Development Kit (SDK):
Download The Expander Utilities:
A DANCE compiler transforms DANCE programs into a form executable by Multitude architecture computers. A reference compiler has been constructed that compiles DANCE programs into an intermediate form and draws graphs of DANCE program execution. These execution lattices will help the programmer visualize how their program will be executed. Compilers for sequential languages don't bother drawing such pictures because the underlying von Neumann model of computation is implicitly understood. DANCE program execution graphs are the means I created to reach through an entrenched paradigm to explain that a DANCE program and its execution are precise mathematical objects. A DANCE program is a formula in a temporal logic, that is satisfied by a huge number of state lattices, all of which arrive at the same, proven-correct result. |
|||||||||||||||||||||
|
|
|
|||||||||||||||||||||
|
|
|
Copyright
© 1999-2005 Multitude, Corp. All rights reserved. |