research-article

AIDA compiler: a code synthesizer from programs in pictures

Authors:

Yutaka Watanobe,

Nikolay Mirenkov,

Yuya WatanabeAuthors Info & Claims

HCCE '12: Proceedings of the 2012 Joint International Conference on Human-Centered Computer Environments

Pages 76 - 83

https://doi.org/10.1145/2160749.2160767

Published: 08 March 2012 Publication History

Abstract

AIDA is a language for programming (modeling and documenting) in pictures within F-modeling environment where pictures and moving pictures are used as super-characters for representing features of computational algorithms, corresponding application models and possible related documentation. Generic pictures of the algorithmic super-characters are used to compose compound pictures defining algorithmic steps. The generic and compound pictures, as well as their series are acquired in special galleries of an open type where supportive pictures of various annotations are also included. These acquisitions allow very compact algorithmic specifications from which a set of program slices with different levels of details are synthesized. The lowest level slice is a C++ program. The F-modeling environment provides a set of editors for different views and annotations. In this paper, a structure of the synthesizer is presented and a distribution of its functions among the environment subsystems is provided. A special attention is payed to internal objects, template programs and algorithms supporting the C++ program generation.

References

[1]

A. Aho, R. Sethi, J. Ullman, Compilers: Principles, Techniques, and Tools, Addison-Wesley, 1986.

Digital Library

[2]

A. Appel, M. Ginsburg, Modern Compiler Implementation in C, Cambridge University Press, 1998,

Digital Library

[3]

Krzysztof Czarnecki and Ulrich W. Eisenecker, Generative programming, Addison-Wesley, 2000.

[4]

A. Pettorossi (ed.), Logic Based Program Synthesis and Transformation, 11-th International Workshop, LOPSTR-2001, LNCS 2372, Springer, 2001.

Digital Library

[5]

C. Morgan, Programming from specifications, Prentice Hall, 1994.

Digital Library

[6]

E. Tyugu, Knowledge-Based Programming, Turing Institute Press in association with Addison-Wesley, 1988.

Digital Library

[7]

P.D. Terry, Compilers and Compiler Generators, Rhodes University, 1996, http://scifac.ru.ac.za/compilers/

[8]

P. Wayner, 11 programming trends to watch, http://www.infoworld.com/print/179761, created 2011-11-28.

[9]

Peter A. Blume, The LabVIEW Style Book, Prentice Hall, 2007.

[10]

Leon Starr, Executable UML, Prentice Hall, 2002.

[11]

M. Wimmer, A. Schauerhuber, and G. Kappel, A Survey on UML-Based Aspect-Oriented Design Modeling, ACM Computing Surveys, vol. 43, no. 4, article 28, 33 pages, 2011.

Digital Library

[12]

R. Yoshioka, N. Mirenkov, Visual Computing within Environment of Self-explanatory Components, Soft Computing Journal, vol. 7, issue 1, 2002, pp.20--32.

[13]

N. Mirenkov, A. Vazhenin, R. Yoshioka, T. Ebihara, T. Hirotomi, and T. Mirenkova, Self-explanatory components: a new programming paradigm, International Journal of Software Engineering and Knowledge Engineering, vol. 11, no. 1, 2001, pp. 5--36.

[14]

Yu. Watanobe, N. Mirenkov, R. Yoshioka, Algorithm Library based on Algorithmic CyberFilms, Journal of Knowledge-Based Systems, vol. 22, issue 3, 2009, pp. 195--208.

Digital Library

[15]

Yu. Watanobe, N. Mirenkov, R. Yoshioka, O. Monakhov, Filmification of methods: A visual language for graph algorithms, Journal of Visual Languages and Computing, vol. 19, no. 1, 2008, pp. 123--150.

Digital Library

[16]

Yu. Watanobe, R. Yoshioka, N. Mirenkov, Cognitive aspects of programming in pictures, Modern Approaches in Applied Intelligence, LNAI 6704, Part 2, Springer, 2011, pp. 11--20.

Digital Library

[17]

Boost Graph Library, http://boost.cppll.jp/

[18]

OpenFOAM, http://www.openfoam.com/

Cited By

