Step-wise + Algorithmic debugging for Reactive Programs: Ludic, a debugger for Lustre.
Florence MaraninchiFabien GaucherPublished in: AADEBUG (2000)
Keyphrases
- step wise
- programming environment
- java programs
- novice programmers
- hardware designs
- primitive operations
- parallel programming
- program slicing
- relational and xml data
- computer programs
- programs written
- agent architecture
- source code
- programming language
- artificial intelligence
- data sets
- model based diagnosis
- answer sets
- software components
- parallel algorithm
- data types