Sugestões de Tópicos dentro de sua busca.
Sugestões de Tópicos dentro de sua busca.
Buscas alternativas:
service specification » service specifications, interface specification, service application
specification program » specifications program, verification program, purification program
program constructs » program construction, program constructing, programming constructs
constructs https » construction https, constructs loops, constructs arti
program program » programs program, programming program
service specification » service specifications, interface specification, service application
specification program » specifications program, verification program, purification program
program constructs » program construction, program constructing, programming constructs
constructs https » construction https, constructs loops, constructs arti
program program » programs program, programming program
1
Sumário:
“... -- Programming Units: Processes -- Extended Constructs -- Design in P: First Steps -- Formal properties of SIGNAL...”
Obter o texto integral
Obter o texto integral
Recurso Eletrônico
livro eletrônico
2
Publicado em 2013
Sumário:
“... framework -- Code generators for jABC -- Verification and validation of code generators -- Domain-specific...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
3
Sumário:
“...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...”
Obter o texto integral
Obter o texto integral
Recurso Eletrônico
livro eletrônico
4
Publicado em 2015
Sumário:
“... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
5
Publicado em 2015
Sumário:
“... and Compiling Techniques A Refactoring Library for Scala Compiler Extensions -- Feature-Specific Profiling -- A...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
6
Sumário:
“... Specifications -- Structured Program Synthesis -- Epilogue -- Conclusions: Toward Constructive Logic as a...”
Obter o texto integral
Obter o texto integral
Recurso Eletrônico
livro eletrônico
7
Publicado em 2012
Sumário:
“... in Computer-Aided Cryptography: Proofs, Attacks and Designs -- Program Certification by Higher-Order Model...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
8
Publicado em 2006
Sumário:
“...Separating Concerns with Domain Specific Languages -- Event-Based Programming Without Inversion...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
9
Publicado em 2008
Sumário:
“... -- ML Modules and Haskell Type Classes: A Constructive Comparison -- The Essence of Form Abstraction...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
10
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Publicado em 2013
Sumário:
“... and Verification of GPU Kernels -- Verifying Concurrent Programs against Sequential Specifications...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
11
Publicado em 2006
Sumário:
“... I -- Routing (Un-) Splittable Flow in Games with Player-Specific Linear Latency Functions...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
12
Publicado em 2013
Assuntos:
“...Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
13
Publicado em 2005
Sumário:
“... Compiler for AspectJ -- Certifiable Program Generation -- Domain-Specific Language -- A Generative...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
14
Sumário:
“...Introduction to Programming in Fortran -- Control Constructs -- Modules and Procedures -- Arrays...”
Obter o texto integral
Obter o texto integral
Recurso Eletrônico
livro eletrônico
15
Sumário:
“...Abstract Machines -- How to Describe a Programming Language -- Foundations -- Names...”
Obter o texto integral
Obter o texto integral
Recurso Eletrônico
livro eletrônico
16
Publicado em 2006
Sumário:
“... Combined B and CSP Specification to Java Programs -- Symmetry Reduction for B by Permutation Flooding...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
17
Publicado em 2005
Sumário:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
18
Publicado em 2014
Sumário:
“... Reflection Resolution for Java -- Constructing Call Graphs of Scala Programs -- Finding Reference-Counting...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
19
Publicado em 2005
Sumário:
“... of Imperative Programs by Constraint Solving -- Run-Time Profiling of Functional Logic Programs -- Constructive...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
20
Sumário:
“... to Atomic Bits: A Lower Bound and an Optimal Construction -- Chap. 13 - Bounded Constructions of Atomic b...”
Obter o texto integral
Obter o texto integral
Recurso Eletrônico
livro eletrônico