Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming recursion » programming decision, programming session, programming decisions
structures functions » structure functions, structure function
based tools » based tool, basic tools
programming recursion » programming decision, programming session, programming decisions
structures functions » structure functions, structure function
based tools » based tool, basic tools
1
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Published 2013
Table of Contents:
“... -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational...”View full text
Electronic
eBook
2
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
Published 2005
Table of Contents:
“... with Recursion -- Determinacy Inference for Logic Programs -- Automatic Verification of Pointer Programs Using...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“... Conformance Checking of Recursive and Parallel Component-Based Systems -- Structural Testing of Component...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... to Summarise Data Streams and Highlight Anomalous Changes -- Using Enriched Ontology Structure for Improving...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... Based Approach for Optimal Clustering of Distributed Program's Call Flow Graph -- Fuzzy Adaptive Swarm...”View full text
Electronic
eBook
7
Published 2007
Table of Contents:
“... -- Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures -- Revamping TVLA...”View full text
Electronic
eBook
8
Published 2005
Table of Contents:
“... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“... Classification Rules Based on Association Rules Using Formal Concept Analysis -- Parameter Inference of Cost...”View full text
Electronic
eBook