Tópicos Sugeridos dentro de su búsqueda.
Tópicos Sugeridos dentro de su búsqueda.
Buscar alternativas:
functional programmed » functions programmed, functional programming, functional programs
programmed program » programmes programme, programming program, programs program
program a » program _
https » http
functional programmed » functions programmed, functional programming, functional programs
programmed program » programmes programme, programming program, programs program
program a » program _
https » http
1
Publicado 2010
Tabla de Contenidos:
“... -- ??: Dependent Types without the Sugar -- Haskell Type Constraints Unleashed -- A Functional Framework for Result...”Enlace del recurso
Electrónico
eBook
2
Publicado 2008
Tabla de Contenidos:
“... for Program Analysis -- Refereed Papers -- Integrating Answer Set Reasoning with Constraint Solving Techniques...”Enlace del recurso
Electrónico
eBook
3
Publicado 2010
Tabla de Contenidos:
“... Programming -- A Simple Region Inference Algorithm for a First-Order Functional Language -- A Theoretical...”Enlace del recurso
Electrónico
eBook
4
Publicado 2011
Materias:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”Enlace del recurso
Electrónico
eBook
5
Materias:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Enlace del recurso
Enlace del recurso
Electrónico
eBook
6
Publicado 2006
Tabla de Contenidos:
“... of Production Rules for Integrity Maintenance -- Modules for Prolog Revisited -- A Local Algorithm...”Enlace del recurso
Electrónico
eBook
7
Publicado 2007
Tabla de Contenidos:
“... -- A Logic Programming Framework for Combinational Circuit Synthesis -- Spatial-Yap: A Logic-Based...”Enlace del recurso
Electrónico
eBook
8
Publicado 2005
Tabla de Contenidos:
“...) -- Towards an Integration of Answer Set and Constraint Solving -- A Comparison of CLP(FD) and ASP Solutions...”Enlace del recurso
Electrónico
eBook
9
Publicado 2008
Tabla de Contenidos:
“...Invited Talk -- The Life of a Logic Programming System -- Special Session -- Uniting the Prolog...”Enlace del recurso
Electrónico
eBook
10
Tabla de Contenidos:
“... Programming with Ruby -- Functional Programming in Standard ML -- Language Implementation in Standard ML...”
Enlace del recurso
Enlace del recurso
Electrónico
eBook
11
Publicado 2007
Tabla de Contenidos:
“... Binary Decision Diagrams for 0-1 Programming -- YIELDS: A Yet Improved Limited Discrepancy Search...”Enlace del recurso
Electrónico
eBook
12
Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...
Publicado 2008
Tabla de Contenidos:
“... Encodings and Dependent Types -- Functional and Logic Programming -- Programming in JoCaml (Tool...”Enlace del recurso
Electrónico
eBook
13
Publicado 2007
Tabla de Contenidos:
“... on Call Patterns Semantics -- On a Tighter Integration of Functional and Logic Programming -- Invited Talk...”Enlace del recurso
Electrónico
eBook
14
Publicado 2005
Tabla de Contenidos:
“...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”Enlace del recurso
Electrónico
eBook
15
Publicado 2012
Tabla de Contenidos:
“... Disambiguation Errors -- A Formal Proof of Square Root and Division Elimination in Embedded Programs -- Coherent...”Enlace del recurso
Electrónico
eBook
16
Publicado 2006
Tabla de Contenidos:
“... Program Analysis and Accurate Data Types in Usage Analysis -- Session 5 -- A Modal Language for the Safety...”Enlace del recurso
Electrónico
eBook
17
Publicado 2013
Tabla de Contenidos:
“... -- Robustness Analysis of Finite Precision Implementations -- A Hoare Logic for SIMT Programs -- The Undefined...”Enlace del recurso
Electrónico
eBook
18
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Publicado 2013
Tabla de Contenidos:
“... -- Higher-Order Processes, Functions, and Sessions: A Monadic Integration -- Concurrent Flexible...”Enlace del recurso
Electrónico
eBook
19
Publicado 2007
Tabla de Contenidos:
“... Generalisation Operators for First-Order Objects -- Efficient and Scalable Induction of Logic Programs Using a...”Enlace del recurso
Electrónico
eBook
20
Publicado 2008
Tabla de Contenidos:
“... -- Exposing the Programming Process -- Apprentice-Based Learning Via Integrated Lectures and Assignments...”Enlace del recurso
Electrónico
eBook