Search Sciweavers | Sciweavers

43 search results - page 1 / 9

» Reasoning with Higher-Order Abstract Syntax and Contexts: A ...

119

Voted

ITP
2010

119views Mathematics» more ITP 2010»

Reasoning with Higher-Order Abstract Syntax and Contexts: A Comparison

15 years 9 months ago

Download www.cs.mcgill.ca

Amy P. Felty, Brigitte Pientka

claim paper

Read More »

127

click to vote

LICS
1997
IEEE

101views Automated Reasoning» more LICS 1997»

A Logic for Reasoning with Higher-Order Abstract Syntax

15 years 9 months ago

Download www.lix.polytechnique.fr

Raymond McDowell, Dale Miller

claim paper

Read More »

139

click to vote

ICFP
2003
ACM

102views Programming Languages» more ICFP 2003»

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

16 years 5 months ago

Download users.dimi.uniud.it

Alberto Ciaffaglione, Luigi Liquori, Marino Micula...

claim paper

Read More »

Voted

CORR
2008
Springer

109views Education» more CORR 2008»

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

15 years 5 months ago

Download www.site.uottawa.ca

Amy P. Felty, Alberto Momigliano

claim paper

Read More »

Voted

ENTCS
2008

105views more ENTCS 2008»

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

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers