Search Sciweavers | Sciweavers

2932 search results - page 66 / 587

» Higher order mining

click to vote

CORR
2008
Springer

109views Education» more CORR 2008»

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

14 years 12 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

14 years 12 months ago

Download www.site.uottawa.ca

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

claim paper

Read More »

click to vote

ENTCS
2008

140views more ENTCS 2008»

Higher-Order Separation Logic in Isabelle/HOLCF

14 years 12 months ago

Download www.itu.dk

We formalize higher-order separation logic for a first-order imperative language with procedures and local variables in Isabelle/HOLCF. The assertion language is modeled in such a...

Carsten Varming, Lars Birkedal

claim paper

Read More »

click to vote

CORR
2006
Springer

82views Education» more CORR 2006»

Higher-Order Termination: from Kruskal to Computability

14 years 12 months ago

Download www-rocq.inria.fr

Frédéric Blanqui, Jean-Pierre Jouann...

claim paper

Read More »

click to vote

ENTCS
2006

131views more ENTCS 2006»

Bigraphical Semantics of Higher-Order Mobile Embedded Resources with Local Names

14 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers