System Programming Drawbacks
DOI:
https://doi.org/10.53555/nncse.v2i4.453Keywords:
Abstraction, encapsulation, modularity, extensibility, Static typeAbstract
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
Issue
Section
License
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.
You are free to:
- Share — copy and redistribute the material in any medium or format for any purpose, even commercially.
- Adapt — remix, transform, and build upon the material for any purpose, even commercially.
- The licensor cannot revoke these freedoms as long as you follow the license terms.
Under the following terms:
- Attribution — You must give appropriate credit , provide a link to the license, and indicate if changes were made . You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use.
- No additional restrictions — You may not apply legal terms or technological measures that legally restrict others from doing anything the license permits.
Notices:
You do not have to comply with the license for elements of the material in the public domain or where your use is permitted by an applicable exception or limitation .
No warranties are given. The license may not give you all of the permissions necessary for your intended use. For example, other rights such as publicity, privacy, or moral rights may limit how you use the material.
