Research Article
Mapcode Theory in Designing Programs
|
International Journal of Computer Applications
Foundation of Computer Science (FCS), NY, USA
|
| Volume 106 - Issue 4 |
| Published: November 2014 |
| Authors: Venkata Rao Kuchibhotla, B. Gayatri Devi |
10.5120/18505-9584
|
Venkata Rao Kuchibhotla, B. Gayatri Devi . Mapcode Theory in Designing Programs. International Journal of Computer Applications. 106, 4 (November 2014), 1-6. DOI=10.5120/18505-9584
@article{ 10.5120/18505-9584,
author = { Venkata Rao Kuchibhotla,B. Gayatri Devi },
title = { Mapcode Theory in Designing Programs },
journal = { International Journal of Computer Applications },
year = { 2014 },
volume = { 106 },
number = { 4 },
pages = { 1-6 },
doi = { 10.5120/18505-9584 },
publisher = { Foundation of Computer Science (FCS), NY, USA }
}
%0 Journal Article
%D 2014
%A Venkata Rao Kuchibhotla
%A B. Gayatri Devi
%T Mapcode Theory in Designing Programs%T
%J International Journal of Computer Applications
%V 106
%N 4
%P 1-6
%R 10.5120/18505-9584
%I Foundation of Computer Science (FCS), NY, USA
Abstract
A methodology is proposed for designing a program that takes care of safety (semantics) and termination using Mapcode theory.
References
- Blum, L. , Cucker, F. , Shub, M. , and Smale, S. : Complexity
- Knuth, D. E. : The Art of Computer Programming, Volumes 1 - III, Third Edition, Pearson Education Asia, New Delhi, India, 2002.
- Venkata Rao, K. , and Viswanath, K. : Mapcode Characterization of Partial Recursive Maps, Sankhya, The Indian Journal of Statistics, 2010, Volume 72-A, Part 1, pp. 276-292.
- Venkata Rao, K. , and Viswanath, K. : Computing with Multiple Discrete Flows, Journal of Differential Equations and Dynamical Systems, 2010, Volume 18 (4), pp. 401-414.
- Viswanath, K: Dynamical Systems and Computer Science, Mathematics Newsletter of the Ramanujan Mathematical Society, 13(3), 2003, pp. 33-48.
- Viswanath, K. : Building Programs and proving them correct with Dynamical Systems, Proceedings of the International Conference on Computing and Control, Austin, Texas, USA, August, 2004, International Institute of Informatics and Systemics, Orlando, Florida, USA, pp. 372-377.
- Viswanath, K. : An Invitation to Mathematical Computer Science, Discrete Mathematics and its Applications, Ed. M. Sethumadhavan, Narosa, 2006.
- Viswanath, K. : Simple Foundations for Computing, Proceedings of the 40th Annual Convention of the Computer Society of India, November 10-12, 2005, Hyderabad, India.
- Viswanath, K. : Computing with Dynamical Systems, Journal of Differential Equations and Dynamical Systems, Vol. 14(1), pp. 1-24, 2006.
- Viswanath, K. : An Introduction to Mathematical Computer Science, The Universities Press, Hyderabad, India, 2008. and Real Computation, Springer-Verlag, New York, USA, 1998.
- Chandy, K. M. , Misra, J. : Parallel Program Design: A Foundation, Addison-Wesley, Reading, 1988.
- Cutland, N. : Computability:An Introduction to Recursive Function Theory, Cambridge University Press, Cambridge, UK, 1980.
- David Gries. : The Scinece of Programming Springer-Verlag New York Inc, 1981.
- Edsger W. Dijkstra. : A Discipline of Programming Prentice- Hall of India, New Delhi, India, 1979.
Index Terms
Keywords