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