Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
computer programming » computer program, computer programs
programming program » programming programmed, programming problem, programming problems
program constructs » program construction, program constructing, programming constructs
services computer » sciences computer
constructs loops » constructs lists, constructs coders, constructs core
computer programming » computer program, computer programs
programming program » programming programmed, programming problem, programming problems
program constructs » program construction, program constructing, programming constructs
services computer » sciences computer
constructs loops » constructs lists, constructs coders, constructs core
1
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Published 2014
Table of Contents:
“... Computation -- An Array-Oriented Language with Static Rank Polymorphism -- Gradual Typing for Annotated Type...”View full text
Electronic
eBook
2
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Published 2013
Table of Contents:
“... -- Language Constructs for Non-Well-Founded Computation -- Laziness by Need -- FliPpr: A Prettier Invertible...”View full text
Electronic
eBook
3
Published 2013
Table of Contents:
“...Programming with People: Integrating Human-Based and Digital -- Optimal Register Allocation...”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
Published 2005
Table of Contents:
“... -- Unfounded Sets for Disjunctive Logic Programs with Arbitrary Aggregates -- Loops: Relevant or Redundant...”View full text
Electronic
eBook
7
Table of Contents:
“...Basic Object-Oriented Programming -- Computers and Programming -- Object-Oriented Introduction...”
View full text
View full text
Electronic
eBook
8
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
9
Published 2013
Table of Contents:
“...On-the-Fly Exact Computation of Bisimilarity Distances -- The Quest for Minimal Quotients...”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 2007
Table of Contents:
“... Solving -- An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming...”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 2013
Table of Contents:
“... Programming Model for Heterogeneous Systems -- Compiler Optimizations for Industrial Unstructured Mesh CFD...”View full text
Electronic
eBook
14
Published 2005
Table of Contents:
“... Communication Only Placements and Their Use for Parallel Program Construction -- Hierarchical Parallelism...”View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“... -- A Case Study in Tightly Coupled Multi-paradigm Parallel Programming -- ASYNC Loop Constructs...”View full text
Electronic
eBook
16
17
Published 2010
Table of Contents:
“...On Yuri Gurevich -- Yuri, Logic, and Computer Science -- Database Theory, Yuri, and Me -- Technical...”View full text
Electronic
eBook
18
Published 2008
Table of Contents:
“... Process Creation -- An Observational Model for Transactional Calculus of Services Orchestration...”View full text
Electronic
eBook
19
Published 2012
Table of Contents:
“... Monitoring Automaton Construction for LTL -- How to Translate Efficiently Extensions of Temporal Logics...”View full text
Electronic
eBook
20
Table of Contents:
“... and Restarts -- The Special Operators -- Programming in the Large: Packages and Symbols -- LOOP for Black Belts...”
View full text
View full text
Electronic
eBook