Synchronous Programs Testing Language (SPTL).
Mouna Tka MnadChristophe DeleuzeIoannis ParissisPublished in: ICCSA (1) (2014)
Keyphrases
- computer programs
- control structures
- programming environment
- concurrent programs
- agent programming
- programming language
- symbolic execution
- language learning
- intermediate level
- natural language
- object oriented languages
- operational semantics
- relational databases
- concurrent programming
- dynamic logic
- turing machine
- artificial intelligence
- object oriented programming
- language processing
- modeling language
- java bytecode
- error handling
- english language
- database languages
- declarative semantics
- language constructs
- database
- answer sets
- information retrieval