Sciweavers

8766 search results - page 86 / 1754
» Functional logic programming
Sort
View
IDC
2009
Springer
15 years 4 months ago
A Protocol for Execution of Distributed Logic Programs
In the last fifteen years many work in logic programming has focussed on parallel implementations both in shared memory and in distributed memory multiprocessor systems. In both c...
László Aszalós, Andreas Herzi...
AAAI
2008
15 years 5 days ago
Hyperequivalence of Logic Programs with Respect to Supported Models
Recent research in nonmonotonic logic programming has focused on program equivalence relevant for program optimization and modular programming. So far, most results concern the st...
Miroslaw Truszczynski, Stefan Woltran
PPDP
2009
Springer
15 years 4 months ago
An embedded declarative data transformation language
We introduce a logic programming framework for data type transformations based on isomorphisms between elementary data types (natural numbers, finite functions, sets and permutat...
Paul Tarau

Book
351views
16 years 8 months ago
The Implementation of Functional Programming Languages
A great book about the Implementation of Functional Programming Languages.
Simon Peyton Jones

Book
796views
16 years 8 months ago
Introduction to Machine Learning
This is an introductory book about machine learning. Notice that this is a draft book. It may contain typos, mistakes, etc. The book covers the following topics: Boolean Functio...
Nils J. Nilsson