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

TOTAL DOCUMENTS

9

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642207747, 9783642207754

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Lazy and Enforceable Assertions for Functional Logic Programs

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

10.1007/978-3-642-20775-4_5 ◽

2011 ◽

pp. 84-100 ◽

Author(s):

Michael Hanus

Keyword(s):

Logic Programs ◽

Functional Logic

Download Full-text

Types for Role-Based Access Control of Dynamic Web Data

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

10.1007/978-3-642-20775-4_1 ◽

2011 ◽

pp. 1-29 ◽

Author(s):

Mariangiola Dezani-Ciancaglini ◽

Silvia Ghilezan ◽

Svetlana Jakšić ◽

Jovanka Pantović

Keyword(s):

Access Control ◽

Role Based Access Control ◽

Web Data ◽

Dynamic Web ◽

Download Full-text

An Access Control Language Based on Term Rewriting and Description Logic

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

10.1007/978-3-642-20775-4_4 ◽

2011 ◽

pp. 66-83

Author(s):

Michele Baggi ◽

Demis Ballis ◽

Moreno Falaschi

Keyword(s):

Access Control ◽

Description Logic ◽

Term Rewriting ◽

Control Language

Download Full-text

Mixed-Level Embedding and JIT Compilation for an Iteratively Staged DSL

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

10.1007/978-3-642-20775-4_3 ◽

2011 ◽

pp. 48-65 ◽

Author(s):

George Giorgidze ◽

Henrik Nilsson

Keyword(s):

Jit Compilation

Download Full-text

Efficient and Compositional Higher-Order Streams

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

10.1007/978-3-642-20775-4_8 ◽

2011 ◽

pp. 137-154 ◽

Author(s):

Gergely Patai

Keyword(s):

Download Full-text

Bridging the Gap between Two Concurrent Constraint Languages

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

10.1007/978-3-642-20775-4_9 ◽

2011 ◽

pp. 155-173

Author(s):

Alexei Lescaylle ◽

Alicia Villanueva

Keyword(s):

Constraint Languages

Download Full-text

An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry

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

10.1007/978-3-642-20775-4_7 ◽

2011 ◽

pp. 119-136 ◽

Author(s):

Jan Christiansen ◽

Daniel Seidel ◽

Janis Voigtländer

Download Full-text

Parameterized Models for On-Line and Off-Line Use

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

10.1007/978-3-642-20775-4_6 ◽

2011 ◽

pp. 101-118 ◽

Author(s):

Pieter Wuille ◽

Tom Schrijvers

Keyword(s):

Download Full-text

Transforming Functional Logic Programs into Monadic Functional Programs

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

10.1007/978-3-642-20775-4_2 ◽

2011 ◽

pp. 30-47 ◽

Author(s):

Bernd Braßel ◽

Sebastian Fischer ◽

Michael Hanus ◽

Fabian Reck

Keyword(s):

Logic Programs ◽

Functional Logic

Download Full-text