Abstract
Using your favourite document preparation package for typesetting mathematical expressions — to include in papers and theses, for example — can be tedious at the best of times. It is particularly frustrating when the desired expressions already exist somewhere else, such as in an active Maple session, but are not in any kind of format that is both transferable and typographically useful. Here, the concepts of denotational semantics are applied to the problem of exporting Maple expressions to FrameMaker via MIF (Maker Interchange Format) files.
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
Tennent, R.D., Semantics of Programming Languages, Prentice Hall International, UK (1991).
Allison, L., A Practical Introduction to Denotational Semantics, Cambridge University Press, UK (1986).
Char, B.W., et al., Maple V Language Reference Manual, Springer-Verlag, New York (1991).
MIF Reference, Frame Technology Corporation (1991).
Gordon, J.C.G, The Denotational Description of Programming Languages, Springer-Verlag, New York (1991).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1994 Springer Science+Business Media New York
About this paper
Cite this paper
Pinchback, R.M. (1994). Denotational Semantics Applied to the Typesetting of Maple Expressions. In: Lopez, R.J. (eds) Maple V: Mathematics and its Applications. Birkhäuser, Boston, MA. https://doi.org/10.1007/978-1-4612-0263-9_3
Download citation
DOI: https://doi.org/10.1007/978-1-4612-0263-9_3
Publisher Name: Birkhäuser, Boston, MA
Print ISBN: 978-0-8176-3791-0
Online ISBN: 978-1-4612-0263-9
eBook Packages: Springer Book Archive