Showing 21 - 40 results of 184 for search 'Concept (generic programming)', query time: 0.15s Refine Results
  1. 21
    Logic Programming and Nonmonotonic Reasoning 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001. Proceedings /
    Published 2001
    Table of Contents: “… Reasoning under Answer Set Semantics -- plp: A Generic Compiler for Ordered Logic Programs -- Prototypes…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 22
    Model Driven Engineering Languages and Systems 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I /
    Published 2010
    Table of Contents: “…Keynote 1 -- A Unified Approach to Modeling and Programming -- Session 1a: Genericity…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 23
    Practical Aspects of Declarative Languages 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006. Proceedings /
    Published 2006
    Table of Contents: “…Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine -- Generic Cut…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 24
    Domain-Specific Languages IFIP TC 2 Working Conference, DSL 2009 Oxford, UK, July 15-17, 2009 Proceedings /
    Published 2009
    Table of Contents: “… -- Generic Libraries in C++ with Concepts from High-Level Domain Descriptions in Haskell -- Domain-Specific…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 25
    Model Driven Engineering Languages and Systems 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part II /
    Published 2010
    Table of Contents: “… Processes -- Flexible Model Element Introduction Policies for Aspect-Oriented Modeling -- Role-Based Generic…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 26
    Touch of Class Learning to Program Well with Objects and Contracts /
    by Meyer, Bertrand
    Published 2009
    Table of Contents: “…Basics -- The industry of pure ideas -- Dealing with objects -- Program structure basics…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 27
    Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers /
    Published 2012
    Table of Contents: “… -- Program Specialization Via a Software Verification Tool -- Model–Based Analysis Tools for Component…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 28
    Agent-Oriented Software Engineering IV 4th InternationalWorkshop, AOSE 2003, Melbourne, Australia, July 15, 2003. Revised Papers /
    Published 2004
    Table of Contents: “… of Multi-agent Interactions -- Automatic Derivation of Agent Interaction Model from Generic Interaction…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 29
    Conceptual Modeling – ER 2010 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010. Proceedings /
    Published 2010
    Table of Contents: “… Programming Approach -- Full Satisfiability of UML Class Diagrams -- On Enabling Data-Aware Compliance…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 30
    Model Driven Engineering Languages and Systems 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings /
    Published 2009
    Table of Contents: “… Composite Model Transformations Using Distributed Graph Transformation Concepts -- On-the-Fly Construction…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 31
    Implementation and Application of Functional Languages 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers /
    Published 2012
    Table of Contents: “…-In-Time Compiler for Haskell -- Lazy Generation of Canonical Test Programs -- Generic Monadic Constructs…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 32
    Model Driven Engineering Languages and Systems 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006. Proceedings /
    Published 2006
    Table of Contents: “… -- Model Extraction Using Context Information -- Dynamic and Generic Manipulation of Models: From…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 33
    Transaction processing concepts and techniques concepts and techniques
    by Gray, Jim, Reuter, Andreas
    Published 1993
    Table of Contents: “…Generic System Issues…”
    Book
  14. 34
    Rigorous Development of Complex Fault-Tolerant Systems
    Published 2006
    Table of Contents: “…-Oriented Development of Fault Tolerant Communicating Systems -- Programming-Logic Analysis of Fault…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 35
    Reuse of Off-the-Shelf Components 9th International Conference on Software Reuse, ICSR 2006 Turin, Italy, June 12-15, 2006 Proceedings /
    Published 2006
    Table of Contents: “… -- The Domain Analysis Concept Revisited: A Practical Approach -- Feature Driven Dynamic Customization…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 36
    Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings /
    Published 2013
    Table of Contents: “… generic non-intrusive fault detection framework -- A Witnessing Compiler: A Proof of Concept -- Runtime…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 37
    Software Architecture First European Conference, ECSA 2007 Aranjuez, Spain, September 24-26, 2007 Proceedings /
    Published 2007
    Table of Contents: “… Architectural Styles -- An Ontology-Based Approach for Modelling Architectural Styles -- FIESTA: A Generic…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 38
    Agent-based Supply Network Event Management
    by Zimmermann, Roland
    Published 2006
    Table of Contents: “… Functions -- Agent-based Concept -- Prototype Implementations -- Evaluation -- Conclusions and Outlook.…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 39
    Conceptual Structures: Knowledge Visualization and Reasoning 16th International Conference on Conceptual Structures, ICCS 2008 Toulouse, France, July 7-11, 2008 Proceedings /
    Published 2008
    Table of Contents: “… Exploration Using Implications with Proper Premises -- Sorting Concepts by Priority Using the Theory…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 40
    Conceptual Modeling - ER 2009 28th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009. Proceedings /
    Published 2009
    Table of Contents: “… -- Conceptual Modeling -- A Generic Set Theory-Based Pattern Matching Approach for the Analysis of Conceptual…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search