Formal Analysis of Object-Oriented Mograms-Reference-Cited by-同舟云学术

Formal Analysis of Object-Oriented Mograms

Published:2017-06-18 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs
language:
Short-container-title:

Author:

Amrani Moussa¹,Schobbens Pierre-Yves¹

Affiliation:

1. University of Namur, Namur, Namur

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3103111.3104042

Reference18 articles.

1. M. Abadi and L. Cardelli. 1998. A Theory of Objects. Springer. M. Abadi and L. Cardelli. 1998. A Theory of Objects. Springer.

2. A.V. Aho R. Sethi and J.D. Ullman. 1986. Compilers:Principles Techniques and Tools. Addison-Wesley. A.V. Aho R. Sethi and J.D. Ullman. 1986. Compilers:Principles Techniques and Tools. Addison-Wesley.

3. W. Ahrendt B. Beckert R. Bubel R. Hähnle P.H. Schmitt and M. Ulbrich (Eds.). 2016. Deductive Software Verification -- The KeYBook. From Theory to Practice. Springer-Verlag. W. Ahrendt B. Beckert R. Bubel R. Hähnle P.H. Schmitt and M. Ulbrich (Eds.). 2016. Deductive Software Verification -- The KeYBook. From Theory to Practice. Springer-Verlag.

4. Moussa Amrani. 2013. A Formal Semantics of Kermeta. In Formal and Practical Aspects of Domain-Specific Languages: Recent Developments Marjan Mernik (Ed.). Igi Global Chapter 10. Moussa Amrani. 2013. A Formal Semantics of Kermeta. In Formal and Practical Aspects of Domain-Specific Languages: Recent Developments Marjan Mernik (Ed.). Igi Global Chapter 10.

5. Moussa Amrani. 2013. Towards The Formal Verification of Model Transformations --- An Application to Kermeta. Ph.D. Dissertation. University of Luxembourg. Moussa Amrani. 2013. Towards The Formal Verification of Model Transformations --- An Application to Kermeta. Ph.D. Dissertation. University of Luxembourg.