ACM Transactions on Programming Languages and Systems (TOPLAS)
Transition network grammars for natural language analysis
Communications of the ACM
Automatic generation of efficient lexical processors using finite state techniques
Communications of the ACM
Principles of Programming Languages
Principles of Programming Languages
Formal Specifications of Programming Language: A Panoramic Primer
Formal Specifications of Programming Language: A Panoramic Primer
The Definition of Programming Languages
The Definition of Programming Languages
The Denotational Description of Programming Languages: An Introduction
The Denotational Description of Programming Languages: An Introduction
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Understanding Natural Language
Understanding Natural Language
A Theory of Programming Language Semantics
A Theory of Programming Language Semantics
Principles of Compiler Design (Addison-Wesley series in computer science and information processing)
Principles of Compiler Design (Addison-Wesley series in computer science and information processing)
The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies)
The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies)
An efficient denotational semantics for natural language database queries
NLDB'07 Proceedings of the 12th international conference on Applications of Natural Language to Information Systems
| Hi-index | 0.00 |
Scott-Strachey style denotational semantics is proposed as a suitable means of communicating the specification of "natural" language question answerers to computer programmers and software engineers. The method is exemplified by a simple question answerer communicating with a small data base. This example is partly based on treatment of fragments of English by Montague. Emphasis is placed on the semantic interpretation of questions. The "meaning" of a question is taken as a function from the set of universes to a set of possible answers.