Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
function structures » functions structures, function structure, functional structures
programs combining » problems combining
combining https » computing https, combining hst, combining bottom
https function » its function, sites function, ups function
function structures » functions structures, function structure, functional structures
programs combining » problems combining
combining https » computing https, combining hst, combining bottom
https function » its function, sites function, ups function
1
Published 2006
Table of Contents:
“...-Management System -- A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order...”View full text
Electronic
eBook
2
Published 2005
Table of Contents:
“... Procedures -- Connecting Many-Sorted Structures and Theories Through Adjoint Functions -- Combining Data...”View full text
Electronic
eBook
3
Published 2007
Table of Contents:
“... Combinations -- Constant-Round Private Database Queries -- Session A8 -- Universal Algebra and Hardness Results...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“... Theory of Regular Languages -- Reversible Flowchart Languages and the Structured Reversible Program...”View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”View full text
Electronic
eBook
7
Published 2007
Table of Contents:
“... -- A Logic Programming Framework for Combinational Circuit Synthesis -- Spatial-Yap: A Logic-Based...”View full text
Electronic
eBook
8
Published 2014
Table of Contents:
“...Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification...”View full text
Electronic
eBook
9
Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...
Published 2008
Table of Contents:
“... Encodings and Dependent Types -- Functional and Logic Programming -- Programming in JoCaml (Tool...”View full text
Electronic
eBook
10
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Published 2015
Table of Contents:
“... Programs. A Theory of Name Resolution -- A Core Calculus for XQuery 3.0: Combining Navigational and Pattern...”View full text
Electronic
eBook
11
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
Published 2005
Table of Contents:
“... for Control-Dependence and Slicing for Modern Program Structures -- Summaries for While Programs...”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“... Networks -- Multi-class Prediction Using Stochastic Logic Programs -- Structuring Natural Language Data...”View full text
Electronic
eBook
13
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Published 2006
Table of Contents:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”View full text
Electronic
eBook
14
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Published 2013
Table of Contents:
“... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...”View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“... Multiplication with a Classifier Learning System -- A Language for the Compact Representation of Multiple Program...”View full text
Electronic
eBook
16
Published 2014
Table of Contents:
“... for Visualizing Semantic Information -- From Raw Data to Rich Visualization – Combining Visual Search with Data...”View full text
Electronic
eBook
17
Published 2013
Table of Contents:
“... -- Constraint-Based Program Reasoning with Heaps and Separation -- Model Combinators for Hybrid Optimization...”View full text
Electronic
eBook
18
Published 2008
Table of Contents:
“... by Integer Linear Programming -- An Efficient Lagrangian Relaxation for the Contact Map Overlap Problem -- A...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“... Population Using Pooled DNA -- Pathway-Based Functional Analysis of Metagenomes -- Hierarchical Generative...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“...Invited Talks -- Regular Labelings and Geometric Structures -- Algorithmic Aspects of Secure...”View full text
Electronic
eBook