Search
Feedback
About UniCat 
Help
News
Book
ISBN: 0262043416 9780262043410 Year: 2020 Publisher: Cambridge: MIT Press,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
The book introduces static analysis. It covers both the basic theoretical foundations and the basic practical consideration underlying the design, implementation, and the use of static analysis tools. It is hard to find good references that could provide a quick and comprehensive introduction for non-experts. The scientific literature on static analysis is huge, and may seem hard for students or working engineers to get started quickly. Indeed, while we can recommend great scientific articles on many specific topics, these are often too advanced for a general audience. The purpose of this book is precisely to provide such a general introduction, that effectively provides the basic key concepts (both in the theory and in the practical point of view), gives the gist of the state of the art in program static analysis, and that can be read rather quickly and easily. More precisely, we cover the mathematical foundations of general static analysis frameworks (semantics, semantic abstraction, computation of program invariants), more advanced notions and techniques (abstractions for advanced programming features, and to answer a wide range of semantic questions), and techniques to implement and use static analysis tools
Book
ISBN: 9789810681357 9810681356 Year: 2010 Publisher: Upper Saddle River, N.J. Prentice Hall
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
ISBN: 0471861936 Year: 1982 Publisher: New York (N.Y.): Wiley
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
ISBN: 0130200050 Year: 2001 Publisher: New Jersey Prentice Hall
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
ISBN: 0511693621 Year: 2009 Publisher: Cambridge : Cambridge University Press,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
A. S. Ramsey (1867-1954) was a distinguished Cambridge mathematician and President of Magdalene College. He wrote several textbooks 'for the use of higher divisions in schools and for first year students at university'. This book on statics, published in 1934, was intended as a companion volume to his Dynamics of 1929 and like the latter was based upon his lectures to students of the mathematical tripos, but it assumes no prior knowledge of the subject, provides an introduction and offers more that 100 example problems with their solutions. Topics include vectors, forces acting at a point, moments, friction, centres of gravity, work and energy, and elasticity.
ISBN: 0023546859 Year: 1992 Publisher: London : MacMillan,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
Year: 1966 Publisher: Englewood Cliffs, NJ : Prentice-Hall International,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
Year: 1874 Publisher: Paris: Gauthier-Villars,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
Year: 1880 Publisher: Paris: Dunod,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
Year: 1884 Publisher: [Lieu de publication inconnu]: [éditeur inconnu],
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)