Sciweavers

    5130 search results - page 34 / 1026
    » Constraint Query Languages
    Sort
    View
    ECEASST
    2008
    121views more  ECEASST 2008»
    Analyzing Semantic Properties of OCL Operations by Uncovering Interoperational Relationships
    15 years 2 months ago
    Analyzing Semantic Properties of OCL Operations by Uncovering Interoperational Relationships
    Download  st.inf.tu-dresden.de
    The OCL (Object Constraint Language) as part of the UML (Unified Modeling Language) is a rich language with different collection kinds (sets, multi-sets, sequences) and a large var...
    Mirco Kuhlmann, Martin Gogolla
    claim paper
    Read More »
    PPDP
    2009
    Springer
    144views Programming Languages» more  PPDP 2009»
    A framework for abstract interpretation of timed concurrent constraint programs
    15 years 9 months ago
    A framework for abstract interpretation of timed concurrent constraint programs
    Download  www.lix.polytechnique.fr
    Moreno Falaschi, Carlos Olarte, Catuscia Palamides...
    claim paper
    Read More »
    VL
    2005
    IEEE
    101views Visual Languages» more  VL 2005»
    An Experimental Study into the Default Reading of Constraint Diagrams
    15 years 8 months ago
    An Experimental Study into the Default Reading of Constraint Diagrams
    Download  www.csd.abdn.ac.uk
    Andrew Fish, Judith Masthoff
    claim paper
    Read More »
    VL
    2000
    IEEE
    129views Visual Languages» more  VL 2000»
    Implementation of a Constraint-Based Visualization System
    15 years 7 months ago
    Implementation of a Constraint-Based Visualization System
    Download  www.cs.uic.edu
    Isabel F. Cruz, Peter S. Leveille
    claim paper
    Read More »
    PLDI
    2000
    ACM
    81views Programming Languages» more  PLDI 2000»
    Scalable context-sensitive flow analysis using instantiation constraints
    15 years 7 months ago
    Scalable context-sensitive flow analysis using instantiation constraints
    Download  www.cs.ucla.edu
    Manuel Fähndrich, Jakob Rehof, Manuvir Das
    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.