bGSL: An imperative language for specification and refinement of backtracking programs.
Steve DunneJoão F. FerreiraAlexandra MendesCampbell RitchieBill StoddartFrank ZeydaPublished in: J. Log. Algebraic Methods Program. (2023)
Keyphrases
- specification language
- dependency directed backtracking
- computer programs
- formal language
- programming language
- language constructs
- agent programming
- search algorithm
- constraint satisfaction
- operational semantics
- natural language
- programming environment
- object oriented languages
- control structures
- provably correct
- formal languages
- high level
- formal specification
- database languages
- language learning
- control program
- action language
- intermediate level
- dynamic logic
- functional programs
- java bytecode
- description languages
- modeling language
- conceptual model
- query language
- database systems