Old Web
English
Sign In
Acemap
>
Paper
>
Step-wise + Algorithmic debugging for Reactive Programs: Ludic, a debugger for Lustre.
Step-wise + Algorithmic debugging for Reactive Programs: Ludic, a debugger for Lustre.
2000
Florence Maraninchi
Fabien Gaucher
Keywords:
Algorithmic program debugging
Semantics of logic
Programming language
Debugger
Reactive system
Computer science
Formal verification
Lustre (mineralogy)
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
6
Citations
NaN
KQI
[]