Picture 1 of 1
A Formal Definition of JML in Coq.New 9783838130644 Fast Free Shipping<|
Condition:
5 available
Shipping:
May not ship to United States. Read item description or contact seller for shipping options. See detailsfor shipping
Located in: South East, United Kingdom
Delivery:
Varies
Returns:
Payments:
Shop with confidence
Seller information
- 99.1% positive feedback
Registered as a Business Seller
Seller assumes all responsibility for this listing.
eBay item number:296183993608
Item specifics
- Condition
- PublishedOn
- 2012-01-20
- Title
- A Formal Definition of JML in Coq
- ISBN
- 9783838130644
- Publication Year
- 2012
- Type
- Textbook
- Format
- Paperback
- Language
- English
- Publication Name
- A Formal Definition of Jml in Coq
- Item Height
- 229mm
- Publisher
- Sudwestdeutscher Verlag Fur Hochschulschriften A&G
- Item Width
- 152mm
- Subject
- Engineering & Technology
- Item Weight
- 349g
- Number of Pages
- 236 Pages
About this product
Product Information
The Java Modeling Language (JML) is a very rich specification language for Java. The richness of JML leads to many different interpretations of the same specification constructs in different applications. This work presents a formalization of JML in the theorem prover Coq to provide an exact, unambiguous meaning for JML constructs. The formalization not only gives a mathematically precise definition of the language, but also enables formal meta-reasoning about the language itself, its applications, and proposed extensions. In JML, frame conditions are expressed by the assignable clause. This work highlights the first algorithm that checks assignable clauses at runtime in the presence of dynamic data groups as a means of data abstraction. The algorithm performs very well on realistic and large data structures by lazily computing the locations denoted by the data groups. As an important contribution to runtime assertion checking, the equivalence of the algorithm to the JML semantics has been formally proved in Coq. This shows not only correctness and completeness of the algorithm to check assignable clauses, but also the usefulness and expressiveness of the JML formalization.
Product Identifiers
Publisher
Sudwestdeutscher Verlag Fur Hochschulschriften A&G
ISBN-13
9783838130644
eBay Product ID (ePID)
113186716
Product Key Features
Publication Name
A Formal Definition of Jml in Coq
Format
Paperback
Language
English
Subject
Engineering & Technology
Publication Year
2012
Type
Textbook
Number of Pages
236 Pages
Dimensions
Item Height
229mm
Item Width
152mm
Item Weight
349g
Additional Product Features
Item description from the seller
Business seller information
Value Added Tax Number:
- GB 724498118
Seller assumes all responsibility for this listing.
eBay item number:296183993608
Shipping and handling
The seller has not specified a shipping method to United States. Contact the seller and request shipping to your location.
Item location:
South East, United Kingdom
Ships to:
Australia, Canada, European Union, Japan, United Kingdom
Excludes:
Afghanistan, Austria, Germany, Libya, Nauru, Russian Federation, Somalia, Switzerland, Ukraine, Yemen
| Handling time |
|---|
| Will usually ship within 5 business days of receiving cleared payment. |
| Taxes |
|---|
| Taxes may be applicable at checkout. Learn moreLearn more about paying tax on eBay purchases |
Sales tax for an item #296183993608
Sales tax for an item #296183993608
Seller collects sales tax for items shipped to the following provinces:
| Province | Sales Tax Rate |
|---|
Return policy
| After receiving the item, contact seller within |
|---|
| 30 days after the buyer receives it |
The buyer is responsible for return shipping costs.
Payment details
Payment methods
Seller feedback (2,902,875)
e***a- Feedback left by buyer.
Past month
Verified purchase
A great eBay seller. Item exactly as described, packed with care to protect during shipping, Good communication & great value for money. Highly recommend.
a***t (1434)- Feedback left by buyer.
Past month
Verified purchase
Thank you very much for your usual excellent service. Well packaged, speedy delivery, just as described, good price with excellent communication.
y***e (255)- Feedback left by buyer.
Past month
Verified purchase
Item just as described. Quick delivery. Well packaged. Great price. Brilliant seller. Great Communication.
Product ratings and reviews
More to explore:
- Nonfiction Books Fiction & Ships,
- Nonfiction Fasting Fiction & Nonfiction Books,
- News Magazines,
- History Nonfiction Books & Fiction Ships,
- Transportation Nonfiction Books Fiction & Ships,
- New Magazines,
- New Yorker Magazines,
- Sporting News Magazines,
- News Weekly Magazines,
- News Sporting News Magazines in English