1
Publicado em 2013
Sumário: ... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...
Obter o texto integral
Recurso Eletrônico livro eletrônico
2
Publicado em 2014
Sumário: ...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...
Obter o texto integral
Recurso Eletrônico livro eletrônico
3
Publicado em 2013
Sumário: ... Applications: FRP in Agda in HTML5 -- Parallel Performance of Declarative Programming Using a PGAS Model....
Obter o texto integral
Recurso Eletrônico livro eletrônico
4
Publicado em 2008
Sumário: ...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...
Obter o texto integral
Recurso Eletrônico livro eletrônico
5
Publicado em 2014
Sumário: ... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...
Obter o texto integral
Recurso Eletrônico livro eletrônico
6
Publicado em 2010
Sumário: ... for Declarative Web Programming -- Constraints -- Lazy Explanations for Constraint Propagators...
Obter o texto integral
Recurso Eletrônico livro eletrônico
7
Publicado em 2006
Sumário: ... Frameworks -- Regular Talks Theory -- Tableau Calculi for Answer Set Programming -- Declarative Semantics...
Obter o texto integral
Recurso Eletrônico livro eletrônico
8
Publicado em 2008
Sumário: ... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...
Obter o texto integral
Recurso Eletrônico livro eletrônico
9
Publicado em 2013
Sumário: ... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...
Obter o texto integral
Recurso Eletrônico livro eletrônico
10
Publicado em 2005
Sumário: ... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...
Obter o texto integral
Recurso Eletrônico livro eletrônico
11
Publicado em 2013
Sumário: ... -- Declarative Name Binding and Scope Rules -- On the Reusable Specification of Non-functional Properties in DSLs...
Obter o texto integral
Recurso Eletrônico livro eletrônico
12
Publicado em 2005
Sumário: ... -- Computing Upward Planar Drawings Using Switch-Regularity Heuristics -- Serial and Parallel Multilevel Graph...
Obter o texto integral
Recurso Eletrônico livro eletrônico
13
Publicado em 2014
Sumário: ... Process Mining to Resource-Oriented Systems -- User–Defined Rules Made Simple with Functional Programming...
Obter o texto integral
Recurso Eletrônico livro eletrônico