Resultados da pesquisa - programming complexity https functionality testing https

1

Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings /

Publicado em 2010

Sumário: “...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”
Obter o texto integral

Recurso Electrónico livro electrónico

2

Trends in Functional Programming 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers /

Publicado em 2011

Assuntos: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Obter o texto integral

Recurso Electrónico livro electrónico

3

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

Publicado em 2008

Sumário: “... Systems -- Complexity Analysis by Rewriting -- Rewriting and Call-Time Choice: The HO Case -- Program...”
Obter o texto integral

Recurso Electrónico livro electrónico

4

Implementation and Application of Functional Languages 19th International Workshop, IFL 2007...

Publicado em 2008

Sumário: “... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”
Obter o texto integral

Recurso Electrónico livro electrónico

5

Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings /

Publicado em 2014

Sumário: “... Environment -- Testing Robotized Paint System Using Constraint Programming: An Industrial Case Study -- What...”
Obter o texto integral

Recurso Electrónico livro electrónico

6

Theory and Applications of Satisfiability Testing - SAT 2010 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings /

Publicado em 2010

Sumário: “... Width Formulas -- Proof Complexity of Propositional Default Logic -- Automated Testing and Debugging...”
Obter o texto integral

Recurso Electrónico livro electrónico

7

Genetic Programming 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings /

Publicado em 2015

Sumário: “... Genetic Programming -- Automatic Derivation of Search Objectives for Test-Based Genetic Programming...”
Obter o texto integral

Recurso Electrónico livro electrónico

8

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /

Publicado em 2013

Sumário: “... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”
Obter o texto integral

Recurso Electrónico livro electrónico

9

Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings /

Publicado em 2014

Sumário: “... Systems -- DynaMate: Dynamically Inferring Loop Invariants for Automatic Full Functional Verification...”
Obter o texto integral

Recurso Electrónico livro electrónico

10

Descriptional Complexity of Formal Systems 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012, Proceedings /

Publicado em 2012

Assuntos: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Obter o texto integral

Recurso Electrónico livro electrónico

11

Descriptional Complexity of Formal Systems 13 International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings /

Publicado em 2011

Assuntos: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Obter o texto integral

Recurso Electrónico livro electrónico

12

Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings /

Publicado em 2014

Sumário: “... of objects, state explosion-like phenomena -- Circuit complexity of Boolean functions and related measures...”
Obter o texto integral

Recurso Electrónico livro electrónico

13

Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, Canada, July 22-25, 2013, Proceedings /

Publicado em 2013

Assuntos: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Obter o texto integral

Recurso Electrónico livro electrónico

14

Inductive Logic Programming 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers /

Publicado em 2007

Sumário: “...Invited Papers -- Actions, Causation and Logic Programming -- Challenges to Machine Learning...”
Obter o texto integral

Recurso Electrónico livro electrónico

15

Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I /

Publicado em 2010

Sumário: “... -- Graph Homomorphisms with Complex Values: A Dichotomy Theorem -- Metrical Task Systems and the k-Server...”
Obter o texto integral

Recurso Electrónico livro electrónico

16

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /

Publicado em 2014

Sumário: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
Obter o texto integral

Recurso Electrónico livro electrónico