Implementing an animated visual λ-calculus

CEUR Workshop Proceedings

Volumn 510, Issue , 2009, Pages 96-109

  Strobl, Torsten ^a   Minas, Mark ^a  

^a BUNDESWEHR UNIVERSITY MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN LOGIC; BOOLEAN TERM; DIAGRAM EDITORS; FORMAL SYSTEMS; RECURSIONS; REDUCTION RULES; VARIABLE SUBSTITUTION; VISUAL REPRESENTATIONS;

CALCULATIONS; FUNCTIONAL PROGRAMMING; SEMANTICS;

VISUAL LANGUAGES;

EID: 84891474668     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)

1. E. Biermann, C. Ermel, J. Hurrelmann, and K. Ehrig. Flexible visualization of automatic simulation based on structured graph transformation. In VLHCC '08: Proc. IEEE Symp. on Visual Languages and Human-Centric Computing, pages 21-28, Washington, DC, USA, September 2008. IEEE Computer Society.
2. A. Church. An unsolvable problem of elementary number theory. American Journal of Mathematics, 58:354-363, 1936.
3. W. Citrin, R. Hall, and B. Zorn. Programming with visual expressions. In VL '95: Proc. 1995 IEEE Symp. on Visual Languages, pages 294-301, Darmstadt, Germany, Sep 1995. IEEE Computer Society Press.
4. B. Cramer and U. Kastens. Animation automatically generated from simulation specifications. In VLHCC '09: Proc. IEEE Symp. on Visual Languages and Human-Centric Computing, Corvallis, Oregon, USA, September 2009. IEEE Computer Society.
5. EMF - Eclipse Modeling Framework. http://www.eclipse.org/modeling/emf/ 2009.
6. C. Ermel. Simulation and Animation of Visual Languages based on Typed Algebraic Graph Transformation. PhD thesis, Tech. Univ. Berlin, Fak. IV, Books on Demand, Norderstedt, 2006.
7. S. Gyapay, R. Heckel, D. Varro, and D. Varr. Graph Transformation with Time: Causality and Logical Clocks. In ICGT '02: Proc. 1st Int. Conf. on Graph Transformation, pages 120-134. Springer-Verlag, 2002.
8. H.-J. Kreowski and S. Kuske. Graph transformation units with interleaving semantics. Formal Asp. Comput., 11(6):690-723, 1999.
9. J. d. Lara and H. Vangheluwe. AToM3: A Tool for Multi-formalism and Metamodelling. In FASE '02: Proc. 5th Int. Conf. on Fundamental Approaches to Software Engineering, pages 174-188, London, UK, 2002. Springer-Verlag.
10. M. Minas. Generating meta-model-based freehand editors. In GraBatTs '06: Proc. 3rd Int. Workshop on Graph Based Tools, Satellite event of 3rd Int. Conf. on Graph Transformation, Natal, Brazil, September 2006.
11. M. Minas and J. Gottschall. Specifying animated diagram languages. In TVL '97: Proc. Workshop on Theory of Visual Languages, Capri, Italy, 1997.
12. J. E. Rivera, C. Vicente-Chicote, and A. Vallecillo. Extending visual modeling languages with timed behavioral specifications. In IDEAS 2009: Proc. 12th Iberoamerican Conf. on Requirements Engineering and Software Environments, pages 87-100, Colombia, April 2009.
13. E. Syriani and H. Vangheluwe. Programmed Graph Rewriting with Time for Simulation-Based Design. In ICMT '08: Proc. 1st Int. Conf. on Theory and Practice of Model Transformations, pages 91-106, Berlin, Heidelberg, 2008. Springer-Verlag.
14. B. Victor. Alligator eggs A puzzle game. http://worrydream.com/ AlligatorEggs/, May 2007.