Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functionality function » functionals function, functionaries function, functional functions
program functionality » protein functionality, programs functional, supra functionality
parallel datalog » parallel data, parallel database, parallel prolog
datalog program » datalog programs, data program, database program
function https » functions https, fiction https
functionality function » functionals function, functionaries function, functional functions
program functionality » protein functionality, programs functional, supra functionality
parallel datalog » parallel data, parallel database, parallel prolog
datalog program » datalog programs, data program, database program
function https » functions https, fiction https
1
Published 2006
Table of Contents:
“...Invited Talks -- Why Use Datalog to Analyze Programs? -- Semantic Web: The Story of the RIFt so Far...”View full text
Electronic
eBook
2
Published 2005
Table of Contents:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“... Implementation of the Astrée Static Analyzer -- Using Datalog with Binary Decision Diagrams for Program Analysis...”View full text
Electronic
eBook
4
Published 2014
Table of Contents:
“...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...”View full text
Electronic
eBook