Søgeresultater - functions computational programming recursion a tools*

Søg alternativer:
computational programming » computation programming , computational program , computing programming
functions computational » functions computation , function computation , directions computational
programming recursion » programming decision , programming session , programming decisions
recursion a » recursion _, recursions g , recursions m
a tools » a tool , 1 tools , 2 tools

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings /

Udgivet 2010

Indholdsfortegnelse: “... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”
Få fuldtekst

Electronisk eBog

Discrete Mathematics Using a Computer

af O'Donnell, John., O'Donnell, John., Hall, Cordelia., Page, Rex.
Udgivet 2006

Indholdsfortegnelse: “...Programming and Reasoning with Equations -- to Haskell -- Equational Reasoning -- Recursion...”
Få fuldtekst

Electronisk eBog

Introduction to the Theory of Programming Languages

af Dowek, Gilles., Dowek, Gilles., Lévy, Jean-Jacques.
Udgivet 2011

Fag: “...Computers....”
Få fuldtekst

Electronisk eBog

Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...

Udgivet 2013

Indholdsfortegnelse: “... -- Language Constructs for Non-Well-Founded Computation -- Laziness by Need -- FliPpr: A Prettier Invertible...”
Få fuldtekst

Electronisk eBog

Programming Languages and Systems 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European /

Udgivet 2006

Indholdsfortegnelse: “... for Automated Reasoning About Pointer Programs -- Bisimulations for Untyped Imperative Objects -- A Typed...”
Få fuldtekst

Electronisk eBog

Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...

Udgivet 2005

Indholdsfortegnelse: “... with Recursion -- Determinacy Inference for Logic Programs -- Automatic Verification of Pointer Programs Using...”
Få fuldtekst

Electronisk eBog

Introduction to Programming Concepts with Case Studies in Python

af Üçoluk, Göktürk., Üçoluk, Göktürk., Kalkan, Sinan.
Udgivet 2012

Indholdsfortegnelse: “... of Programming Languages -- How Programming Languages are Implemented -- How a Program gets “written” -- Meet...”
Få fuldtekst

Electronisk eBog

Membrane Computing 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers /

Udgivet 2015

Indholdsfortegnelse: “... Checking Toolset for Kernel P Systems -- A New Strategy to Improve the Performance of PDP-systems...”
Få fuldtekst

Electronisk eBog

Innovations in Computing Sciences and Software Engineering

Udgivet 2010

Indholdsfortegnelse: “...-step EMG Classification Algorithm for Human-Computer Interaction -- Affective Assessment of a Computer...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2007

Indholdsfortegnelse: “...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2005

Indholdsfortegnelse: “.... The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its...”
Få fuldtekst

Electronisk eBog

Theoretical Aspects of Computing -- ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings /

Udgivet 2013

Indholdsfortegnelse: “... Components -- A High-Level Semantics for Program Execution under Total Store Order Memory -- Preemptive Type...”
Få fuldtekst

Electronisk eBog

Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... Dynamic Logic for Recursive Procedures -- Mapped Separation Logic -- Unguessable Atoms: A Logical...”
Få fuldtekst

Electronisk eBog

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided...

Udgivet 2005

Indholdsfortegnelse: “... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2008

Indholdsfortegnelse: “...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2008

Indholdsfortegnelse: “... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”
Få fuldtekst

Electronisk eBog

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...

Udgivet 2010

Indholdsfortegnelse: “... Universality Checking -- Liveness -- Automated Termination Analysis for Programs with Second-Order Recursion...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2010

Indholdsfortegnelse: “... Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions -- Combining Theorem Proving and Narrowing...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2010

Indholdsfortegnelse: “... Trees Detection in Very High Resolution Images -- A Fast Recursive Approach to Autonomous Detection...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2015

Indholdsfortegnelse: “... Objectives -- syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning