Practical Aspects of Declarative Languages - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319196855, 9783319196862

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Haskell Implementation of a Rule-Based Program Transformation for C Programs

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science ◽

10.1007/978-3-319-19686-2_8 ◽

2015 ◽

pp. 105-114 ◽

Cited By ~ 2

Author(s):

Salvador Tamarit ◽

Guillermo Vigueras ◽

Manuel Carro ◽

Julio Mariño

Keyword(s):

Program Transformation ◽

Rule Based ◽

C Programs

Download Full-text

Programming Microcontrollers in OCaml: The OCaPIC Project

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science ◽

10.1007/978-3-319-19686-2_10 ◽

2015 ◽

pp. 132-148 ◽

Cited By ~ 3

Author(s):

Benoît Vaugon ◽

Philippe Wang ◽

Emmanuel Chailloux

Download Full-text

Ontology-Driven Data Semantics Discovery for Cyber-Security

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science ◽

10.1007/978-3-319-19686-2_1 ◽

2015 ◽

pp. 1-16 ◽

Cited By ~ 5

Author(s):

Marcello Balduccini ◽

Sarah Kushner ◽

Jacquelin Speck

Keyword(s):

Cyber Security ◽

Data Semantics

Download Full-text

CHR(Curry): Interpretation and Compilation of Constraint Handling Rules in Curry

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science ◽

10.1007/978-3-319-19686-2_6 ◽

2015 ◽

pp. 74-89

Author(s):

Michael Hanus

Keyword(s):

Constraint Handling

Download Full-text

On Logic Programming Representations of Lambda Terms: de Bruijn Indices, Compression, Type Inference, Combinatorial Generation, Normalization

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science ◽

10.1007/978-3-319-19686-2_9 ◽

2015 ◽

pp. 115-131 ◽

Cited By ~ 5

Author(s):

Paul Tarau

Keyword(s):

Logic Programming ◽

Type Inference ◽

Combinatorial Generation ◽

De Bruijn ◽

Compression Type ◽

De Bruijn Indices

Download Full-text

On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science ◽

10.1007/978-3-319-19686-2_3 ◽

2015 ◽

pp. 34-49 ◽

Cited By ~ 1

Author(s):

Flavio Cruz ◽

Ricardo Rocha

Keyword(s):

Linear Logic ◽

Logic Programs

Download Full-text

Declaratively Solving Google Code Jam Problems with Picat

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science ◽

10.1007/978-3-319-19686-2_4 ◽

2015 ◽

pp. 50-57 ◽

Cited By ~ 2

Author(s):

Sergii Dymchenko ◽

Mariia Mykhailova

Download Full-text

Reactive Single-Page Applications with Dynamic Dataflow

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science ◽

10.1007/978-3-319-19686-2_5 ◽

2015 ◽

pp. 58-73 ◽

Cited By ~ 3

Author(s):

Simon Fowler ◽

Loïc Denuzière ◽

Adam Granicz

Download Full-text

Implementation and Performance of Probabilistic Inference Pipelines

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science ◽

10.1007/978-3-319-19686-2_7 ◽

2015 ◽

pp. 90-104 ◽

Cited By ~ 3

Author(s):

Dimitar Shterionov ◽

Gerda Janssens

Keyword(s):

Probabilistic Inference ◽

And Performance

Download Full-text

State Space Planning Using Transaction Logic

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science ◽

10.1007/978-3-319-19686-2_2 ◽

2015 ◽

pp. 17-33 ◽

Cited By ~ 2

Author(s):

Reza Basseda ◽

Michael Kifer

Keyword(s):

State Space ◽

Space Planning ◽

Transaction Logic ◽

State Space Planning

Download Full-text

Practical Aspects of Declarative Languages - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

A Haskell Implementation of a Rule-Based Program Transformation for C Programs

Programming Microcontrollers in OCaml: The OCaPIC Project

Ontology-Driven Data Semantics Discovery for Cyber-Security

CHR(Curry): Interpretation and Compilation of Constraint Handling Rules in Curry

On Logic Programming Representations of Lambda Terms: de Bruijn Indices, Compression, Type Inference, Combinatorial Generation, Normalization

On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities

Declaratively Solving Google Code Jam Problems with Picat

Reactive Single-Page Applications with Dynamic Dataflow

Implementation and Performance of Probabilistic Inference Pipelines

State Space Planning Using Transaction Logic

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science
Latest Publications