関連のトピックス ...
関連のトピックス ...
提案スペルによる検索:
computation programming » communication programming, computation programmatic, computing programming
programming recursion » programming decision, programming session, programming decisions
function computation » function computing, function decomposition, section computational
recursion a » recursion _, recursions g, recursions m
computation programming » communication programming, computation programmatic, computing programming
programming recursion » programming decision, programming session, programming decisions
function computation » function computing, function decomposition, section computational
recursion a » recursion _, recursions g, recursions m
1
出版事項 2006
目次:
“... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...”全文の入手
電子媒体
eBook
2
出版事項 2005
目次:
“... Evaluation of (Co)Recursive Functions -- A Virtual Machine for Functional Logic Computations -- Source-Based...”全文の入手
電子媒体
eBook
3
4
出版事項 2010
目次:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”全文の入手
電子媒体
eBook
5
出版事項 2007
目次:
“... with a Web Interface -- Web Sites Verification: An Abductive Logic Programming Tool -- Visual Logic...”全文の入手
電子媒体
eBook
6
目次:
“...Programming and Reasoning with Equations -- to Haskell -- Equational Reasoning -- Recursion...”
全文の入手
全文の入手
電子媒体
eBook
7
出版事項 2013
目次:
“... -- On Bar Recursion and Choice in a Classical Setting -- Proofs, Upside Down: A Functional Correspondence...”全文の入手
電子媒体
eBook
8
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
出版事項 2013
目次:
“... -- Language Constructs for Non-Well-Founded Computation -- Laziness by Need -- FliPpr: A Prettier Invertible...”全文の入手
電子媒体
eBook
9
目次:
“...Introduction -- Basics -- Defining functions -- Lists -- Changing heads! -- A bit of logic and set...”
全文の入手
全文の入手
電子媒体
eBook
10
出版事項 2006
目次:
“... for Automated Reasoning About Pointer Programs -- Bisimulations for Untyped Imperative Objects -- A Typed...”全文の入手
電子媒体
eBook
11
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
出版事項 2005
目次:
“... with Recursion -- Determinacy Inference for Logic Programs -- Automatic Verification of Pointer Programs Using...”全文の入手
電子媒体
eBook
12
目次:
“... -- Reusable Actions: Functions -- Functional Programming Tools in Python -- Further Reading -- Exercises...”
全文の入手
全文の入手
電子媒体
eBook
13
出版事項 2014
目次:
“... Programs -- Property-Directed Shape Analysis -- Shape Analysis via Second-Order Bi-Abduction -- ICE: A...”全文の入手
電子媒体
eBook
14
出版事項 2015
目次:
“... Checking Toolset for Kernel P Systems -- A New Strategy to Improve the Performance of PDP-systems...”全文の入手
電子媒体
eBook
15
出版事項 2006
目次:
“... Pareto Genetic Programming -- A Higher-Order Function Approach to Evolve Recursive Programs -- Trivial...”全文の入手
電子媒体
eBook
16
出版事項 2010
目次:
“...-step EMG Classification Algorithm for Human-Computer Interaction -- Affective Assessment of a Computer...”全文の入手
電子媒体
eBook
17
目次:
“...1. Introduction -- 1.1 Mathematica as a calculator -- 1.2 Numbers -- 1.3 Algebraic computations...”
全文の入手
全文の入手
電子媒体
eBook
18
出版事項 2007
目次:
“...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...”全文の入手
電子媒体
eBook
19
出版事項 2005
目次:
“.... The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its...”全文の入手
電子媒体
eBook
20
出版事項 2013
目次:
“... Components -- A High-Level Semantics for Program Execution under Total Store Order Memory -- Preemptive Type...”全文の入手
電子媒体
eBook