Sciweavers

    ENTCS
    2007
    126views more  ENTCS 2007»
    Modelling Calculi with Name Mobility using Graphs with Equivalences
    13 years 5 months ago
    Modelling Calculi with Name Mobility using Graphs with Equivalences
    Download  www.math.unipd.it
    In the theory of graph rewriting, the use of coalescing rules, i.e., of rules which besides deleting and generating graph items, can coalesce some parts of the graph, turns out to...
    Paolo Baldan, Fabio Gadducci, Ugo Montanari
    claim paper
    Read More »
    ENTCS
    2007
    83views more  ENTCS 2007»
    A Local Graph-rewriting System for Deciding Equality in Sum-product Theories
    13 years 5 months ago
    A Local Graph-rewriting System for Deciding Equality in Sum-product Theories
    Download  repositorium.sdum.uminho.pt
    d Abstract) Jos´e Bacelar Almeida, Jorge Sousa Pinto, and Miguel Vila¸ca 1,2,3 Departamento de Inform´atica Universidade do Minho 4710-057 Braga, Portugal
    José Bacelar Almeida, Jorge Sousa Pinto, Mi...
    claim paper
    Read More »
    ENTCS
    2007
    104views more  ENTCS 2007»
    Lazy Context Cloning for Non-Deterministic Graph Rewriting
    13 years 5 months ago
    Lazy Context Cloning for Non-Deterministic Graph Rewriting
    Download  web.cecs.pdx.edu
    We define a rewrite strategy for a class of non-confluent constructor-based term graph rewriting systems and discuss its correctness. Our strategy and its extension to narrowing...
    Sergio Antoy, Daniel W. Brown, Su-Hui Chiang
    claim paper
    Read More »
    ENTCS
    2007
    93views more  ENTCS 2007»
    Modeling Pointer Redirection as Cyclic Term-graph Rewriting
    13 years 5 months ago
    Modeling Pointer Redirection as Cyclic Term-graph Rewriting
    Download  ljk.imag.fr
    We tackle the problem of data-structure rewriting including global and local pointer redirections. Each basic rewrite step may perform three kinds of actions: (i) Local redirectio...
    Dominique Duval, Rachid Echahed, Fréd&eacut...
    claim paper
    Read More »
    ENTCS
    2007
    112views more  ENTCS 2007»
    Structure and Properties of Traces for Functional Programs
    13 years 5 months ago
    Structure and Properties of Traces for Functional Programs
    Download  www.cs.kent.ac.uk
    The tracer Hat records in a detailed trace the computation of a program written in the lazy functional language Haskell. The trace can then be viewed in various ways to support pr...
    Olaf Chitil, Yong Luo
    claim paper
    Read More »
    ENTCS
    2007
    101views more  ENTCS 2007»
    Parametric Performance Contracts: Non-Markovian Loop Modelling and an Experimental Evaluation
    13 years 5 months ago
    Parametric Performance Contracts: Non-Markovian Loop Modelling and an Experimental Evaluation
    Download  se.informatik.uni-oldenburg.de
    Even with todays hardware improvements, performance problems are still common in many software systems. An approach to tackle this problem for component-based software architectur...
    Heiko Koziolek, Viktoria Firus
    claim paper
    Read More »
    ENTCS
    2007
    116views more  ENTCS 2007»
    DisCComp - A Formal Model for Distributed Concurrent Components
    13 years 5 months ago
    DisCComp - A Formal Model for Distributed Concurrent Components
    Download  agrausch.informatik.uni-kl.de
    Most large-scaled software systems are structured in distributed components to manage complexity and have to cope with concurrent executed threads. System decomposition and concur...
    Andreas Rausch
    claim paper
    Read More »
    ENTCS
    2007
    72views more  ENTCS 2007»
    Observational Equivalence for the Interaction Combinators and Internal Separation
    13 years 5 months ago
    Observational Equivalence for the Interaction Combinators and Internal Separation
    Download  www-lipn.univ-paris13.fr
    We define an observational equivalence for Lafont’s interaction combinators, which we prove to be the least discriminating non-trivial congruence on total nets (nets admitting ...
    Damiano Mazza
    claim paper
    Read More »
    ENTCS
    2007
    97views more  ENTCS 2007»
    A Head-to-Head Comparison of de Bruijn Indices and Names
    13 years 5 months ago
    A Head-to-Head Comparison of de Bruijn Indices and Names
    Download  www4.in.tum.de
    Often debates about pros and cons of various techniques for formalising lambda-calculi rely on subjective arguments, such as de Bruijn indices are hard to read for humans or nomin...
    Stefan Berghofer, Christian Urban
    claim paper
    Read More »
    ENTCS
    2007
    91views more  ENTCS 2007»
    A Logic for Reasoning about Generic Judgments
    13 years 5 months ago
    A Logic for Reasoning about Generic Judgments
    Download  users.cecs.anu.edu.au
    This paper presents an extension of a proof system for encoding generic judgments, the logic FOλ∆ of Miller and Tiu, with an induction principle. The logic FOλ∆ is itself an...
    Alwen Tiu
    claim paper
    Read More »
    « first‹ previous…131415161718192021…next ›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.