Nikolaj Bjorner. Type checking meta programs. In ######## ## ####### ########## ### #############, Paris, September 1999. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
DALI: An Untyped, CBV Functional Language Supporting.. - Pasalic, Sheard, Taha (Correct)
....fragments can severely weaken the notion of observational equivalence in such languages [47] 1.2. 2 Analysis and Higher Order Syntax In contrast, substantially fewer studies have focused on language level support for program analysis [21; 39; 13] With few exceptions (see for example Bjorner [5]) the most popular tool for these studies has been ###### ##### ######## ######[38] HOAS) and have taken place in the context of logic programming languages [1] In the remainder of this paper we shall (without drawing too ne a distinction) refer to all approaches to syntax that represent ....
Nikolaj Bjorner. Type checking meta programs. In ######## ## ####### ########## ### #############, Paris, September 1999.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC