Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
refinement static » refinement spatial, refinement aesthetic, refinement strategy
refinement static » refinement spatial, refinement aesthetic, refinement strategy
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:
“... Abstraction Refinements -- Guided Static Analysis -- Program Analysis Using Symbolic Ranges -- Shape Analysis...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“...Invited Talk -- Type Systems for XML -- The Essence of Dataflow Programming -- Data Refinement...”View full text
Electronic
eBook
4
Published 2014
Table of Contents:
“... of Touch Develop Scripts -- Efficient Incremental Static Analysis Using Path Abstraction -- Type-Based...”View full text
Electronic
eBook