Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
Pesquisas alternativas:
programming tools » programming theory, programming problems
tools programs » tools program, models programs, proofs programs
https » http
programming tools » programming theory, programming problems
tools programs » tools program, models programs, proofs programs
https » http
1
Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...
Publicado em 2008
Sumário:
“... Encodings and Dependent Types -- Functional and Logic Programming -- Programming in JoCaml (Tool...”Obter o texto integral
Recurso Electrónico
livro electrónico
2
Publicado em 2014
Sumário:
“...Classifying and Solving Horn Clauses for Verification -- Static Analysis of Programs with Imprecise...”Obter o texto integral
Recurso Electrónico
livro electrónico
3
Assuntos:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
4
Publicado em 2010
Sumário:
“... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...”Obter o texto integral
Recurso Electrónico
livro electrónico
5
Sumário:
“...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
6
Sumário:
“...Basic Object-Oriented Programming -- Computers and Programming -- Object-Oriented Introduction...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
7
Publicado em 2008
Sumário:
“... Comprehensions -- Program Complexity in Hierarchical Module Checking -- Valigator: A Verification Tool with Bound...”Obter o texto integral
Recurso Electrónico
livro electrónico
8
Publicado em 2010
Sumário:
“... of Constructions with Type-Based Termination -- Aligators for Arrays (Tool Paper) -- Clause Elimination Procedures...”Obter o texto integral
Recurso Electrónico
livro electrónico
9
Publicado em 2006
Sumário:
“... Constraints in the Biochemical Abstract Machine BIOCHAM -- Tools for Program Development -- Declarative...”Obter o texto integral
Recurso Electrónico
livro electrónico
10
Publicado em 2015
Sumário:
“... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”Obter o texto integral
Recurso Electrónico
livro electrónico
11
Publicado em 2014
Sumário:
“... Tool for C (Competition Contribution) -- MU-CSeq: Sequentialization of C Programs by Shared Memory...”Obter o texto integral
Recurso Electrónico
livro electrónico
12
Publicado em 2015
Sumário:
“... Objectives -- syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications...”Obter o texto integral
Recurso Electrónico
livro electrónico
13
Publicado em 2007
Sumário:
“... Programs with Arrays -- Property-Driven Partitioning for Abstraction Refinement -- Combining Abstraction...”Obter o texto integral
Recurso Electrónico
livro electrónico
14
Publicado em 2008
Sumário:
“... and the OpenMP Performance -- Exploiting Loop-Level Parallelism for SIMD Arrays Using OpenMP -- OpenMP Extensions...”Obter o texto integral
Recurso Electrónico
livro electrónico
15
Publicado em 2005
Sumário:
“...The Square Kilometre Array: An International Engineering Perspective -- The Allen Telescope Array...”Obter o texto integral
Recurso Electrónico
livro electrónico
16
Sumário:
“... and suffix arrays -- Analysis of the Burrows-Wheeler Transform -- Variants of the Burrows-Wheeler Transform...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
17
Sumário:
“... -- Further Traits -- Arrays -- Tuples -- Functional Programming in Scala -- Higher Order Functions...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
18
Sumário:
“...The Java Story -- Compiling and Running Java Programs -- Data Types, Arithmetic and Arrays...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
19
Publicado em 2006
Sumário:
“... Scope Analysis for Generic Programs on Arrays....”Obter o texto integral
Recurso Electrónico
livro electrónico
20
Assuntos:
“...Statistics for Social Sciences, Humanities, Law. https://scigraph.springernature.com/ontologies...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico