Searching for "The Categorical Abstract Machine." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

54 documents found, showing 1 through 10. Next 10 →

Proving Correctness of the Translation from Mini-ML to the CAM with the Coq Proof Development System
by Samuel Boutin — 1995 — with the Coq Proof Development System. Research report RR-2536, INRIA, Rocquencourt
…) to the "CAM" (Categorical Abstract Machine) that we performed using the Coq system. In the paper we emphasize…
Cited by 3 (0 self) – Add To MetaCart

Compiler Verification in LF
by John Hannan, Frank Pfenning — 1992 — Seventh Annual IEEE Symposium on Logic in Computer Science
… of the Categorical Abstract Machine (CAM). 1 Introduction Compiler correctness is an essential aspect of program…
Cited by 35 (10 self) – Add To MetaCart

Refinement Types for Logical Frameworks
by Frank Pfenning — 1993 — Informal Proceedings of the Workshop on Types for Proofs and Programs
…] and the correctness of a compiler to a variant of the Categorical Abstract Machine [HP92]. LF is based on a…
Cited by 38 (9 self) – Add To MetaCart

Functional Programming using CAML Light
by Caml Light, Domaine De Voluceau, F- Le, Chesnay Cedex, Programmation Fonctionnelle, Michel Mauny, Michel Mauny, Michel Mauny — 1995
… simplified version of the Categorical Abstract Machine (CAM). These notes end by the complete prototyping…
Add To MetaCart

Operational Methods
by Andrew Gordon Michaelmas, Andrew D. Gordon
… foundations: induction and co-induction ffl Operational equivalence ffl Verification of an abstract machine…
Add To MetaCart

The Data-Parallel Categorical
by Ic Al, Christian Foisy
…, Curien and Mauny's Categorical Abstract Machine. The DPCAM is a static network of CAMs which dynamically…
Add To MetaCart

Languages, pages 48--59, Portland, Oregon, January 1994. ACM Press. [PA93] Gordon Plotkin and Mart'in Abadi. A logic for parametric polymorphism. Applications,
by Tlca' Pages, Pa Gordon Plotkin, In M. Bezem, J. F. Groote, Cc Patrick Cousot, Radhia Cousot Abstract Interpretation, Maria Dezani-ciancaglini, B. Venneri Functional
…, and Michel Mauny. The categorical abstract machine. Science of Computer Programming, 8, May 1987. [CDCV81…
Add To MetaCart

Compiling Lazy Functional Languages: An introduction
by Thomas Johnsson — 1987
… in an implementation of SASL [Tur75]. Cardelli's Functional Abstract Machine (FAM) [Car83] and the Categorical Abstract…
Add To MetaCart

Final Report
by Febr Ua Ry
… Categorical Abstract Machine for the Calculus of Construction by Eike Ritter at Cambridge. Because of its good…
Add To MetaCart

Compilation
by The Model Of
… [Lan64] which is also related to the Categorical Abstract Machine (CAM) [CCM87]. This decomposition…
Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB