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 Book Discussion

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

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 (Paperback)
by

Topics About This Book Topics That Mention This Book

There are no discussion topics on this book yet. Be the first to start one »

see all book discussions »
post a new topic »