Title: AI-Assisted Programming: Better Planning, Coding, Testing, and Deployment, Author: Tom Taulli
Title: Learn Rust in a Month of Lunches, Author: David MacLeod
Title: Async Rust: Unleashing the Power of Fearless Concurrency, Author: Maxwell Flitton
Title: Effective Rust: 35 Specific Ways to Improve Your Rust Code, Author: David Drysdale
Title: Axiomatic Domain Theory in Categories of Partial Maps, Author: Marcelo P. Fiore
Title: Mastering Go: Create Golang production applications using network libraries, concurrency, machine learning, and advanced data structures, Author: Mihalis Tsoukalos
Title: Machine Learning in Elixir, Author: Sean Moriarity
Title: Principles of Abstract Interpretation, Author: Patrick Cousot
Title: Go Fundamentals: Gopher Guides, Author: Mark Bates
Title: Effective Go Recipes: Fast Solutions to Common Tasks, Author: Miki Tebeka
Title: COBOL Programming Interview Questions CO, Author: Terry Sanchez-Clark
Title: Understanding Control Flow: Concurrent Programming Using ?C++, Author: Peter A. Buhr
Title: Programming Languages and Systems: 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European, Author: Peter Sestoft
Title: Static Analysis: 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001. Proceedings, Author: Patrick Cousot
Title: Programming Languages: Implementations, Logics, and Programs: 8th International Symposium, PLILP '96, Aachen, Germany, September 24 - 27, 1996. Proceedings, Author: Herbert Kuchen
Title: Declarative Agent Languages and Technologies III: Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers, Author: Matteo Baldoni
Title: Accelerator Programming Using Directives: 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings, Author: Sunita Chandrasekaran
Title: Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy,, Author: Laure Petrucci
Title: Reasoning About Program Transformations: Imperative Programming and Flow of Data, Author: Jean-Francois Collard
Title: Programming Languages and Systems: 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings, Author: Naoki Kobayashi

Pagination Links