{"product_id":"parma-polyhedra-library-1-2-users-manual-paperback","title":"Parma Polyhedra Library 1.2 User's Manual - Paperback","description":"\u003cdiv\u003e\u003cp style=\"text-align: right;\"\u003e\u003ca href=\"https:\/\/reportcopyrightinfringement.com\/\" target=\"_blank\" rel=\"nofollow\"\u003e\u003cb\u003eReport copyright infringement\u003c\/b\u003e\u003c\/a\u003e\u003c\/p\u003e\u003c\/div\u003e\u003cp\u003eby \u003cb\u003ePatricia M. Hill\u003c\/b\u003e (Author), \u003cb\u003eEnea Zaffanella\u003c\/b\u003e (Author), \u003cb\u003eAbramo Bagnara\u003c\/b\u003e (Author)\u003c\/p\u003e\u003cp\u003eThe Parma Polyhedra Library (PPL) is a modern C++ library for the manipulation of numerical information that can be represented by points in some n-dimensional vector space. For instance, one of the key domains the PPL supports is that of rational convex polyhedra (Section Convex Polyhedra). Such domains are employed in several systems for the analysis and verification of hardware and software components, with applications spanning imperative, functional and logic programming languages, synchronous languages and synchronization protocols, real-time and hybrid systems. Even though the PPL library is not meant to target a particular problem, the design of its interface has been largely influenced by the needs of the above class of applications. That is the reason why the library implements a few operators that are more or less specific to static analysis applications, while lacking some other operators that might be useful when working, e.g., in the field of computational geometry.\u003cbr\u003e The main features of the library are the following: \u003cbr\u003e \u003c\/p\u003e\u003cul\u003e \u003cli\u003eit is fully dynamic: available virtual memory is the only limitation to the dimension of anything;\u003c\/li\u003e \u003cli\u003eit provides full support for the manipulation of convex polyhedra that are not topologically closed;\u003c\/li\u003e \u003cli\u003eit is written in standard C++: meant to be portable;\u003c\/li\u003e \u003cli\u003eit is exception-safe: never leaks resources or leaves invalid object fragments around;\u003c\/li\u003e \u003cli\u003eit is rather efficient: and we hope to make it even more so;\u003c\/li\u003e \u003cli\u003eit is thoroughly documented: perhaps not literate programming but close enough;\u003c\/li\u003e \u003cli\u003eit has interfaces to other programming languages: including C, Java, OCaml and a number of Prolog systems;\u003c\/li\u003e \u003cli\u003eit is free software: distributed under the terms of the GNU General Public License.\u003c\/li\u003e \u003c\/ul\u003e\n            \u003cdiv\u003e\n\u003cstrong\u003eNumber of Pages:\u003c\/strong\u003e 542\u003c\/div\u003e\n            \u003cdiv\u003e\n\u003cstrong\u003eDimensions:\u003c\/strong\u003e 1.09 x 11.02 x 8.5 IN\u003c\/div\u003e\n            \u003cdiv\u003e\n\u003cstrong\u003ePublication Date:\u003c\/strong\u003e October 04, 2016\u003c\/div\u003e\n            ","brand":"Books by splitShops","offers":[{"title":"Default Title","offer_id":43156918894655,"sku":"9789888406838","price":67.48,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0105\/8226\/1823\/files\/bu4ncgvcSM9789888406838.webp?v=1776976381","url":"https:\/\/dhl-adrianne.myshopify.com\/products\/parma-polyhedra-library-1-2-users-manual-paperback","provider":"BBB","version":"1.0","type":"link"}