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 Berlin Heidelberg

9783642183775, 9783642183782

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Combinators for Message-Passing in Haskell

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

10.1007/978-3-642-18378-2_4 ◽

2011 ◽

pp. 19-33

Author(s):

Neil C. C. Brown

Keyword(s):

Message Passing

Download Full-text

Intel $^{\mbox{\scriptsize\circledR}}$ Core $^{\mbox{\scriptsize TM}}$ i7 Processor Execution Engine Validation in a Functional Language Based Formal Framework

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

10.1007/978-3-642-18378-2_1 ◽

2011 ◽

pp. 1-1

Author(s):

Roope Kaivola

Keyword(s):

Functional Language ◽

Execution Engine ◽

Formal Framework

Download Full-text

Profiling for Run-Time Checking of Computational Properties and Performance Debugging in Logic Programs

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

10.1007/978-3-642-18378-2_6 ◽

2011 ◽

pp. 38-53 ◽

Cited By ~ 4

Author(s):

Edison Mera ◽

Teresa Trigo ◽

Pedro Lopez-García ◽

Manuel Hermenegildo

Keyword(s):

Logic Programs ◽

Performance Debugging ◽

Run Time ◽

And Performance ◽

Computational Properties

Download Full-text

On the Portability of Prolog Applications

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

10.1007/978-3-642-18378-2_8 ◽

2011 ◽

pp. 69-83 ◽

Cited By ~ 4

Author(s):

Jan Wielemaker ◽

Vítor Santos Costa

Download Full-text

Results on Out-of-Order Event Processing

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

10.1007/978-3-642-18378-2_18 ◽

2011 ◽

pp. 220-234 ◽

Cited By ~ 3

Author(s):

Paul Fodor ◽

Darko Anicic ◽

Sebastian Rudolph

Keyword(s):

Event Processing

Download Full-text

Plato: A Compiler for Interactive Web Forms

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

10.1007/978-3-642-18378-2_7 ◽

2011 ◽

pp. 54-68 ◽

Cited By ~ 3

Author(s):

Timothy L. Hinrichs

Download Full-text

Joinads: A Retargetable Control-Flow Construct for Reactive, Parallel and Concurrent Programming

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

10.1007/978-3-642-18378-2_17 ◽

2011 ◽

pp. 205-219 ◽

Cited By ~ 5

Author(s):

Tomas Petricek ◽

Don Syme

Keyword(s):

Concurrent Programming ◽

Control Flow

Download Full-text

Analysing a Publish/Subscribe System for Mobile Ad Hoc Networks with ProbLog

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

10.1007/978-3-642-18378-2_5 ◽

2011 ◽

pp. 34-37 ◽

Cited By ~ 1

Author(s):

Theofrastos Mantadelis ◽

Koosha Paridel ◽

Gerda Janssens ◽

Yves Vanrompay ◽

Yolande Berbers

Keyword(s):

Ad Hoc Networks ◽

Mobile Ad Hoc Networks ◽

Ad Hoc ◽

Mobile Ad Hoc ◽

Hoc Networks

Download Full-text

Determining Actual Response Time in P-FRP

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

10.1007/978-3-642-18378-2_20 ◽

2011 ◽

pp. 250-264 ◽

Cited By ~ 7

Author(s):

Chaitanya Belwal ◽

Albert M. K. Cheng

Keyword(s):

Response Time ◽

Actual Response

Download Full-text

Sloth – A Tool for Checking Minimal-Strictness

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

10.1007/978-3-642-18378-2_14 ◽

2011 ◽

pp. 160-174

Author(s):

Jan Christiansen

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Combinators for Message-Passing in Haskell

Intel $^{\mbox{\scriptsize\circledR}}$ Core $^{\mbox{\scriptsize TM}}$ i7 Processor Execution Engine Validation in a Functional Language Based Formal Framework

Profiling for Run-Time Checking of Computational Properties and Performance Debugging in Logic Programs

On the Portability of Prolog Applications

Results on Out-of-Order Event Processing

Plato: A Compiler for Interactive Web Forms

Joinads: A Retargetable Control-Flow Construct for Reactive, Parallel and Concurrent Programming

Analysing a Publish/Subscribe System for Mobile Ad Hoc Networks with ProbLog

Determining Actual Response Time in P-FRP

Sloth – A Tool for Checking Minimal-Strictness

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