Sciweavers

    10666 search results - page 366 / 2134
    » Quantum programming languages
    Sort
    View
    FM
    2009
    Springer
    118views Formal Methods» more  FM 2009»
    Certifiable Specification and Verification of C Programs
    16 years 1 months ago
    Certifiable Specification and Verification of C Programs
    Download  www.informatik.uni-bremen.de
    Christoph Lüth, Dennis Walter
    claim paper
    Read More »
    181
    Voted
    AFP
    2008
    Springer
    252views Formal Methods» more  AFP 2008»
    Dependently Typed Programming in Agda
    16 years 1 months ago
    Dependently Typed Programming in Agda
    Download  www.cse.chalmers.se
    Ulf Norell
    claim paper
    Read More »
    IFL
    2007
    Springer
    133views Formal Methods» more  IFL 2007»
    Debugging Lazy Functional Programs by Asking the Oracle
    16 years 26 days ago
    Debugging Lazy Functional Programs by Asking the Oracle
    Download  www.informatik.uni-kiel.de
    Bernd Braßel, Holger Siegel
    claim paper
    Read More »
    VL
    2000
    IEEE
    136views Visual Languages» more  VL 2000»
    A Data-Flow Visual Approach to Symbolic Computing: Implementing a Production-Rule-Based Programming System through a General-Pur
    15 years 11 months ago
    A Data-Flow Visual Approach to Symbolic Computing: Implementing a Production-Rule-Based Programming System through a General-Pur
    Download  vision.unipv.it
    The main aim of this paper is to investigate how the production-rule-based computational paradigm can be implemented through visual data-flow techniques. We propose a simple yet e...
    Mauro Mosconi, Marco Porta
    claim paper
    Read More »
    CCS
    2008
    ACM
    146views Security Privacy» more  CCS 2008»
    EON: modeling and analyzing dynamic access control systems with logic programs
    15 years 8 months ago
    EON: modeling and analyzing dynamic access control systems with logic programs
    Download  www.cs.umd.edu
    We present EON, a logic-programming language and tool that can be used to model and analyze dynamic access control systems. Our language extends Datalog with some carefully design...
    Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani...
    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.