| 1 |
Simple Type Theory with Undefinedness, Quotation, and Evaluation∗
|
|
|
|
In: http://imps.mcmaster.ca/doc/stt-with-uqe.pdf (2014)
|
|
BASE
|
|
Show details
|
|
|
| 2 |
The Formalization of Syntax-Based Mathematical Algorithms Using Quotation and Evaluation?
|
|
|
|
In: http://imps.mcmaster.ca/doc/quote-eval.pdf (2013)
|
|
BASE
|
|
Show details
|
|
|
| 3 |
The Formalization of Syntax-Based Mathematical Algorithms Using Quotation and Evaluation ⋆
|
|
|
|
In: http://imps.mcmaster.ca/doc/quote-eval.pdf (2013)
|
|
BASE
|
|
Show details
|
|
|
| 4 |
Frameworks for reasoning about syntax that utilize quotation and evaluation
|
|
|
|
In: http://imps.mcmaster.ca/doc/syntax.pdf (2013)
|
|
Abstract:
It is often useful, if not necessary, to reason about the syntactic structure of an expression in an interpreted language (i.e., a language with a semantics). This paper introduces a mathematical structure called a syntax framework that is intended to be an abstract model of a system for reasoning about the syntax of an interpreted language. Like many concrete systems for reasoning about syntax, a syntax framework contains a mapping of expressions in the interpreted language to syntactic values that represent the syntactic structures of the expressions; a language for reasoning about the syntactic values; a mechanism called quotation to refer to the syntactic value of an expression; and a mechanism called evaluation to refer to the value of the expression represented by a syntactic value. A syntax framework provides a basis for integrating reasoning about the syntax of the expressions with reasoning about what the expressions mean. The notion of a syntax framework is used to discuss how quotation and evaluation can be built into a language and to define what quasiquotation is. Several examples of syntax frameworks are presented.
|
|
Keyword:
evaluation; formal languages; formal mathematics reasoning about syntax; quasiquotation; quotation
|
|
URL: http://imps.mcmaster.ca/doc/syntax.pdf
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.298.4203
|
|
BASE
|
|
Hide details
|
|
|
| 5 |
Project EuDML--A First Year Demonstration
|
|
|
|
In: Intelligent Computer Mathematics ; Intelligent Computer Mathematics 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011 ; https://hal.archives-ouvertes.fr/hal-00658076 ; Intelligent Computer Mathematics 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Jul 2011, Bertinoro, Italy. pp.281-284, ⟨10.1007/978-3-642-22673-1_21⟩ (2011)
|
|
BASE
|
|
Show details
|
|
|
| 6 |
A Verified Compiler for Multithreaded PreScheme
|
|
|
|
In: http://repository.readscheme.org/ftp/papers/vlisp/mtps.ps.gz (1996)
|
|
BASE
|
|
Show details
|
|
|
|
|
