Computer is used virtually everywhere everyday in the world. Before 1990s computer systems are generally used for mathematics, engineering, and business computations. In this period, mainly use FOTRAN, COBOL, and PL/1 for computation on mainframe systems. In the last two decades scientists found that the natural world is complicated that has overwhelmed with data that required more sophisticated computation facilities and better languages for computation and that created new computing disciplines. This paper addresses the understanding of programming language semantics that will help user in selection of programming language features for various applications needs and that can help programmers in designing reliable, accurate, efficient, and user-friendly software systems for the real world.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Demillo, R. and Rice, J. eds. Studies in Computer Science: In Honor of Samuel D. Conte, Plenum, New York, 1994.
Myers, G. J. Software Reliability, Wiley, New York, 1976.
Pfleeger, S. L. Software Engineering, the Production of Quality Software, 2nd edition, Macmillan, New York, 1991.
Wu, T. Some tips in computer science, a talk given at University of Illinois at Springfield, Dec. 2, 2004.
China Daily, CHINAdaily.com.cn, October 28, 2006.
The Aviation Book, A visual encyclopedia of the history of aircraft, www. Chronicale-Books.com
Boeing 777, globalsecurity.org/military/systems/ aircraft/b777.html
Pratt, T. W. and Zelkowitz, M. V. Programming Languages, Design and Implementation, 3rd edition, Prentice-Hall, Englewood Cliffs, NJ, 1996.
Sebesta, R. W. Concepts of Programming Languages, 6th edition, Addison-Wesley, Reading, MA, 2003.
Barnes, J. G. P. Programming in Ada, 3rd edition, Addison-Wesley, Reading, MA, 1989.
Barnes, J. Programming in Ada 95, Addison-Wesley, Reading, MA, 1995.
Smedema, C. H., et al. The Programming languages Pascal, Modula, Chill, and Ada, Prentice-Hall, Englewood Cliffs, NJ, 1983.
Watt, D. A., et al. Ada Language and Methodology, Prentice-Hall, Englewood Cliffs, NJ, 1987.
Zadeh, L. A. Fuzzy sets and information granularity, In M. M. Gupta, P. K. Ragade, R. R. Ya g e r, e d s., Advances in Fuzzy Set Theory and Applications, North-Holland, Amsterdam, pp. 3–18, 1979.
Zadeh, L. A. Towards a theory of fuzzy information granulation and its centrality in human reasoning and fuzzy logic, Fuzzy Sets and Systems. 19, 111–117, 1997.
Ada information clearance house, the web site: www.adaic.org/atwork/boeing.html
Booch, G. Software engineering with Ada, 2nd edition, Benjamin/Cummings Publishing, Reading, MA, 1987.
Habermann, A. N. and Perry, D. E. Ada for Experienced Programmers, Addison-Wesley, Reading, MA, 1983.
Welsh, J. and Lister, A. A Comparative Study of Task Communication in Ada, Software Practice and Experience. 11, 257–290, 1981.
Mas project http://mars.jpl.nasa
Parnas, D. L. Is Ada Too Big? (letter) Communications of ACM. 29, 1155–1155, 1984.
Wichmann, B. A. Is Ada Too Big? A Designer Answers the Critics, Communications of ACM. 29, 1155–1156, 1984.
Struble, G. Assembler Language Programming, The IBM System/370 Family, Addison-Wesley, Reading, MA, 1984.
Vax Ada Language Reference Manual, Digital Equipment Corporation, Maynard, MA, 1985.
Wu, T. Built-in reliability in the Ada programming language, Proceedings of IEEE 1990 National Aerospace and Electronics Conference, pp. 599–602, 1990.
Wu, T. An Accurate Computation of the Hypergeometric Distribution Function, ACM Transactions on Mathematical Software. 19 (1), 33–43, 1993.
Wu, T. Ada programming language for Numerical Computation, Proceedings of IEEE 1995 National Aerospace and Electronics Conference, pp. 853–859, 1995.
Joint Task Force for Computing Curricula 2004, Overview Report. ACM and IEEE-CS, 2004.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer Science+Business Media B.V
About this chapter
Cite this chapter
Wu, T. (2009). Understanding Programming Language Semantics for the Real World. In: Ao, SI., Gelman, L. (eds) Advances in Electrical Engineering and Computational Science. Lecture Notes in Electrical Engineering, vol 39. Springer, Dordrecht. https://doi.org/10.1007/978-90-481-2311-7_27
Download citation
DOI: https://doi.org/10.1007/978-90-481-2311-7_27
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-2310-0
Online ISBN: 978-90-481-2311-7
eBook Packages: EngineeringEngineering (R0)