A formal nethod (a networked formal method)
Innovations in Systems and Software Engineering
An extended proof-carrying code framework for security enforcement
Transactions on computational science XI
Hi-index | 0.00 |
From the Publisher:Learn to use GCC (GNU Compiler Collection) to develop and deploy a wide range of software across virtually all platforms and languages. Computer consultant Arthur Griffith provides a rich array of information on the most important piece of open source software in the world. Divided into three clearly-defined sections, this book explains command online options for each of the languages, describes in detail how multiple languages can be successfully mixed to build applications, and concludes with chapters devoted to utility programs such as automatic configuration and the debugger. Discover exciting new programming possibilities with this professional resource -- plus, utilize the added ability in GCC to compile Java code into native code or bytecodes.