Functional and Constraint Logic Programming - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 8)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783030753320, 9783030753337

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

SOS Rules for Equivalences of Reaction Systems

Functional and Constraint Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-030-75333-7_1 ◽

2021 ◽

pp. 3-21

Author(s):

Linda Brodo ◽

Roberto Bruni ◽

Moreno Falaschi

Keyword(s):

Reaction Systems

Download Full-text

Constraint-Logic Object-Oriented Programming with Free Arrays

Functional and Constraint Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-030-75333-7_8 ◽

2021 ◽

pp. 129-144

Author(s):

Hendrik Winkelmann ◽

Jan C. Dageförde ◽

Herbert Kuchen

Keyword(s):

Object Oriented ◽

Object Oriented Programming

Download Full-text

Practical Idiomatic Considerations for Checkable Meta-logic in Experimental Functional Programming

Functional and Constraint Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-030-75333-7_2 ◽

2021 ◽

pp. 22-38

Author(s):

Baltasar Trancón y Widemann ◽

Markus Lepper

Keyword(s):

Functional Programming

Download Full-text

Effectiveness of Annotation-Based Static Type Inference

Functional and Constraint Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-030-75333-7_5 ◽

2021 ◽

pp. 74-93

Author(s):

Isabel Wingen ◽

Philipp Körner

Keyword(s):

Type Inference

Download Full-text

Formally Verified Transformation of Non-binary Constraints into Binary Constraints

Functional and Constraint Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-030-75333-7_7 ◽

2021 ◽

pp. 117-128

Author(s):

Catherine Dubois

Keyword(s):

Binary Constraints

Download Full-text

Memoized Pull-Tabbing for Functional Logic Programming

Functional and Constraint Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-030-75333-7_4 ◽

2021 ◽

pp. 57-73

Author(s):

Michael Hanus ◽

Finn Teegen

Keyword(s):

Logic Programming ◽

Functional Logic Programming ◽

Functional Logic

Download Full-text

A Framework for Generating Diverse Haskell-I/O Exercise Tasks

Functional and Constraint Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-030-75333-7_6 ◽

2021 ◽

pp. 97-114

Author(s):

Oliver Westphal

Download Full-text

On the Performance of Bytecode Interpreters in Prolog

Functional and Constraint Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-030-75333-7_3 ◽

2021 ◽

pp. 41-56

Author(s):

Philipp Körner ◽

David Schneider ◽

Michael Leuschel

Download Full-text

Functional and Constraint Logic Programming - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

SOS Rules for Equivalences of Reaction Systems

Constraint-Logic Object-Oriented Programming with Free Arrays

Practical Idiomatic Considerations for Checkable Meta-logic in Experimental Functional Programming

Effectiveness of Annotation-Based Static Type Inference

Formally Verified Transformation of Non-binary Constraints into Binary Constraints

Memoized Pull-Tabbing for Functional Logic Programming

A Framework for Generating Diverse Haskell-I/O Exercise Tasks

On the Performance of Bytecode Interpreters in Prolog

Functional and Constraint Logic Programming - Lecture Notes in Computer Science
Latest Publications