Sciweavers

    LISP
    2008
    101views more  LISP 2008»
    Flow-sensitive type systems and the ambient calculus
    14 years 21 days ago
    Flow-sensitive type systems and the ambient calculus
    Download  people.cis.ksu.edu
    The Ambient Calculus was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code. Numerous analyses have been developed for numerous va...
    Torben Amtoft
    claim paper
    Read More »
    LISP
    2008
    64views more  LISP 2008»
    Nesting forward-mode AD in a functional framework
    14 years 21 days ago
    Nesting forward-mode AD in a functional framework
    Download  engineering.purdue.edu
    Abstract. We discuss the implications of the desire to augment a functionalprogramming language with a derivative-taking operator using forward-mode automatic differentiation (AD)....
    Jeffrey Mark Siskind, Barak A. Pearlmutter
    claim paper
    Read More »
    LISP
    2008
    104views more  LISP 2008»
    Flattening tuples in an SSA intermediate representation
    14 years 21 days ago
    Flattening tuples in an SSA intermediate representation
    Download  www.cs.purdue.edu
    For functional programs, unboxing aggregate data structures such as tuples removes memory indirections and frees dead components of the decoupled structures. To explore the consequ...
    Lukasz Ziarek, Stephen Weeks, Suresh Jagannathan
    claim paper
    Read More »
    LISP
    2008
    154views more  LISP 2008»
    Types and trace effects for object orientation
    14 years 21 days ago
    Types and trace effects for object orientation
    Download  www.cs.uvm.edu
    Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
    Christian Skalka
    claim paper
    Read More »
    LISP
    2008
    104views more  LISP 2008»
    On the implementation of automatic differentiation tools
    14 years 21 days ago
    On the implementation of automatic differentiation tools
    Download  www.mcs.anl.gov
    Automatic differentiation is a semantic transformation that applies the rules of differential calculus to source code. It thus transforms a computer program that computes a mathema...
    Christian H. Bischof, Paul D. Hovland, Boyana Norr...
    claim paper
    Read More »
    LISP
    2008
    165views more  LISP 2008»
    Adapting functional programs to higher order logic
    14 years 21 days ago
    Adapting functional programs to higher order logic
    Download  www.cs.utah.edu
    Higher-order logic proof systems combine functional programming with logic, providing functional programmers with a comfortable setting for the formalization of programs, specifica...
    Scott Owens, Konrad Slind
    claim paper
    Read More »
    LISP
    2008
    96views more  LISP 2008»
    Dynamic slicing of lazy functional programs based on redex trails
    14 years 21 days ago
    Dynamic slicing of lazy functional programs based on redex trails
    Download  users.dsic.upv.es
    Abstract. Tracing computations is a widely used methodology for program debugging. Lazy languages, however, pose new demands on tracing techniques because following the actual trac...
    Claudio Ochoa, Josep Silva, Germán Vidal
    claim paper
    Read More »
    LISP
    2008
    72views more  LISP 2008»
    Imperative-program transformation by instrumented-interpreter specialization
    14 years 21 days ago
    Imperative-program transformation by instrumented-interpreter specialization
    Download  www.itu.dk
    We describe how to implement strength reduction, loop-invariant code motion and loop quasi-invariant code motion by specializing instrumented interpreters. To curb code duplication...
    Søren Debois
    claim paper
    Read More »
    LISP
    2008
    70views more  LISP 2008»
    Program transformations for light-weight CPU accounting and control in the Java virtual machine
    14 years 21 days ago
    Program transformations for light-weight CPU accounting and control in the Java virtual machine
    Download  infoscience.epfl.ch
    This article constitutes a thorough presentation of an original scheme for portable CPU accounting and control in Java, which is based on program transformation techniques at the ...
    Jarle Hulaas, Walter Binder
    claim paper
    Read More »
    LISP
    2008
    97views more  LISP 2008»
    Efficient and flexible access control via Jones-optimal logic program specialisation
    14 years 21 days ago
    Efficient and flexible access control via Jones-optimal logic program specialisation
    Download  www.dcs.kcl.ac.uk
    We describe the use of a flexible meta-interpreter for performing access control checks on deductive databases. The meta-program is implemented in Prolog and takes as input a datab...
    Steve Barker, Michael Leuschel, Mauricio Varea
    claim paper
    Read More »
    12next ›last »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.