Sciweavers

    12452 search results - page 358 / 2491
    » An exploration of program as language
    Sort
    View
    ELP
    1989
    84views Logical Reasoning» more  ELP 1989»
    A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification
    15 years 11 months ago
    A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification
    Download  www.lix.polytechnique.fr
    BSTRACTION, FUNCTION VARIABLES, AND SIMPLE UNIFICATION: Abstract Draft, 20 September 1989 Dale Miller Department of Computer and Information Science University of Pennsylvania Phil...
    Dale Miller
    claim paper
    Read More »
    FSTTCS
    1990
    Springer
    53views Software Engineering» more  FSTTCS 1990»
    Relating Full Abstraction Results for Different Programming Languages
    15 years 11 months ago
    Relating Full Abstraction Results for Different Programming Languages
    Download  www.kurims.kyoto-u.ac.jp
    Kurt Sieber
    claim paper
    Read More »
    SIGDOC
    1990
    ACM
    66views Document Analysis» more  SIGDOC 1990»
    Visual syntax diagrams for programming language statements
    15 years 11 months ago
    Visual syntax diagrams for programming language statements
    Download  delivery.acm.org
    Lisa M. Braz
    claim paper
    Read More »
    VLDB
    1989
    ACM
    70views Database» more  VLDB 1989»
    The O2 Database Programming Language
    15 years 11 months ago
    The O2 Database Programming Language
    Download  www.vldb.org
    Christophe Lécluse, Philippe Richard
    claim paper
    Read More »
    168
    Voted
    BIRTHDAY
    2009
    Springer
    151views Applied Computing» more  BIRTHDAY 2009»
    Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantic
    15 years 11 months ago
    Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantic
    Download  www.brics.dk
    Machines Olivier Danvy BRICS Report Series RS-08-7 ISSN 0909-0878 July 2008 08-7O.Danvy:DenotationalSemantics,NaturalSemantics,andAbstractMachinesforScheme
    Olivier Danvy
    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.