Proceedings of the 2003 workshop on Mechanized reasoning about languages with variable binding - MERLIN '03
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

1581138008

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Verifying CPS transformations in Isabelle/HOL

Proceedings of the 2003 workshop on Mechanized reasoning about languages with variable binding - MERLIN '03 ◽

10.1145/976571.976576 ◽

2003 ◽

Cited By ~ 11

Author(s):

Yasuhiko Minamide ◽

Koji Okuma

Download Full-text

A modal foundation for meta-variables

Proceedings of the 2003 workshop on Mechanized reasoning about languages with variable binding - MERLIN '03 ◽

10.1145/976571.976582 ◽

2003 ◽

Cited By ~ 5

Author(s):

Aleksandar Nanevski ◽

Brigitte Pientka ◽

Frank Pfenning

Download Full-text

Explicit substitutions and higher-order syntax

Proceedings of the 2003 workshop on Mechanized reasoning about languages with variable binding - MERLIN '03 ◽

10.1145/976571.976580 ◽

2003 ◽

Cited By ~ 8

Author(s):

Neil Ghani ◽

Tarmo Uustalu

Keyword(s):

Higher Order ◽

Explicit Substitutions

Download Full-text

Compiler implementation in a formal logical framework

Proceedings of the 2003 workshop on Mechanized reasoning about languages with variable binding - MERLIN '03 ◽

10.1145/976571.976575 ◽

2003 ◽

Author(s):

Jason Hickey ◽

Aleksey Nogin ◽

Adam Granicz

Keyword(s):

Logical Framework

Download Full-text

Reasoning about recursive procedures with parameters

Proceedings of the 2003 workshop on Mechanized reasoning about languages with variable binding - MERLIN '03 ◽

10.1145/976571.976573 ◽

2003 ◽

Cited By ~ 4

Author(s):

Ralph-Johan Back ◽

Viorel Preoteasa

Keyword(s):

Recursive Procedures

Download Full-text

A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines

Proceedings of the 2003 workshop on Mechanized reasoning about languages with variable binding - MERLIN '03 ◽

10.1145/976571.976581 ◽

2003 ◽

Cited By ~ 2

Author(s):

Alberto Momigliano ◽

Jeff Polakow

Keyword(s):

Logical Framework

Download Full-text

Representing reductions of NP-complete problems in logical frameworks

Proceedings of the 2003 workshop on Mechanized reasoning about languages with variable binding - MERLIN '03 ◽

10.1145/976571.976579 ◽

2003 ◽

Author(s):

Carsten Schürmann ◽

Jatin Shah

Keyword(s):

Logical Frameworks ◽

Complete Problems ◽

Np Complete

Download Full-text

Mechanising Hankin and Barendregt using the Gordon-Melham axioms

Proceedings of the 2003 workshop on Mechanized reasoning about languages with variable binding - MERLIN '03 ◽

10.1145/976571.976577 ◽

2003 ◽

Cited By ~ 3

Author(s):

Michael Norrish

Download Full-text

Reasoning on an imperative object-based calculus in Higher Order Abstract Syntax

Proceedings of the 2003 workshop on Mechanized reasoning about languages with variable binding - MERLIN '03 ◽

10.1145/976571.976574 ◽

2003 ◽

Cited By ~ 2

Author(s):

Alberto Ciaffaglione ◽

Luigi Liquori ◽

Marino Miculan

Keyword(s):

Higher Order ◽

Abstract Syntax ◽

Object Based

Download Full-text

A definitional approach to primitivexs recursion over higher order abstract syntax

Proceedings of the 2003 workshop on Mechanized reasoning about languages with variable binding - MERLIN '03 ◽

10.1145/976571.976572 ◽

2003 ◽

Cited By ~ 6

Author(s):

S. J. Ambler ◽

R. L. Crole ◽

Alberto Momigliano

Keyword(s):

Higher Order ◽

Abstract Syntax

Download Full-text

Proceedings of the 2003 workshop on Mechanized reasoning about languages with variable binding - MERLIN '03Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Verifying CPS transformations in Isabelle/HOL

A modal foundation for meta-variables

Explicit substitutions and higher-order syntax

Compiler implementation in a formal logical framework

Reasoning about recursive procedures with parameters

A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines

Representing reductions of NP-complete problems in logical frameworks

Mechanising Hankin and Barendregt using the Gordon-Melham axioms

Reasoning on an imperative object-based calculus in Higher Order Abstract Syntax

A definitional approach to primitivexs recursion over higher order abstract syntax

Proceedings of the 2003 workshop on Mechanized reasoning about languages with variable binding - MERLIN '03
Latest Publications