Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
evaluating programming » exploring programming
programming constructs » programming concepts, programming contest
computing programming » computer programming, computers programming
constructs loops » constructs lists, constructs coders, constructs core
evaluating programming » exploring programming
programming constructs » programming concepts, programming contest
computing programming » computer programming, computers programming
constructs loops » constructs lists, constructs coders, constructs core
1
Published 2013
Table of Contents:
“...Programming with People: Integrating Human-Based and Digital -- Optimal Register Allocation...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... -- A Case Study in Tightly Coupled Multi-paradigm Parallel Programming -- ASYNC Loop Constructs...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“... -- Unfounded Sets for Disjunctive Logic Programs with Arbitrary Aggregates -- Loops: Relevant or Redundant...”View full text
Electronic
eBook
4
Published 2007
Table of Contents:
“... in Partitioned Memory Architectures -- Garbage Collection and Program Analysis -- Using Prefetching to Improve...”View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“...Invited Talk -- Using Dependent Types to Port Type Systems to Low-Level Languages -- Program...”View full text
Electronic
eBook
6
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Published 2006
Table of Contents:
“... Cycles for Security Protocols -- Automating Verification of Loops by Parallelization -- On Computing...”View full text
Electronic
eBook
7
Published 2013
Table of Contents:
“...On-the-Fly Exact Computation of Bisimilarity Distances -- The Quest for Minimal Quotients...”View full text
Electronic
eBook
8
Published 2013
Table of Contents:
“... Programming Model for Heterogeneous Systems -- Compiler Optimizations for Industrial Unstructured Mesh CFD...”View full text
Electronic
eBook
9
Published 2007
Table of Contents:
“... Solving -- An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming...”View full text
Electronic
eBook
10
Published 2014
Table of Contents:
“... and Size Complexity Analysis of Integer Programs -- Proving Non termination via Safety -- Ranking Templates...”View full text
Electronic
eBook
11
Published 2012
Table of Contents:
“... Monitoring Automaton Construction for LTL -- How to Translate Efficiently Extensions of Temporal Logics...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... Satisfiability and Model-Checking -- On-the-Fly Techniques for Game-Based Software Model Checking -- Computing...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“... -- Everything Is PSPACE-Complete in Interaction Systems -- A New Approach for the Construction of Multiway...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“... Based Programming -- Proof Obligation Generation and Discharging for Recursive Definitions in VDM...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“...On Yuri Gurevich -- Yuri, Logic, and Computer Science -- Database Theory, Yuri, and Me -- Technical...”View full text
Electronic
eBook
16
Published 2008
Table of Contents:
“... Standard Hardware Description Language -- Parameterised Indexed FOR-Loops in Genetic Programming...”View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“... and Invariance Analysis of Loops -- Some Perspectives of Infinite-State Verification -- Model Checking...”View full text
Electronic
eBook
19
Published 2014
Table of Contents:
“... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...”View full text
Electronic
eBook
20
Published 2006
Table of Contents:
“... in Parallel Programs -- A Combined Technique of Non-uniform Loops -- Session 6: Ad Hoc Networks -- Neighbor...”View full text
Electronic
eBook