Slicing Concurrent Constraint Programs.
Moreno FalaschiMaurizio GabbrielliCarlos OlarteCatuscia PalamidessiPublished in: CoRR (2016)
Keyphrases
- program slicing
- concurrent programs
- concurrent programming
- neural network
- image sequences
- data structure
- information technology
- answer sets
- soft constraints
- fixpoint
- penalty function
- intermediate level
- automatic programming
- fault localization
- mutual exclusion
- description languages
- runtime environment
- multi agent
- database