1
Published 2010
Table of Contents: ... with Separation Logic -- A PolyTime Functional Language from Light Linear Logic -- Testing Polymorphic Properties...
View full text
Electronic eBook
2
Published 2013
Table of Contents: ... on Probability-Possibility Transformation -- Functional Verification of Class Invariants in CleanJava...
View full text
Electronic eBook
3
Published 2007
Table of Contents: ... Services -- Engineering Compensations in Web Service Environment -- Context-Aware Workflow Management...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ...: Extending the Recovery Algorithm -- Hash Functions for Datatype Signatures in MPI -- Extensions...
View full text
Electronic eBook