Summary
This chapter introduced the concepts and structures in e that describe the organization of e as a programming language. The discussion presented e as a powerful programming language that can be used for effective implementation of general purpose programs. The concepts of aspect oriented programming, declarative programming, and concurrent programming constructs in e make e a good candidate for a slew of programming environments. The e programming language provides an extensive set of abstractions and constructs for verification projects. The verification aspects of the e language are discussed in chapter 5.
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
Preview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 2004 Springer Science + Business Media, Inc.
About this chapter
Cite this chapter
(2004). e as a Programming Language. In: The e Hardware Verification Language. Springer, Boston, MA. https://doi.org/10.1007/1-4020-8024-7_4
Download citation
DOI: https://doi.org/10.1007/1-4020-8024-7_4
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4020-8023-4
Online ISBN: 978-1-4020-8024-1
eBook Packages: Springer Book Archive