Søgeresultater - program compilation https function tests https

1

Trends in Functional Programming 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers /

Udgivet 2014

Fag: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Få fuldtekst

Electronisk eBog

2

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

Udgivet 2008

Indholdsfortegnelse: “...-Logic Programming -- EasyCheck — Test Data for Free....”
Få fuldtekst

Electronisk eBog

3

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

Udgivet 2011

Fag: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Få fuldtekst

Electronisk eBog

4

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

Udgivet 2010

Indholdsfortegnelse: “... Test Case Generation -- Internal Normalization, Compilation and Decompilation for System -- Towards...”
Få fuldtekst

Electronisk eBog

5

Central European Functional Programming School First Central European Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures /

af Horváth, Zoltán., Horváth, Zoltán.
Udgivet 2006

Indholdsfortegnelse: “...Generic Editors for the World Wide Web -- Fully Automatic Testing with Functions as Specifications...”
Få fuldtekst

Electronisk eBog

6

Tests and Proofs 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010, Proceedings /

Udgivet 2010

Indholdsfortegnelse: “... in Program Verification -- Proving and Visualizing OCL Invariant Independence by Automatically Generated Test...”
Få fuldtekst

Electronisk eBog

7

Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings /

Udgivet 2015

Indholdsfortegnelse: “... -- Testing Functional Requirements in UML Activity Diagrams -- Coverage of OCL Operation Specifications...”
Få fuldtekst

Electronisk eBog

8

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

Udgivet 2006

Indholdsfortegnelse: “... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...”
Få fuldtekst

Electronisk eBog

9

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

Udgivet 2007

Indholdsfortegnelse: “... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”
Få fuldtekst

Electronisk eBog

10

Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings /

Udgivet 2010

Indholdsfortegnelse: “... Pairwise for Features Coverage -- Increasing Functional Coverage by Inductive Testing: A Case Study...”
Få fuldtekst

Electronisk eBog

11

Hardware and Software, Verification and Testing Second International Haifa Verification Conference...

Udgivet 2007

Indholdsfortegnelse: “... Race-Detection and Flipping Algorithm for Automated Testing of Multi-threaded Programs -- Explaining...”
Få fuldtekst

Electronisk eBog

12

A Beginner's Guide to Scala, Object Orientation and Functional Programming

af Hunt, John., Hunt, John.
Udgivet 2014

Indholdsfortegnelse: “... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
Få fuldtekst

Electronisk eBog

13

Testing Techniques in Software Engineering Second Pernambuco Summer School on Software Engineering...

Udgivet 2010

Indholdsfortegnelse: “...Software Testing: An Overview -- Functional, Control and Data Flow, and Mutation Testing: Theory...”
Få fuldtekst

Electronisk eBog

14

Hardware and Software: Verification and Testing 7th International Haifa Verification Conference...

Udgivet 2012

Indholdsfortegnelse: “... for Multithreaded Programs -- Concurrent Small Progress Measures -- Specification and Quantitative Analysis...”
Få fuldtekst

Electronisk eBog

15

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

Udgivet 2012

Indholdsfortegnelse: “...-In-Time Compiler for Haskell -- Lazy Generation of Canonical Test Programs -- Generic Monadic Constructs...”
Få fuldtekst

Electronisk eBog

16

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

Udgivet 2008

Indholdsfortegnelse: “... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”
Få fuldtekst

Electronisk eBog

17

Formal Approaches to Software Testing 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers /

Udgivet 2005

Indholdsfortegnelse: “... Generation for Primitive Recursive Functions -- Preserving Contexts for Soft Conformance Relation -- Testing...”
Få fuldtekst

Electronisk eBog

18

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

Udgivet 2014

Indholdsfortegnelse: “... Environment -- Testing Robotized Paint System Using Constraint Programming: An Industrial Case Study -- What...”
Få fuldtekst

Electronisk eBog

19

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

Udgivet 2014

Indholdsfortegnelse: “... Systems -- DynaMate: Dynamically Inferring Loop Invariants for Automatic Full Functional Verification...”
Få fuldtekst

Electronisk eBog

20

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

Udgivet 2013

Indholdsfortegnelse: “... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning