Narrow your search

Library

KU Leuven (11)

UGent (2)

VUB (2)

AP (1)

KBC (1)

KDG (1)

Odisee (1)

Thomas More Kempen (1)

Thomas More Mechelen (1)

UCLL (1)

More...

Resource type

book (14)

digital (1)


Language

English (14)


Year
From To Submit

2020 (3)

2010 (1)

2003 (1)

2000 (1)

1999 (2)

More...
Listing 1 - 10 of 14 << page
of 2
>>
Sort by

Book
Functional and Logic Programming : 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings
Authors: ---
ISBN: 3030590259 3030590240 Year: 2020 Publisher: Cham : Springer International Publishing : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book constitutes the proceedings of the 15th International Symposium on Functional and Logic Programming, FLOPS 2020, held in Akita, Japan*, in September 2020. The 12 papers presented in this volume were carefully reviewed and selected from 25 submissions. They cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on topics such as functional programming, logic programming, declarative programming, constraint programming, formal method, model checking, program transformation, program refinement, and type theory. *The conference was held virtually due to the COVID-19 pandemic.

Keywords

Software engineering. --- Programming languages (Electronic computers). --- Computer programming. --- Artificial intelligence. --- Computer logic. --- Mathematical logic. --- Software Engineering. --- Programming Languages, Compilers, Interpreters. --- Programming Techniques. --- Artificial Intelligence. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Logic, Symbolic and mathematical --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Computer software engineering --- Engineering --- Programming --- Functional programming (Computer science) --- Logic programming --- Compilers (Computer programs). --- Computer science. --- Machine theory. --- Compilers and Interpreters. --- Computer Science Logic and Foundations of Programming. --- Formal Languages and Automata Theory. --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Recursive functions --- Robotics --- Informatics --- Science --- Compiling programs (Computer programs) --- Computer programs --- Programming software --- Systems software


Book
Heap garbage collection in XSB : practice and experience
Authors: ---
Year: 1998 Publisher: Leuven KUL. Department of computer science

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords


Book
Memory management for Prolog with tabling
Authors: ---
Year: 1998 Publisher: Leuven KUL. Department of computer science

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords


Book
From (multi-)generational to segment order preserving copying garbage collection for the WAM
Authors: ---
Year: 2000 Publisher: Leuven KUL. Department of computer science

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords


Book
CAT : the Copying Approach to Tabling
Authors: ---
Year: 1998 Publisher: Leuven KUL. Department of computer science

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords


Book
Proceedings of the International workshop on Implementation of Declarative Languages (IDL'99)
Authors: ---
Year: 1999 Publisher: S.l. s.n.

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords


Book
Functional and Logic Programming
Authors: --- ---
ISBN: 9783030590253 Year: 2020 Publisher: Cham Springer International Publishing :Imprint: Springer


Multi
Functional and Logic Programming
Authors: --- ---
ISBN: 9783030590253 Year: 2020 Publisher: Cham Springer International Publishing :Imprint: Springer

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book constitutes the proceedings of the 15th International Symposium on Functional and Logic Programming, FLOPS 2020, held in Akita, Japan*, in September 2020. The 12 papers presented in this volume were carefully reviewed and selected from 25 submissions. They cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on topics such as functional programming, logic programming, declarative programming, constraint programming, formal method, model checking, program transformation, program refinement, and type theory. *The conference was held virtually due to the COVID-19 pandemic.


Book
Preserving termination of tabled logic programs while unfolding
Authors: --- ---
Year: 1997 Publisher: Leuven KUL. Department of computer science

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords


Book
XSB as the natural habitat for general purpose program analysis
Authors: --- ---
Year: 1996 Publisher: Leuven KUL. Department of computing science

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Listing 1 - 10 of 14 << page
of 2
>>
Sort by