Search Sciweavers | Sciweavers

3 search results - page 1 / 1

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

click to vote

CORR
2008
Springer

109views Education» more CORR 2008»

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

13 years 4 months ago

Download www.site.uottawa.ca

Amy P. Felty, Alberto Momigliano

claim paper

Read More »

click to vote

ENTCS
2008

105views more ENTCS 2008»

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

13 years 4 months ago

Download www.site.uottawa.ca

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

claim paper

Read More »

click to vote

ICFP
2005
ACM

218views Programming Languages» more ICFP 2005»

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

14 years 4 months ago

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 »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers