Resultados da pesquisa - parallel interpretive program functionality testing https

Pesquisas alternativas:
parallel interpretive » parallel interactive , parallel iterative , personal interpretive
program functionality » protein functionality , programs functional , supra functionality
functionality testing » functionality setting , functional testing , functionality using
interpretive program » interpretive programs , interpretive programme , interactive program
testing https » teaching https , being https , writing https

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

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

Languages and Compilers for Parallel Computing 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers /

Publicado em 2006

Sumário: “... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...”
Obter o texto integral

Recurso Electrónico livro electrónico

Implementation and Application of Functional Languages 18th International Symposium, IFL 2006...

Publicado em 2007

Sumário: “... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”
Obter o texto integral

Recurso Electrónico livro electrónico

Implementation and Application of Functional Languages 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers /

Publicado em 2012

Sumário: “...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

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

Recent Advances in Parallel Virtual Machine and Message Passing Interface 15th European PVM/MPI...

Publicado em 2008

Sumário: “... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2008

Sumário: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
Obter o texto integral

Recurso Electrónico livro electrónico

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /

Publicado em 2006

Sumário: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2005

Sumário: “... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”
Obter o texto integral

Recurso Electrónico livro electrónico

ECOOP 2013 -- Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings /

Publicado em 2013

Sumário: “... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”
Obter o texto integral

Recurso Electrónico livro electrónico

Principles and Practice of Constraint Programming - CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proceedings /

Publicado em 2010

Sumário: “..., and Complexity -- Distinguished Papers -- Testing Expressibility Is Hard -- Applying Constraint Programming...”
Obter o texto integral

Recurso Electrónico livro electrónico

Beginning Haskell A Project-Based Approach /

Por Serrano Mena, Alejandro., Serrano Mena, Alejandro.
Publicado em 2014

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

Recurso Electrónico livro electrónico

Practical Aspects of Declarative Languages 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings /

Publicado em 2008

Sumário: “...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”
Obter o texto integral

Recurso Electrónico livro electrónico

Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings /

Publicado em 2008

Sumário: “... Conformance Checking of Recursive and Parallel Component-Based Systems -- Structural Testing of Component...”
Obter o texto integral

Recurso Electrónico livro electrónico

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings /

Publicado em 2005

Sumário: “...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”
Obter o texto integral

Recurso Electrónico livro electrónico

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

Publicado em 2014

Sumário: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Obter o texto integral

Recurso Electrónico livro electrónico

Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings /

Publicado em 2008

Sumário: “...Invited Talks -- Tests, Proofs and Refinements -- Formal Verification and Biology -- Trust...”
Obter o texto integral

Recurso Electrónico livro electrónico

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2...

Publicado em 2010

Sumário: “... -- Research Issues in the Automated Testing of Ajax Applications -- Essential Performance Drivers in Native...”
Obter o texto integral

Recurso Electrónico livro electrónico

Refinar a Pesquisa