Abstract
Imperative programming languages reflect the architecture of the underlying von Neumann stored program computer: Programs update memory locations under the control of instructions.Execution is (for the most part) sequential. Sequential execution is governed by a program counter. Imperative programs are prescriptive. They dictate precisely how a result is to be computed by means of a sequence of statements to be performed by the computer. Consider this program using the Small language developed in Chap. 6.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this chapter
Cite this chapter
Lee, K.D. (2017). Logic Programming. In: Foundations of Programming Languages. Undergraduate Topics in Computer Science. Springer, Cham. https://doi.org/10.1007/978-3-319-70790-7_7
Download citation
DOI: https://doi.org/10.1007/978-3-319-70790-7_7
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-70789-1
Online ISBN: 978-3-319-70790-7
eBook Packages: Computer ScienceComputer Science (R0)