Search alternatives:
programming functionality » programming functional, programming functionals, program functionality
declarative programming » recursive programming
functionality function » functionals function, functionaries function, functional functions
parallel declarative » paradigm declarative, parallel collaborative, parallel iterative
function https » functions https, fiction https
1
Published 2013
Table of Contents: ... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...
View full text
Electronic eBook
2
Published 2014
Table of Contents: ...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...
View full text
Electronic eBook
3
Published 2013
Table of Contents: ... Applications: FRP in Agda in HTML5 -- Parallel Performance of Declarative Programming Using a PGAS Model....
View full text
Electronic eBook
4
Published 2008
Table of Contents: ...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...
View full text
Electronic eBook
5
Published 2014
Table of Contents: ... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ... for Declarative Web Programming -- Constraints -- Lazy Explanations for Constraint Propagators...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ... Frameworks -- Regular Talks Theory -- Tableau Calculi for Answer Set Programming -- Declarative Semantics...
View full text
Electronic eBook
8
Published 2008
Table of Contents: ... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...
View full text
Electronic eBook
9
Published 2013
Table of Contents: ... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...
View full text
Electronic eBook
10
Published 2005
Table of Contents: ... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...
View full text
Electronic eBook
11
Published 2013
Table of Contents: ... -- Declarative Name Binding and Scope Rules -- On the Reusable Specification of Non-functional Properties in DSLs...
View full text
Electronic eBook
12
Published 2005
Table of Contents: ... -- Computing Upward Planar Drawings Using Switch-Regularity Heuristics -- Serial and Parallel Multilevel Graph...
View full text
Electronic eBook
13
Published 2014
Table of Contents: ... Process Mining to Resource-Oriented Systems -- User–Defined Rules Made Simple with Functional Programming...
View full text
Electronic eBook