Clicky

Static Analysis by Jens Palsberg and similar books you'll love - Bookscovery

Home > Authors > Jens Palsberg > Static Analysis

Buy at: Bookshop.org Amazon

Static Analysis

Jens Palsberg

Static Analysis is a research area aimed at developing principles and tools for high-performance implementation and veri?cation of programming languages. The seriesofStatic AnalysisSymposiais aforumforpresentationanddiscussion of advances in the area. ThisvolumecontainsthepaperspresentedattheSeventhInternationalStatic Analysis Symposium (SAS 2000) which was held on June 29–July 1, 2000 at the University of California, Santa Barbara. Previous symposia were held in Venice, Pisa, Paris, Aachen, Glasgow, and Namur. The program committee met at Purdue University in March 2000 and - lected 20 papers from 52 submissionson the basis of four reviewsper paper. The program committee members were not allowed to author or co-author a subm- sion. In addition to the 20 contributed papers, this volume contains two invited papers by Daniel Jackson and Andreas Podelski. At the symposium, there was also...

See on goodreads

Recent activity

Rate this book to see your activity here.

9 Books Similar to Static Analysis by Jens Palsberg

Bookscovery readers who liked Static Analysis also like Model Checking Software, Modern compiler implementation in Java and Object-oriented type systems. How many of these have you read?

Model Checking Software by Klaus Havelund

Cover of Model Checking Software
Buy this book at:
Bookshop.org Amazon

Modern compiler implementation in Java by Andrew W. Appel

Cover of Modern compiler implementation in Java
Buy this book at:
Bookshop.org Amazon

Object-oriented type systems by Jens Palsberg

Cover of Object-oriented type systems
Buy this book at:
Bookshop.org Amazon

Polyvariant analysis of the untyped lambda calculus by Jens Palsberg

Cover of Polyvariant analysis of the untyped lambda calculus
Buy this book at:
Bookshop.org Amazon

Semantics and Algebraic Specification by Jens Palsberg

Cover of Semantics and Algebraic Specification
Buy this book at:
Bookshop.org Amazon

Semantics And Algebraic Specification Essays Dedicated To Peter D Mosses On The Occasion Of His 60th Birthday by Jens Palsberg

Cover of Semantics And Algebraic Specification Essays Dedicated To Peter D Mosses On The Occasion Of His 60th Birthday
Buy this book at:
Bookshop.org Amazon

Static Analysis by Jens Palsberg

Cover of Static Analysis
Buy this book at:
Bookshop.org Amazon

Tools and Algorithms for the Construction and Analysis of Systems by Holger Hermanns

Cover of Tools and Algorithms for the Construction and Analysis of Systems
Buy this book at:
Bookshop.org Amazon

Verification, Model Checking, and Abstract Interpretation by Isil Dillig

Cover of Verification, Model Checking, and Abstract Interpretation
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Static Analysis

Please sign in to leave a comment