Resultados da pesquisa - programs semantic programs https array https

1

Genetic Programming 11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008, Proceedings /

Publicado em 2008

Sumário: “... Problems -- Semantic Building Blocks in Genetic Programming -- A Simple Powerful Constraint for Genetic...”
Obter o texto integral

Recurso Electrónico livro electrónico

2

Programming Languages 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, September 29- October 4, 2013, Proceedings /

Publicado em 2013

Sumário: “... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...”
Obter o texto integral

Recurso Electrónico livro electrónico

3

Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...

Publicado em 2008

Sumário: “... Semantics for Hybrid Systems -- Full Abstraction for Linda -- Practical Programming with Higher-Order...”
Obter o texto integral

Recurso Electrónico livro electrónico

4

Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...

Publicado em 2010

Sumário: “... with Arrays -- A Semantic Framework for Declassification and Endorsement -- Amortised Resource Analysis...”
Obter o texto integral

Recurso Electrónico livro electrónico

5

Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings /

Publicado em 2006

Sumário: “... -- Symbolic Analysis of Imperative Programming Languages -- Array-Structured Object Types for Mathematical...”
Obter o texto integral

Recurso Electrónico livro electrónico

6

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...

Publicado em 2014

Sumário: “... Computation -- An Array-Oriented Language with Static Rank Polymorphism -- Gradual Typing for Annotated Type...”
Obter o texto integral

Recurso Electrónico livro electrónico

7

Value-Range Analysis of C Programs Towards Proving the Absence of Buffer Overflow Vulnerabilities /

Por Simon, Axel., Simon, Axel.
Publicado em 2008

Sumário: “...From the Contents: Preface -- Introduction.-Value Range Analysis -- Analysing C -- A Semantics...”
Obter o texto integral

Recurso Electrónico livro electrónico

8

Logic Based Program Synthesis and Transformation 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers /

Publicado em 2006

Sumário: “... Programming with Function Patterns -- Transformational Verification of Parameterized Protocols Using Array...”
Obter o texto integral

Recurso Electrónico livro electrónico

9

Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /

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

10

Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers /

Publicado em 2005

Sumário: “...Semantic Foundations -- Retracing the Semantics of CSP -- Seeing Beyond Divergence -- Refinement...”
Obter o texto integral

Recurso Electrónico livro electrónico

11

C++/CLI The Visual C++ Language for .NET /

Por Hogenson, Gordon., Hogenson, Gordon.
Publicado em 2007

Sumário: “...Introducing C++/CLI -- A Quick Tour of the C++/CLI Language Features -- Building C++/CLI Programs...”
Obter o texto integral

Recurso Electrónico livro electrónico

12

Foundations of C++/CLI The Visual C++ Language for .NET 3.5 /

Por Hogenson, Gordon., Hogenson, Gordon.
Publicado em 2008

Sumário: “...Introducing C++/CLI -- A Quick Tour of the C++/CLI Language Features -- Building C++/CLI Programs...”
Obter o texto integral

Recurso Electrónico livro electrónico

13

Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings /

Publicado em 2006

Sumário: “... Abstraction of Recursive Programs -- Relative Safety -- Resource Usage Analysis for the ?-Calculus -- Semantic...”
Obter o texto integral

Recurso Electrónico livro electrónico

14

Languages and Compilers for High Performance Computing 17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers /

Publicado em 2005

Sumário: “... of Array Semantics -- MSA: Multiphase Specifically Shared Arrays -- Supporting SQL-3 Aggregations on Grid...”
Obter o texto integral

Recurso Electrónico livro electrónico

15

Languages and Compilers for Parallel Computing 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers /

Publicado em 2005

Sumário: “...Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward...”
Obter o texto integral

Recurso Electrónico livro electrónico

16

Automated Reasoning 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings /

Publicado em 2008

Sumário: “... -- Linear Quantifier Elimination -- Quantitative Separation Logic and Programs with Lists -- On Automating...”
Obter o texto integral

Recurso Electrónico livro electrónico

17

Logics in Artificial Intelligence 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings /

Publicado em 2006

Sumário: “... -- cc?: A Correspondence-Checking Tool for Logic Programs Under the Answer-Set Semantics -- A Logic...”
Obter o texto integral

Recurso Electrónico livro electrónico

18

Grammatical Inference: Algorithms and Applications 8th International Colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006, Proceedings /

Publicado em 2006

Sumário: “... Induction for Natural Language -- Stochastic Analysis of Lexical and Semantic Enhanced Structural Language...”
Obter o texto integral

Recurso Electrónico livro electrónico

19

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2...

Publicado em 2010

Sumário: “... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”
Obter o texto integral

Recurso Electrónico livro electrónico

20

Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of S...

Publicado em 2008

Sumário: “... Stochastic Games -- Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics -- A Linear...”
Obter o texto integral

Recurso Electrónico livro electrónico

Refinar a Pesquisa