Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
conditions constraint » conditions contract, continuous constraint, conditions consortium
programming recursion » programming decision, programming session, programming decisions
recursion arrays » recursion versus
arrays a » arrays _
conditions constraint » conditions contract, continuous constraint, conditions consortium
programming recursion » programming decision, programming session, programming decisions
recursion arrays » recursion versus
arrays a » arrays _
1
Published 2008
Table of Contents:
“... Linear Constraints for Moding CLP( ) Programs -- On Polymorphic Recursion, Type Systems, and Abstract...”View full text
Electronic
eBook
2
Published 2007
Table of Contents:
“...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...”View full text
Electronic
eBook