Sciweavers

    9595 search results - page 121 / 1919
    » Functional programming in C
    Sort
    View
    ICCL
    1998
    IEEE
    120views Programming Languages» more  ICCL 1998»
    A Conservative Technique to Improve Deterministic Evaluation of Logic Programs
    15 years 10 months ago
    A Conservative Technique to Improve Deterministic Evaluation of Logic Programs
    Download  www.comp.nus.edu.sg
    Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Rama...
    claim paper
    Read More »
    POS
    1992
    Springer
    86views Programming Languages» more  POS 1992»
    Persistent Program Construction through Browsing and User Gesture with some Typing
    15 years 10 months ago
    Persistent Program Construction through Browsing and User Gesture with some Typing
    Download  www.cs.st-andrews.ac.uk
    Alex Farkas, Alan Dearle, Graham N. C. Kirby, Quin...
    claim paper
    Read More »
    POS
    1992
    Springer
    95views Programming Languages» more  POS 1992»
    Persistent Hyper-Programs
    15 years 10 months ago
    Persistent Hyper-Programs
    Download  www.cs.st-andrews.ac.uk
    Graham N. C. Kirby, Richard C. H. Connor, Quintin ...
    claim paper
    Read More »
    SEMWEB
    2009
    Springer
    190views Internet Technology» more  SEMWEB 2009»
    The OWL API: A Java API for Working with OWL 2 Ontologies
    16 years 26 days ago
    The OWL API: A Java API for Working with OWL 2 Ontologies
    Download  www.webont.org
    This paper presents the OWL API a high level Application Programming Interface (API) for working with OWL 2 ontologies. The API is closely aligned with the OWL 2 structural speciï¬...
    Matthew Horridge, Sean Bechhofer
    claim paper
    Read More »
    ASM
    2000
    ASM
    144views Computational Biology» more  ASM 2000»
    An ASM Dynamic Semantics for Standard ML
    15 years 10 months ago
    An ASM Dynamic Semantics for Standard ML
    Download  paws.kettering.edu
    Abstract. The Abstract State Machines (ASM) methodology is a methodology for formally specifying computing systems. We use the ASM methodology to give the dynamic semantics of the ...
    Steven C. Cater, James K. Huggins
    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.