Formal Methods and Software Engineering: 17th International by Michael Butler, Sylvain Conchon, Fatiha Zaïdi

By Michael Butler, Sylvain Conchon, Fatiha Zaïdi

This publication constitutes the refereed complaints of the seventeenth foreign convention on Formal Engineering tools, ICFEM 2015, held in Paris, France, in November 2015. The 27 revised complete papers offered have been rigorously reviewed and chosen from eighty two submissions. The papers conceal a variety of issues within the quarter of formal equipment and software program engineering and are dedicated to advancing the state-of-the-art of making use of formal tools in perform. They concentration particularly on mixtures of conceptual and methodological points with their formal origin and gear support.

Show description

Read Online or Download Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings PDF

Similar compilers books

Verilog: Frequently Asked Questions: Language, Applications and Extensions

This e-book addresses "front finish" questions and concerns encountered in utilizing the Verilog HDL, in the course of the entire phases of layout, Synthesis and Verification. the problems mentioned within the e-book tend to be encountered in either ASIC layout initiatives in addition to in gentle IP designs. those matters are addressed in an easy Q&A layout.

Programming Multi-Agent Systems: Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers

The world of self sustaining brokers and multi-agent platforms (MAS) has grown right into a promising know-how delivering good choices for the layout of allotted, clever platforms. numerous efforts were made through researchers and practitioners, either in academia and undefined, and by means of a number of standardisation consortia that allows you to offer new languages, instruments, equipment, and frameworks that allows you to determine the required criteria for a large use of MAS expertise.

Compilers: Principles, techniques, and tools

Set of rules layout introduces algorithms by means of the real-world difficulties that encourage them. The e-book teaches scholars a number of layout and research innovations for difficulties that come up in computing purposes. The textual content encourages an figuring out of the set of rules layout strategy and an appreciation of the function of algorithms within the broader box of computing device technology.

Rule-Based Programming

Rule-Based Programming is a wide presentation of the rule-based programming approach with many instance courses exhibiting the strengths of the rule-based process. The rule-based strategy has been used widely within the improvement of man-made intelligence platforms, equivalent to professional platforms and computing device studying.

Extra resources for Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

Example text

Right-hand sides (actions) can modify the fact memory, issue error messages, and generally execute any Scala code (here the DSL becomes a shallow DSL). Class Monitor defines features for writing rules, for example the functions: event, fact, --, &, |->, insert, remove, and fail. Recall that in Scala, method names can be sequences of symbols, and dots and parentheses around method 12 C. Artho et al. Fig. 10. Internal deep Scala LogFire DSL: lock order monitor. arguments are optional. Each rule definition in the monitor above is a sequence of method calls, that last of which is the call of the method |->, which produces an internal representation (an abstract syntax tree) of the rule as an object of a class Rule, which is then passed as argument to a method addRule(rule: Rule) in the Rete module.

For internal shallow DSLs the host language is directly part of the DSL, thus making the DSL itself Turing complete. Our experience with internal DSLs is that the user of the DSL will use the host language constructs in case the DSL is not applicable to a particular problem. As an example, an internal DSL lends itself to writing “glue code” to connect the DSL with another system, such as the system under test in case of a test DSL. It is more challenging to turn external DSLs into Turing complete languages.

ICFEM 2015, LNCS 9407, pp. 17–32, 2015. 1007/978-3-319-25423-4 2 18 S. Boldo The naive formula (x+y)/2 is quite accurate, but may fail due to overflow, even if the correct result is in the range. For example, consider the maximum floating-point number M , then (M+M)/2 overflows while the correct result is M . This problem has been known for decades and has been thoroughly studied by Sterbenz [17], among some examples called “carefully written programs”. This study is especially interesting as Sterbenz does not fully give a correct program: he specified what it is required to do, such as symmetry and gives hints about how to circumvent overflow.

Download PDF sample

Rated 4.57 of 5 – based on 30 votes
Posted In CategoriesCompilers