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

9783319516752, 9783319516769

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

An Overview of P $$\rho $$ Log

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

10.1007/978-3-319-51676-9_3 ◽

2016 ◽

pp. 34-49 ◽

Cited By ~ 6

Author(s):

Besik Dundua ◽

Temur Kutsia ◽

Klaus Reisenberger-Hagmayer

Download Full-text

A Domain-Specific Language for Software-Defined Radio

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

10.1007/978-3-319-51676-9_12 ◽

2016 ◽

pp. 173-188 ◽

Cited By ~ 2

Author(s):

Geoffrey Mainland

Keyword(s):

Software Defined Radio ◽

Domain Specific Language ◽

Specific Language ◽

Domain Specific

Download Full-text

Integrating Answer Set Programming with Object-Oriented Languages

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

10.1007/978-3-319-51676-9_4 ◽

2016 ◽

pp. 50-67 ◽

Cited By ~ 2

Author(s):

Jakob Rath ◽

Christoph Redl

Keyword(s):

Object Oriented ◽

Answer Set Programming ◽

Object Oriented Languages ◽

Answer Set

Download Full-text

Failing Faster: Overlapping Patterns for Property-Based Testing

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

10.1007/978-3-319-51676-9_7 ◽

2016 ◽

pp. 103-119

Author(s):

Jonathan Fowler ◽

Graham Hutton

Download Full-text

Funky Grooves: Declarative Programming of Full-Fledged Musical Applications

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

10.1007/978-3-319-51676-9_11 ◽

2016 ◽

pp. 163-172 ◽

Cited By ~ 1

Author(s):

Henrik Nilsson ◽

Guerric Chupin

Keyword(s):

Declarative Programming

Download Full-text

DALI for Cognitive Robotics: Principles and Prototype Implementation

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

10.1007/978-3-319-51676-9_10 ◽

2016 ◽

pp. 152-162 ◽

Cited By ~ 4

Author(s):

Stefania Costantini ◽

Giovanni De Gasperis ◽

Giulio Nazzicone

Keyword(s):

Cognitive Robotics ◽

Prototype Implementation

Download Full-text

Boltzmann Samplers for Closed Simply-Typed Lambda Terms

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

10.1007/978-3-319-51676-9_8 ◽

2016 ◽

pp. 120-135 ◽

Cited By ~ 6

Author(s):

Maciej Bendkowski ◽

Katarzyna Grygiel ◽

Paul Tarau

Download Full-text

Selection Equilibria of Higher-Order Games

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

10.1007/978-3-319-51676-9_9 ◽

2016 ◽

pp. 136-151 ◽

Cited By ~ 2

Author(s):

Jules Hedges ◽

Paulo Oliva ◽

Evguenia Shprits ◽

Viktor Winschel ◽

Philipp Zahn

Keyword(s):

Higher Order

Download Full-text

Canonicalizing High-Level Constructs in Picat

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

10.1007/978-3-319-51676-9_2 ◽

2016 ◽

pp. 19-33

Author(s):

Neng-Fa Zhou ◽

Jonathan Fruhman

Keyword(s):

High Level

Download Full-text

Extending Answer Set Programs with Interpreted Functions as First-Class Citizens

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

10.1007/978-3-319-51676-9_5 ◽

2016 ◽

pp. 68-85

Author(s):

Christoph Redl

Keyword(s):

Answer Set

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

An Overview of P $$\rho $$ Log

A Domain-Specific Language for Software-Defined Radio

Integrating Answer Set Programming with Object-Oriented Languages

Failing Faster: Overlapping Patterns for Property-Based Testing

Funky Grooves: Declarative Programming of Full-Fledged Musical Applications

DALI for Cognitive Robotics: Principles and Prototype Implementation

Boltzmann Samplers for Closed Simply-Typed Lambda Terms

Selection Equilibria of Higher-Order Games

Canonicalizing High-Level Constructs in Picat

Extending Answer Set Programs with Interpreted Functions as First-Class Citizens

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