An algorithm for generating quantifier scopings
Computational Linguistics
Building domain-specific embedded languages
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Journal of Functional Programming
The problem of logical-form equivalence
Computational Linguistics - Special issue on using large corpora: I
Quantifier scoping in the SRI core language engine
ACL '88 Proceedings of the 26th annual meeting on Association for Computational Linguistics
Expressing quantifier scope in French generation
COLING '88 Proceedings of the 12th conference on Computational linguistics - Volume 1
Bridging the gap between underspecification formalisms: hole semantics as dominance constraints
EACL '03 Proceedings of the tenth conference on European chapter of the Association for Computational Linguistics - Volume 1
Towards abstract categorial grammars
ACL '01 Proceedings of the 39th Annual Meeting on Association for Computational Linguistics
Syntax directed translations and the pushdown assembler
Journal of Computer and System Sciences
| Hi-index | 0.00 |
We describe Prograder, a software package for automatic checking of requirements for programming homework assignments. Prograder lets instructors specify requirements in natural language as well as explains grading results to students in natural language. It does so using a grammar that generates as well as parses to translate between a small fragment of English and a first-order logical specification language that can be executed directly in Python. This execution embodies multiple semantics---both to check the requirement and to search for evidence that proves or disproves the requirement. Such a checker needs to interpret and generate sentences containing quantifiers and negation. To handle quantifier and negation scope, we systematically simulate continuation grammars using record structures in the Grammatical Framework.