Sciweavers

    3 search results - page 1 / 1
    » Hybrid: A Definitional Two-Level Approach to Reasoning with ...
    Sort
    View
    CORR
    2008
    Springer
    109views Education» more  CORR 2008»
    Hybrid: A Definitional Two-Level Approach to Reasoning with Higher-Order Abstract Syntax
    15 years 3 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 »
    ENTCS
    2008
    105views more  ENTCS 2008»
    Two-Level Hybrid: A System for Reasoning Using Higher-Order Abstract Syntax
    15 years 2 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 »
    ICFP
    2005
    ACM
    218views Programming Languages» more  ICFP 2005»
    A computational approach to reflective meta-reasoning about languages with bindings
    16 years 2 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 »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.