Embedded Languages in Magic Comments
Describe the Embedded Languages in Magic Comments?
Expert
In this approach, contracts are specified using a separate notation that is embedded in comments, using special compilers to turn annotations into instrumentation. Two typical implementations of this category are SPARKAda and the Java Modeling Language (JML).
SPARKAda (SPARKAda website) is an Ada95 subset with a rich set of annotations that exceeds runtime instrumentation. The SPARKAda tool suite includes extensive static analysis and proof checkers.
While SPARKAda is well documented, it is only available from a single commercial vendor.
The Java Modeling Language (JML website) is an open source language extension for Java. It provides additional expressions that especially focus on avoiding side effects of contracts.
Using a contract language that is embedded in comments, but can easily access features of the relevant program scope, is almost as powerful as direct language support. The downside is that this approach usually requires a target language compiler re-implementation (an Ada or Java compiler), which imposes a serious tool dependency.
Why did Al Smith lose the 1928 election?
Normal 0 false false
What is the order in which GPOs are applied?
Good design: These few characteristics are sign of good design and code: 1. Extensibility without extreme modification. 2. Good code is easy in reading and maintaining, and well documented.3. Expose cle
Depth-First Search: With Depth-First Search (DFS), the model checker begins at the start state and explores each of its outgoing transitions to other states as far as possible along each branch before backtracking and selecting the next transition. DF
Coriolis principle for mass flow meter: This meter employs the Coriolis Effect to measure the quantity of mass moving via the element. The substance to be calculated runs via a U-shaped tube which is caused to vibrate in a perpendicular direction to f
18,76,764
1924084 Asked
3,689
Active Tutors
1448155
Questions Answered
Start Excelling in your courses, Ask an Expert and get answers for your homework and assignments!!