{"product_id":"static-analysis-second-international-symposium-sas-95-glasgow-uk-september-25-27-1995-proceedings-9783540603603","title":"Static Analysis: Second International Symposium, SAS '95, Glasgow, Uk, September 25 - 27, 1995. Proceedings","description":"\u003cp\u003e • Author(s): Alan Mycroft\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Software Development \u0026amp; Engineering - General\u003c\/p\u003e\u003cp\u003eThis book constitutes the refereed proceedings of the Second International Symposium on Static Analysis, SAS '95, held in Glasgow, UK, in September 1995. Static Analysis is increasingly recognized as a foundation for high-performance implementations and verification systems of high-level programming languages.\u003cbr\u003e22 full revised papers selected from a total of 55 submissions are presented; they address static analysis issues for different programming paradigms; in particular concurrent, constraint, functional, imperative, logic, and object-oriented programming are addressed. In addition there are abstracts or full papers for three invited presentations and two system descriptions.\u003cbr\u003e\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":46893244678295,"sku":"9783540603603","price":5767.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783540603603.webp?v=1770314876","url":"https:\/\/atlanticbooks.com\/products\/static-analysis-second-international-symposium-sas-95-glasgow-uk-september-25-27-1995-proceedings-9783540603603","provider":"Atlantic Books","version":"1.0","type":"link"}