1
Published 2010
Table of Contents: ... Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs -- Solving Constraint...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... Quality Assurance -- Similar Code Detection and Elimination for Erlang Programs -- Static Detection...
View full text
Electronic eBook
4
Table of Contents: ...How to Obtain, Install, and Use F# -- Functional Programming -- Imperative Programming -- Object...
View full text
Electronic eBook
5
Published 2015
Table of Contents: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
View full text
Electronic eBook
6
Published 2014
Table of Contents: ...Introduction to Track on Engineering Virtualized Services -- Erlang-Style Error Recovery...
View full text
Electronic eBook