Watanobe YMirenkov NTerasaka H(2014)Information resources of ∗AIDA programs2014 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)10.1109/VLHCC.2014.6883036(137-140)Online publication date: Jul-2014
https://doi.org/10.1109/VLHCC.2014.6883036
Watanobe YMirenkov N(2014)Hybrid intelligence aspects of programming in *AIDA algorithmic picturesFuture Generation Computer Systems10.1016/j.future.2013.12.03137(417-428)Online publication date: Jul-2014
https://doi.org/10.1016/j.future.2013.12.031
Watanobe YMirenkov N(2013)Diagram scenes in *AIDA2013 IEEE 12th International Conference on Intelligent Software Methodologies, Tools and Techniques (SoMeT)10.1109/SoMeT.2013.6645664(209-215)Online publication date: Sep-2013
https://doi.org/10.1109/SoMeT.2013.6645664
Show More Cited By

Index Terms

AIDA compiler: a code synthesizer from programs in pictures
1. Software and its engineering
  1. Software creation and management
    1. Software development techniques
  2. Software notations and tools

Recommendations

Intelligent aspects of AIDA programming
IEA/AIE'12: Proceedings of the 25th international conference on Industrial Engineering and Other Applications of Applied Intelligent Systems: advanced research in applied artificial intelligence

AIDA stands for animation and images to develop algorithms. It is a languge of algorithmic CyberFrames, Animation Scenes, and CyberFilms within the Filmification modeling (F-modeling) environment where pictures and moving pictures are used for the ...
Compiler algorithm language (CAL): an interpreter and compiler
ACST'07: Proceedings of the third conference on IASTED International Conference: Advances in Computer Science and Technology

We have designed a Compiler Algorithm Language (CAL) to provide compiler writers with a language which is close to actual algorithmic notation. In this work, we have developed an interpreter and debugger for CAL which can be used by researchers for ...
An object-oriented and generic compiler generator
EUROCAST'07: Proceedings of the 11th international conference on Computer aided systems theory

Object-oriented software development has become the de-facto standard programming paradigm used in modern software systems. Additionally genericity has grown more popular since the enhancement of Java and C#. This paper attempts to reconsider the ...

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences

HCCE '12: Proceedings of the 2012 Joint International Conference on Human-Centered Computer Environments

March 2012

277 pages

ISBN:9781450311915

DOI:10.1145/2160749

General Chairs:
Alexander Vazhenin
University of Aizu, Japan
,
Jens Herder
University of Applied Sciences, Duesseldorf, Germany
,
Kenjiro Miura
Shizuoka University, Japan

Copyright © 2012 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Shizuoka University in Hamamatsu: Shizuoka University in Hamamatsu
University of Aizu: University of Aizu

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 08 March 2012

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

HCCE '12

Sponsor:

Shizuoka University in Hamamatsu
University of Aizu

HCCE '12: The Joint International Conference on Human-Centered Computer Environments

March 8 - 13, 2012

Aizu-Wakamatsu, Japan

Acceptance Rates

HCCE '12 Paper Acceptance Rate 48 of 81 submissions, 59%;

Overall Acceptance Rate 48 of 81 submissions, 59%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
138
Total Downloads

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

Reflects downloads up to 14 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

Watanobe YMirenkov NTerasaka H(2014)Information resources of ∗AIDA programs2014 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)10.1109/VLHCC.2014.6883036(137-140)Online publication date: Jul-2014
https://doi.org/10.1109/VLHCC.2014.6883036
Watanobe YMirenkov N(2014)Hybrid intelligence aspects of programming in *AIDA algorithmic picturesFuture Generation Computer Systems10.1016/j.future.2013.12.03137(417-428)Online publication date: Jul-2014
https://doi.org/10.1016/j.future.2013.12.031
Watanobe YMirenkov N(2013)Diagram scenes in *AIDA2013 IEEE 12th International Conference on Intelligent Software Methodologies, Tools and Techniques (SoMeT)10.1109/SoMeT.2013.6645664(209-215)Online publication date: Sep-2013
https://doi.org/10.1109/SoMeT.2013.6645664
Watanobe YMirenkov N(2013)F-Modeling Environment: Acquisition Techniques for Obtaining Special-Purpose FeaturesDatabases in Networked Information Systems10.1007/978-3-642-37134-9_14(167-181)Online publication date: 2013
https://doi.org/10.1007/978-3-642-37134-9_14

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.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents