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.

Copyright © 2020 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.