Article

The Design and Implementation of Z Language Editor

Author:

Xiaolei GaoAuthors Info & Claims

ICA3PP '09: Proceedings of the 9th International Conference on Algorithms and Architectures for Parallel Processing

Pages 684 - 692

https://doi.org/10.1007/978-3-642-03095-6_64

Published: 30 July 2009 Publication History

Abstract

This paper introduces the analysis, design and realization of the visual editor which supports Z language. It makes a detail of key technologies, including the input and output of special characters, the input and output of schema, the superscript and subscript and the optimized display of the text; the editor not only supports the processing of standard Z language but also provides input and output of a variety of graphics, simplifying editing and typesetting of Z language.

References

[1]

Spivey, J.M.: The Z Notation: a Reference Manual, 2nd edn. Prentice Hall, London (1990).

Digital Library

Google Scholar

[2]

Toyn, I., Galloway, A.: Proving Properties of Stateflow Models Using ISO Standard Z and CADiZ. Springer, Heidelberg (2005).

Google Scholar

[3]

Blaha, M., Rumbaugh, J.: Object-Oriented Modeling and Design with UML. Prentice Hall, Englewood Cliffs (2005).

Digital Library

Google Scholar

[4]

Gamma, E., et al.: Design Patterns. Addison Wesley, Reading (1995).

Google Scholar

[5]

Richter, J.: Programming Applications for Microsoft Windows. Microsoft Press, Washington (1999).

Google Scholar

Recommendations

Implementation of Z Language Edit Tool in MS Word
ISPA '10: Proceedings of the International Symposium on Parallel and Distributed Processing with Applications

This paper introduce how to add Z language edit component for Microsoft word. One component is about input and output of special symbol, and it is implemented by static tool box; another component is about input and output of schema, axiom, and so on in ...
Modular language implementation in Rascal - experience report

All software evolves, and programming languages and programming language tools are no exception. And just like in ordinary software construction, modular implementations can help ease the process of changing a language implementation and its dependent ...
The design and implementation of the wolfram language compiler
CGO '20: Proceedings of the 18th ACM/IEEE International Symposium on Code Generation and Optimization

The popularity of data- and scientific-oriented applications, abundance of on-demand compute resources, and scarcity of domain expert programmers have given rise to high-level scripting languages. These high-level scripting languages offer a fast way to ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ICA3PP '09: Proceedings of the 9th International Conference on Algorithms and Architectures for Parallel Processing

July 2009

876 pages

ISBN:9783642030949

Editors:
Arrems Hua
Department of Computer Science and Information Engineering, National Taiwan University of Science and Technology, Taipei City, Taiwan, ROC 106
,
Shih-Liang Chang
Department of Computer Science and Information Engineering, National Taiwan University of Science and Technology, Taipei City, Taiwan, ROC 106

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 30 July 2009

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

0
Total Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 02 Oct 2024

Other Metrics

View Author Metrics

Citations

View Options

View options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

References

Recommendations

Implementation of Z Language Edit Tool in MS Word

Modular language implementation in Rascal - experience report

The design and implementation of the wolfram language compiler

Comments

Information

Published In

Publisher

Publication History

Author Tags

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

View options

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations