Search results for “[subject: programming-algorithms]”

• Author(s): Flemming Nielson • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersProgram analysis concerns static techniques for computing reliable approximate information about the dynamic behaviour of programs. ...

• Author(s): Flemming Nielson • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersProgram analysis concerns static techniques for computing reliable approximate information about the dynamic behaviour of programs. ...

• Author(s): Flemming Nielson | Hanne Riis Nielson • Publisher: Cambridge University Press • Publisher Imprint: Cambridge University Press • BISAC: Programming Languages - GeneralThe authors describe here a framework in which the type notation of...

• Author(s): Flemming Nielson • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - GeneralBoth functional and concurrent programming are relatively new paradigms with great promise. In this book, a survey is provided of extens...

• Author(s): Flemming Nielson • Publisher: Springer Verlag • Publisher Imprint: Springer V • Subject: Computer Science and Information TechnologyAbout the Book Both functional and concurrent programming are relatively new paradigms with great pro...

• Author(s): Flemming Nielson | Hanne Riis Nielson | C. J. Van Rijsbergen • Publisher: Cambridge University Press • Publisher Imprint: Cambridge University Press • BISAC: Programming Languages - GeneralThe authors describe here a framework in whi...

• Author(s): Flemming Nielson • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceFrom the Back CoverThis textbook is an introduction to the use of formal methods ranging from semantics of key programming constructs to te...