Search Results - interactive transformations programming programmed constructs https

Search alternatives:
interactive transformations » interaction transformation , interactions transformation , interactive information
transformations programming » transformation programme , transformation program
programming programmed » processing programmed
programmed constructs » programming constructs , programme contract , programmed instructions
constructs https » construction https , constructs loops , constructs arti

Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings /

Published 2007

Table of Contents: “... Matching Problems -- Session A6 -- On the Complexity of Hard-Core Set Constructions -- Approximation by DNF...”
View full text

Electronic eBook

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings /

Published 2013

Table of Contents: “...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”
View full text

Electronic eBook

Generative Programming and Component Engineering 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings /

Published 2005

Table of Contents: “... Programs Using Lexical Join Point Information -- Meta-programming and Transformation -- Generalized Type...”
View full text

Electronic eBook

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Published 2005

Table of Contents: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
View full text

Electronic eBook

Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday /

Published 2007

Table of Contents: “... Tractable Classes of Horn Clauses -- Infering Ownership Types for Encapsulated Object-Oriented Program...”
View full text

Electronic eBook

Constructing Correct Software

by Cooke, D. John., Cooke, D. John.
Published 2005

Table of Contents: “...Preliminaries -- The Technical Background -- On Programming -- Fundamentals -- Algorithm Extraction...”
View full text

Electronic eBook

Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference...

Published 2006

Table of Contents: “... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...”
View full text

Electronic eBook

Interactive Theorem Proving Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings /

Published 2012

Table of Contents: “..., the Reals, and the Real Algebraic Numbers -- Construction of Real Algebraic Numbers in Coq -- A Refinement...”
View full text

Electronic eBook

Implementation and Application of Functional Languages 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers /

Published 2005

Table of Contents: “... Transformations -- The Feasibility of Interactively Probing Quiescent Properties of GUI Applications -- A...”
View full text

Electronic eBook

Software Composition 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings /

Published 2008

Table of Contents: “... -- Practical Conflict Resolution for the Composition of Program Transformations....”
View full text

Electronic eBook

Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions /

Published 2008

Table of Contents: “...# Programming System: Challenges and Directions -- Integrating Static Checking and Interactive Verification...”
View full text

Electronic eBook

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part...

Published 2010

Table of Contents: “... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”
View full text

Electronic eBook

Algebraic Methodology and Software Technology 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings /

Published 2006

Table of Contents: “...Invited Talks -- Incremental Software Construction with Refinement Diagrams -- Recursive Program...”
View full text

Electronic eBook

Model Driven Engineering Languages and Systems 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008, Proceedings /

Published 2008

Table of Contents: “... -- Model Transformation as an Optimization Problem -- Example-Based Program Transformation -- Detecting...”
View full text

Electronic eBook

Theoretical Aspects of Computing - ICTAC 2008 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedings /

Published 2008

Table of Contents: “... -- Everything Is PSPACE-Complete in Interaction Systems -- A New Approach for the Construction of Multiway...”
View full text

Electronic eBook

Artificial Intelligence: Theories, Models and Applications 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008, Proceedings /

Published 2008

Table of Contents: “... Techniques -- A Genetic Programming Environment for System Modeling -- Mining Gene Expression Profiles...”
View full text

Electronic eBook

Parallel Computing Technologies 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings /

Published 2005

Table of Contents: “... Parallel Algorithms for Spatial Dynamics Simulation -- Situated Agents Interaction: Coordinated Change...”
View full text

Electronic eBook

High Confidence Software Reuse in Large Systems 10th International Conference on Software Reuse, ICSR 2008, Bejing, China, May 25-29, 2008 /

Published 2008

Table of Contents: “... Patterns -- Conquering Fine-Grained Blends of Design Patterns -- Pattern-Based Transformation Rules...”
View full text

Electronic eBook

Innovations in Computing Sciences and Software Engineering

Published 2010

Table of Contents: “...-Invasive Man Machine Interaction -- A UML Profile for Developing Databases that Conform to the Third...”
View full text

Electronic eBook

Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /

Published 2008

Table of Contents: “... Sacrificing Productivity -- The High Road to Formal Validation: -- Modeling Workflows, Interaction Patterns...”
View full text

Electronic eBook

Narrow Search