Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
function structures » functions structures, function structure, functional structures
program system » program systems, program sistem, programs systems
https function » its function, sites function, ups function
system https » systems https, ecosystems https
function structures » functions structures, function structure, functional structures
program system » program systems, program sistem, programs systems
https function » its function, sites function, ups function
system https » systems https, ecosystems https
1
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Published 2007
Table of Contents:
“... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“...-Management System -- A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... Analysis with an Application to Partial Evaluation -- New Results on Type Systems for Functional Logic...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... and the Formation of the Earliest Cerebral Cortical Circuits -- Axonal Function -- Sodium Signals...”View full text
Electronic
eBook
5
Published 2012
Table of Contents:
“... Approximation of Continuous Systems with Trapezoid Step Functions -- Signedness-Agnostic Program Analysis...”View full text
Electronic
eBook
6
Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...
Published 2008
Table of Contents:
“... Semantics for Hybrid Systems -- Full Abstraction for Linda -- Practical Programming with Higher-Order...”View full text
Electronic
eBook
7
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
8
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Published 2015
Table of Contents:
“...Probabilistic Programs as Spreadsheet Queries -- Static Analysis of Spreadsheet Applications...”View full text
Electronic
eBook
9
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
10
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Published 2013
Table of Contents:
“... and Implementing Probabilistic Concurrent Systems -- Model-Checking Higher-Order Programs with Recursive Types...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”View full text
Electronic
eBook
12
Subjects:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text
View full text
Electronic
eBook
13
Published 2007
Table of Contents:
“... Codes -- Hash Functions in the Dedicated-Key Setting: Design Choices and MPP Transforms -- Unrestricted...”View full text
Electronic
eBook
14
Published 2006
Table of Contents:
“... to Dimension Zero-One Laws -- The Connectivity of Boolean Satisfiability: Computational and Structural...”View full text
Electronic
eBook
15
Published 2013
Table of Contents:
“... -- Optimisation of Generic Programs through Inlining -- A Type-and Control-Flow Analysis for System F...”View full text
Electronic
eBook
16
Published 2007
Table of Contents:
“...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...”View full text
Electronic
eBook
17
Published 2008
Table of Contents:
“...Invited Talk -- The Life of a Logic Programming System -- Special Session -- Uniting the Prolog...”View full text
Electronic
eBook
18
Published 2008
Table of Contents:
“... Theory of Regular Languages -- Reversible Flowchart Languages and the Structured Reversible Program...”View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“... Tight Bound for EMAC -- Constructing Single- and Multi-output Boolean Functions with Maximal Algebraic...”View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”View full text
Electronic
eBook