Journal of Software Engineering and Applications

Vol.7 No.7(2014), Paper ID 46574, 7 pages

DOI:10.4236/jsea.2014.77051

 

A Logical Treatment of Non-Termination and Program Behaviour

 

Martin Ward, Hussein Zedan

 

Software Technology Research Lab, De Montfort University, Leicester, UK
Applied Science University, Al Eker, Bahrain

 

Copyright © 2014 Martin Ward, Hussein Zedan et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

 

How to Cite this Article

Ward, M. and Zedan, H. (2014) A Logical Treatment of Non-Termination and Program Behaviour. Journal of Software Engineering and Applications, 7, 555-561. doi: 10.4236/jsea.2014.77051.
Journals Menu
Follow SCIRP
Contact us
+1 323-425-8868
customer@scirp.org
WhatsApp +86 18163351462(WhatsApp)
Click here to send a message to me 1655362766
Paper Publishing WeChat

Copyright © 2024 by authors and Scientific Research Publishing Inc.

Creative Commons License

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.