A zoom-declarative debugger for sequential Erlang programs.
Rafael CaballeroEnrique Martin-MartinAdrián RiescoSalvador TamaritPublished in: Sci. Comput. Program. (2015)
Keyphrases
- programming environment
- primitive operations
- knowledge representation
- deductive database systems
- automatic programming
- website
- real time
- computer programs
- answer sets
- provably correct
- declarative knowledge
- intermediate level
- fixpoint
- domain independent
- relational databases
- search algorithm
- e learning
- learning algorithm
- information retrieval