In order to get more accurate results, our search has the following Google-Type search functionality:
If you use '+' in front of a word, then that word will be present in the search results.
ex: Harry +Potter will return results with the word 'Potter'.
If you use '-' in front of a word, then that word will be absent in the search results.
ex: Harry -Potter will return results without the word 'Potter'.
If you use 'AND' between two words, then both of those words will be present in the search results.
ex: Harry AND Potter will return results with both 'Harry' and 'Potter'.
If you use 'OR' between two words, then bth of those words may or may not be present in the search results.
ex: Harry OR Potter will return results with just 'Harry', results with just 'Potter' and results with both 'Harry' and 'Potter'.
If you use 'NOT' before a word, then that word will be absent in the search results.
ex: Harry NOT Potter will return results without the word 'Potter'.
Placing '""' around words will perform a phrase search. The search results will contain those words in that order.
ex: "Harry Potter" will return any results with 'Harry Potter' in them, but not 'Potter Harry'.
Using '*' in a word will perform a wildcard search. The '*' signifies any number of characters. Searches can not start with a wildcard.
ex: Pot*er will return results with words starting with 'Pot' and ending in 'er'. In this case, 'Potter' will be a match.
|
|
|||
|
|
||||
OverviewThis book constitutes the refereed proceedings of the 6th International Symposium on Static Analysis, SAS'99, held in Venice, Italy in September 1999. The 18 revised full papers presented together with five invited contributions, were carefully reviewed and selected from 42 submissions. The book presents the state of the art in Static Analysis. The papers are organized in sections on synchronization in Java programs, synchronous languages, abstract domains, concurrency, static single assignment, and foundations. Full Product DetailsAuthor: Agostino Cortesi , Gilberto FilePublisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Country of Publication: Germany Volume: v. 1694 Dimensions: Width: 15.60cm , Height: 1.90cm , Length: 23.40cm Weight: 1.150kg ISBN: 9783540664598ISBN 10: 3540664599 Pages: 368 Publication Date: 08 September 1999 Audience: College/higher education , Professional and scholarly , Postgraduate, Research & Scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: Available This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. Table of ContentsReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |
||||