A. McCreight and C. Schurmann. A meta linear logica framework. Draft, 2003. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
A Formalization of an Ordered Logical Framework in Hybrid.. - Momigliano, Polakow (Correct)
....value, then linear logic [9] o#ers the right setting, since updates will consume and add resources. This is one of the motivations for investigating frameworks based on linear logics such as LLF [4] On the other hand, work on the automation of reasoning in such frameworks is still in its infancy [10]. The methodology which enriches, in a conservative way, a logical framework so as to capture, at the right level of abstraction, di#erent object level phenomena can be pushed further. In this paper we adopt an ordered logical framework [16] by which we mean here a second order, minimal ordered ....
....an operational semantics to. Finally, external coverage checking (which are, for the time being, limited to LF [22] verifies that the given relation is indeed a realizer for that theorem. Only as we speak, M# [20] the meta logic of LF has been extended to # , a meta logic for LLF [10]. In the same vein, Polakow and Pfenning [17] have used an Ordered Logical Framework to formally show that terms resulting from a CPS translation obey stack like ordering properties with respect to intermediate values [7, 6] Polakow and Yi [18] later extended these techniques to a CPS ....
A. McCreight and C. Schurmann. A meta linear logica framework. Draft, 2003.
A Formalization of an Ordered Logical Framework in Hybrid.. - Momigliano, Polakow (Correct)
No context found.
A. McCreight and C. Schurmann. A meta linear logica framework. Draft, 2003.
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