Sciweavers

    590 search results - page 26 / 118
    » Non-Failure Analysis for Logic Programs
    Sort
    View
    SAS
    1997
    Springer
    103views Formal Methods» more  SAS 1997»
    An Algebraic Approach to Sharing Analysis of Logic Programs
    15 years 11 months ago
    An Algebraic Approach to Sharing Analysis of Logic Programs
    Download  www.clip.dia.fi.upm.es
    Michael Codish, Vitaly Lagoon, Francisco Bueno
    claim paper
    Read More »
    153
    Voted
    LPAR
    1993
    Springer
    92views Automated Reasoning» more  LPAR 1993»
    Sequentialization of Parallel Logic Programs with Mode Analysis
    15 years 11 months ago
    Sequentialization of Parallel Logic Programs with Mode Analysis
    Download  web.cecs.pdx.edu
    Barton C. Massey, Evan Tick
    claim paper
    Read More »
    APSEC
    2001
    IEEE
    103views Software Engineering» more  APSEC 2001»
    Cost Analysis of Games, Using Program Logic
    15 years 11 months ago
    Cost Analysis of Games, Using Program Logic
    Download  www.cse.unsw.edu.au
    Carroll Morgan, Annabelle McIver
    claim paper
    Read More »
    CORR
    2007
    Springer
    117views Education» more  CORR 2007»
    Towards Execution Time Estimation for Logic Programs via Static Analysis and Profiling
    15 years 7 months ago
    Towards Execution Time Estimation for Logic Programs via Static Analysis and Profiling
    Download  www.clip.dia.fi.upm.es
    Edison Mera, Pedro López-García, Ger...
    claim paper
    Read More »
    APLAS
    2005
    ACM
    116views Programming Languages» more  APLAS 2005»
    Symbolic Execution with Separation Logic
    16 years 1 months ago
    Symbolic Execution with Separation Logic
    Download  research.microsoft.com
    We describe a sound method for automatically proving Hoare triples for loop-free code in Separation Logic, for certain preconditions and postconditions (symbolic heaps). The method...
    Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn
    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.