Sciweavers

3 search results - page 1 / 1

» Hybrid: A Definitional Two-Level Approach to Reasoning with ...

56

Voted

CORR
2008
Springer

109views Education» more CORR 2008»

Hybrid: A Definitional Two-Level Approach to Reasoning with Higher-Order Abstract Syntax

14 years 10 months ago

Hybrid: A Definitional Two-Level Approach to Reasoning with Higher-Order Abstract Syntax

Download www.site.uottawa.ca

Amy P. Felty, Alberto Momigliano

claim paper

Read More »

47

ENTCS
2008

105views more ENTCS 2008»

Two-Level Hybrid: A System for Reasoning Using Higher-Order Abstract Syntax

14 years 10 months ago

Two-Level Hybrid: A System for Reasoning Using Higher-Order Abstract Syntax

Download www.site.uottawa.ca

Alberto Momigliano, Alan J. Martin, Amy P. Felty

claim paper

Read More »

101

ICFP
2005
ACM

218views Programming Languages» more ICFP 2005»

A computational approach to reflective meta-reasoning about languages with bindings

15 years 10 months ago

A computational approach to reflective meta-reasoning about languages with bindings

Download homepages.inf.ed.ac.uk

We present a foundation for a computational meta-theory of languages with bindings implemented in a computer-aided formal reasoning environment. Our theory provides the ability to...

Aleksey Nogin, Alexei Kopylov, Xin Yu, Jason Hicke...

claim paper

Read More »

« Prev « First page 1 / 1 Last » Next »