Practical aspects of declarative languages : 17th international symposium, padl 2015, portland, or, usa, june 18-19, 2015. Proceedings / edited by Enrico Pontelli, Tran Cao Son.
Tipo de material:
TextoSeries Lecture Notes in Computer Science ; 9131Editor: Cham : Springer International Publishing : Springer, 2015Descripción: x, 149 páginas : 29 ilustracionesTipo de contenido: - texto
- computadora
- recurso en línea
- 9783319196862
- QA76.7-76.73
Springer eBooks
Ontology-Driven Data Semantics Discovery for Cyber-Security -- State Space Planning Using Transaction Logic -- On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule -- Declaratively Solving Google Code Jam Problems with Picat -- Reactive Single-Page Applications with Dynamic Dataflow -- CHR(Curry): Interpretation and Compilation of Constraint Handling Rules in Curry -- Implementation and Performance of Probabilistic Inference -- A Haskell Implementation of a Rule-Based Program Transformation for C Programs -- On Logic Programming Representations of Lambda Terms: de Bruijn Indices, Compression, Type Inference, Combinatorial Generation, Normalization -- Programming Microcontrollers in OCaml: the OCaPICProject.
Para consulta fuera de la UANL se requiere clave de acceso remoto.