Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functionals function » function function, functions functional, function dysfunction
programs denotation » programs rotation, programs derivation, programs education
https functionals » type functionals, data functionals, flaps functional
denotation https » degeneration https, education https, automation https
function https » functions https, fiction https
functionals function » function function, functions functional, function dysfunction
programs denotation » programs rotation, programs derivation, programs education
https functionals » type functionals, data functionals, flaps functional
denotation https » degeneration https, education https, automation https
function https » functions https, fiction https
1
Published 2005
Table of Contents:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”View full text
Electronic
eBook
2
Published 2013
Table of Contents:
“... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...”View full text
Electronic
eBook
3
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
4
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
Published 2005
Table of Contents:
“...Programming with Explicit Security Policies -- Trace Partitioning in Abstract Interpretation Based...”View full text
Electronic
eBook
5
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
6
Subjects:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
View full text
View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... Functional Programs -- Denotation by Transformation -- Constraint Solving and Analysis -- Generation of Rule...”View full text
Electronic
eBook
8
Table of Contents:
“...Opening -- Specification Facets -- Hierarchies and Compositions -- Denotations and Computations...”
View full text
View full text
Electronic
eBook
9
Table of Contents:
“... -- Types -- Program Analysis -- Denotational Semantics -- Hoare Logic -- Abstract Interpretation -- App. A...”
View full text
View full text
Electronic
eBook
10
Published 2012
Table of Contents:
“... Denotational Model for Component-Based Risk Analysis -- Synthesis of Hierarchical Systems -- A Modal...”View full text
Electronic
eBook
11
Published 2007
Table of Contents:
“... in the Plane -- On the Fractional Chromatic Number of Monotone Self-dual Boolean Functions -- On the Complexity...”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“... Symbolic Intruder Model for Hash-Collision Attacks -- A Denotational Approach to Scope-Based Compensable...”View full text
Electronic
eBook
13
Published 2013
Table of Contents:
“....- Unambiguous Automata Denoting Finitely Sequential Functions.- Duplication-Loss Genome Alignment: Complexity...”View full text
Electronic
eBook
14
Published 2008
Table of Contents:
“... by First Order Functional Programs -- The Structure of Detour Degrees -- Hamiltonicity of Matching...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“...Invited Papers and Abstract -- Invariants and Well-Foundedness in Program Algebra -- A Theory...”View full text
Electronic
eBook