System Programming Drawbacks

Authors

  • Abhishek Jain Department Of Computer Science, Dronacharya College of Engineering, Gurgaon
  • Manohar Kumar Department Of Computer Science, Dronacharya College of Engineering, Gurgaon
  • Manohar Kumar Department Of Computer Science, Dronacharya College of Engineering, Gurgaon

DOI:

https://doi.org/10.53555/nncse.v2i4.453

Keywords:

Abstraction, encapsulation, modularity, extensibility, Static type

Abstract

A system programming language usually refers to a programming language used for system programming; such languages are designed for writing system software, which usually requires different development approaches when compared to application software. System software is computer software designed to operate and control the computer hardware, and to provide a platform for running application software. System software includes software categories such as operating systems, utility software, device drivers, compilers, and linkers. In contrast with application languages, system programming languages typically offer more-direct access to the physical hardware of the machine: an archetypical system programming language in this sense was BCPL. System programming languages often lack built in input/output facilities because a system-software project usually develops its own input/output or builds on basic monitor I/O or screen management services facilities. The distinction between languages for system programming and applications programming became blurred with widespread popularity of PL/I, C and Pascal.

References

Eric L. McCorkle. Modern features for systems programming languages. In ProceedingsOfthe 44th annual Southeast regional conference (ACM-SE 44), pp691-697, 2006.

Benjamin Pierce. Types and Programming Languages, page 159 and 199. MassachusettsInstitute of Technology Press, 2003.

Benjamin Pierce. Types and Programming Languages, page 392. MassachusettsInstitute of Technology Press, 2003.

Benjamin Pierce. Types and Programming Languages, pages 187 and 197. MassachusettsInstitute of Technology Press, 2003.

Xavier Leroy. Formal verification of a realistic compiler. Communications of theACM, July 2009.

Gerwin Klein et al. seL4: formal verification of an OS kernel. In Proceedings ofthe ACM SIGOPS 22nd symposium on Operating systems principles, 2009.

Dan Grossman, Greg Morrisett, Trevor Jim, Michael Hicks, Yanling Wang, andJames Cheney. Region-based memory management in Cyclone. In ProceedingsOfthe ACM SIGPLAN 2002 Conference on Programming Language Design andImplementation, pp 282-293, 2002.

Downloads

Published

2015-04-30

How to Cite

Jain, A., Kumar, M., & Kumar, M. (2015). System Programming Drawbacks. Journal of Advance Research in Computer Science & Engineering (ISSN 2456-3552), 2(4), 16-19. https://doi.org/10.53555/nncse.v2i4.453