What do you think?
Rate this book
LOGIC PROGRAMMING WITH FLIX: BUILDING ANALYZERS AND CONSTRAINT SOLVERS: DESIGN STATIC ANALYZERS, TYPE CHECKERS, AND PROGRAM VERIFICATION TOOLS WITH DATALOG AND FUNCTIONAL PROGRAMMING ON THE JVM
Ratings & Reviews
Friends & Following
Create a free account to discover what your friends think of this book!
Community Reviews
No one has reviewed this book yet.