Search Results - program termination https functionality testing https

Search alternatives:
functionality testing » functionality setting , functional testing , functionality using
program termination » program verification , proving termination
https functionality » its functionality , bags functionality , cross functionality
termination https » termination sets , termination sites , termination graphs
testing https » teaching https , being https , writing https

Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings /

Published 2008

Table of Contents: “...-Logic Programming -- EasyCheck — Test Data for Free....”
View full text

Electronic eBook

Tests and Proofs Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings /

Published 2008

Table of Contents: “... Model -- Pex–White Box Test Generation for .NET -- Non-termination Checking for Imperative Programs...”
View full text

Electronic eBook

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /

Published 2005

Table of Contents: “... Analysis of Logic Programs -- Testing for Termination with Monotonicity Constraints -- A Well-Founded...”
View full text

Electronic eBook

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Published 2008

Table of Contents: “... Existential Variables from Constraint Logic Programs -- Negative Ternary Set-Sharing -- Termination...”
View full text

Electronic eBook

Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...

Published 2015

Table of Contents: “.../Output Behavior of Programs -- Unrestricted Termination and Non-termination Arguments for Bit-Vector...”
View full text

Electronic eBook

Logic-Based Program Synthesis and Transformation 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers /

Published 2007

Table of Contents: “... Strategies -- A Program Transformation for Tracing Functional Logic Computations -- Termination and Analysis...”
View full text

Electronic eBook

Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /

Published 2015

Table of Contents: “... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”
View full text

Electronic eBook

Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers /

Published 2010

Table of Contents: “... Driven Development -- Session 2. Regular Papers -- Termination in Higher-Order Concurrent Calculi...”
View full text

Electronic eBook

Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice o...

Published 2013

Table of Contents: “... Functional Programs -- Tool Demonstrations Polyglot: Systematic Analysis for Multiple Statechart Formalisms...”
View full text

Electronic eBook

Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings /

Published 2014

Table of Contents: “... Systems -- A Language-Independent Proof System for Mutual Program Equivalence -- PHASE: A Stochastic...”
View full text

Electronic eBook

Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of...

Published 2010

Table of Contents: “... Universality Checking -- Liveness -- Automated Termination Analysis for Programs with Second-Order Recursion...”
View full text

Electronic eBook

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings /

Published 2005

Table of Contents: “..., and Computation -- Testing Concurrent Systems: An Interpretation of Intuitionistic Logic -- Proofs of Termination...”
View full text

Electronic eBook

Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings /

Published 2010

Table of Contents: “... Annotation for Program Testing and Verification -- The Static Driver Verifier Research Platform -- Dsolve...”
View full text

Electronic eBook

Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings /

Published 2008

Table of Contents: “... -- Session 9: Program Verification -- Heap Assumptions on Demand -- Proving Conditional Termination...”
View full text

Electronic eBook

Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings /

Published 2014

Table of Contents: “... -- Symbolic Resource Bound Inference for Functional Programs -- Proving Non-termination Using Max-SMT...”
View full text

Electronic eBook

Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice o...

Published 2008

Table of Contents: “... -- Static Analysis -- A SAT-Based Approach to Size Change Termination with Global Ranking Functions...”
View full text

Electronic eBook

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /

Published 2007

Table of Contents: “...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”
View full text

Electronic eBook

Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013, Proceedings /

Published 2013

Table of Contents: “... -- On the Complexity of Shortest Path Problems on Discounted Cost Graphs.- Termination of Rule-Based Calculi...”
View full text

Electronic eBook

Computational Science and Its Applications - ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part IV /

Published 2010

Table of Contents: “... Control -- Termination of Loop Programs with Polynomial Guards -- Development of Web Based Management...”
View full text

Electronic eBook

Parallel Problem Solving from Nature, PPSN XI 11th International Conference, Krakov, Poland, September 11-15, 2010, Proceedings, Part II /

Published 2010

Table of Contents: “... Search Algorithms with Local Search for the Traveling Salesman Problem -- Many-Objective Test Problems...”
View full text

Electronic eBook

Narrow Search