Sciweavers

    9626 search results - page 243 / 1926
    » Invariant Based Programming
    Sort
    View
    ERSHOV
    1999
    Springer
    73views Theoretical Computer Science» more  ERSHOV 1999»
    On Semantics and Correctness of Reactive Rule-Based Programs
    15 years 11 months ago
    On Semantics and Correctness of Reactive Rule-Based Programs
    Download  www.ida.liu.se
    Man Lin, Jacek Malec, Simin Nadjm-Tehrani
    claim paper
    Read More »
    TARK
    1998
    Springer
    81views Automated Reasoning» more  TARK 1998»
    Using Counterfactuals in Knowledge-Based Programming
    15 years 11 months ago
    Using Counterfactuals in Knowledge-Based Programming
    Download  www.cs.math.ist.utl.pt
    Joseph Y. Halpern, Yoram Moses
    claim paper
    Read More »
    156
    Voted
    ISSTA
    1996
    ACM
    92views Software Engineering» more  ISSTA 1996»
    Improving the Accuracy of Petri Net-Based Analysis of Concurrent Programs
    15 years 11 months ago
    Improving the Accuracy of Petri Net-Based Analysis of Concurrent Programs
    Download  laser.cs.umass.edu
    A. T. Chamillard, Lori A. Clarke
    claim paper
    Read More »
    IPPS
    1993
    IEEE
    70views Distributed And Parallel Com...» more  IPPS 1993»
    Explicit Parallel Structuring for Rule-Based Programming
    15 years 11 months ago
    Explicit Parallel Structuring for Rule-Based Programming
    Download  www.csie.ndhu.edu.tw
    Shiow-yang Wu, James C. Browne
    claim paper
    Read More »
    158
    Voted
    ICSE
    1993
    IEEE-ACM
    85views Software Engineering» more  ICSE 1993»
    A High Level Language for Specifying Graph Based Languages and Their Programming Environments
    15 years 11 months ago
    A High Level Language for Specifying Graph Based Languages and Their Programming Environments
    Download  www.cs.utexas.edu
    Michael F. Kleyn, James C. Browne
    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.