메뉴 건너뛰기




Volumn 8, Issue 2, 1997, Pages 147-173

A graphical semantics for graphical transformation languages

Author keywords

[No Author keywords available]

Indexed keywords


EID: 0031120105     PISSN: 1045926X     EISSN: None     Source Type: Journal    
DOI: 10.1006/jvlc.1996.0046     Document Type: Article
Times cited : (2)

References (25)
  • 1
    • 0011004981 scopus 로고
    • Simulation of communications protocols through graphical transformation rules
    • (T. Catarci, M. F. Costabile & S. Levialdi, eds). World Scientific Publishing, Singapore
    • 1. B. Bell & W. Citrin (1992) Simulation of communications protocols through graphical transformation rules. In: Advanced Visual Interfaces - Proceedings, of the International Workshop AVI'92 (T. Catarci, M. F. Costabile & S. Levialdi, eds). World Scientific Publishing, Singapore, pp. 208-222.
    • (1992) Advanced Visual Interfaces - Proceedings, of the International Workshop AVI'92 , pp. 208-222
    • Bell, B.1    Citrin, W.2
  • 2
    • 85049195957 scopus 로고
    • ChemTrains: A language for creating behaving pictures
    • Bergen, Norway
    • 2. B. Bell & C. Lewis (1993) ChemTrains: A language for creating behaving pictures. In: IEEE Symposium on Visual Languages (VL'93), Bergen, Norway, pp. 188-195.
    • (1993) IEEE Symposium on Visual Languages (VL'93) , pp. 188-195
    • Bell, B.1    Lewis, C.2
  • 6
    • 0011004214 scopus 로고
    • Defining the syntax and the semantics of a visual programming language in a spatial logic
    • 6. A. G. Cohn, & J. M. Gooday (1994) Defining the syntax and the semantics of a visual programming language in a spatial logic. In: AAAI-94, Spatial and Temporal Reasoning Workshop.
    • (1994) AAAI-94, Spatial and Temporal Reasoning Workshop
    • Cohn, A.G.1    Gooday, J.M.2
  • 8
    • 84900550294 scopus 로고
    • New graphical reasoning models for understanding graphical interfaces
    • New Orleans
    • 8. G. W. Furnas (1991) New graphical reasoning models for understanding graphical interfaces. In: ACM Conference on Human Factors in Computing Systems (CHI'91), New Orleans, pp. 71-78.
    • (1991) ACM Conference on Human Factors in Computing Systems (CHI'91) , pp. 71-78
    • Furnas, G.W.1
  • 9
    • 0000367322 scopus 로고
    • Programming languages as information structures
    • (J.-M. Hoc, et al., eds). Academic Press, New York
    • 9. T. R. G. Green (1990) Programming languages as information structures. In: Psychology of Programming (J.-M. Hoc, et al., eds). Academic Press, New York, pp. 117-137.
    • (1990) Psychology of Programming , pp. 117-137
    • Green, T.R.G.1
  • 10
    • 0029504720 scopus 로고
    • Formal semantics of visual languages using spatial reasoning
    • Darmstadt, Germany
    • 10. V. Haarslev (1995) Formal semantics of visual languages using spatial reasoning. In: IEEE-CS Symposium on Visual Languages, Darmstadt, Germany, pp. 156-163.
    • (1995) IEEE-CS Symposium on Visual Languages , pp. 156-163
    • Haarslev, V.1
  • 11
    • 0029703198 scopus 로고    scopus 로고
    • Composing complex behavior from simple visual descriptions
    • Boulder, Colorado
    • 11. R. Hübscher (1996) Composing complex behavior from simple visual descriptions. In: IEEE Synposium on Visual Languages, Boulder, Colorado, pp. 88-94.
    • (1996) IEEE Synposium on Visual Languages , pp. 88-94
    • Hübscher, R.1
  • 12
    • 0030214651 scopus 로고    scopus 로고
    • Drawings on napkins, video game animation, and other ways to program computers
    • 12. K. Kahn (1996) Drawings on napkins, video game animation, and other ways to program computers. Communications of the ACM, 38, 49-59.
    • (1996) Communications of the ACM , vol.38 , pp. 49-59
    • Kahn, K.1
  • 14
    • 0025536730 scopus 로고
    • Complete visualizations of concurrent programs and their executions
    • Skokie, IL
    • 14. K. M. Kahn & V. A. Saraswat (1990) Complete visualizations of concurrent programs and their executions. In: IEEE Workshop on Visual Languages (VL'90), Skokie, IL, pp. 7-15.
    • (1990) IEEE Workshop on Visual Languages (VL'90) , pp. 7-15
    • Kahn, K.M.1    Saraswat, A.V.2
  • 16
    • 0347067420 scopus 로고
    • Pictures depicting pictures: On the specification of visual languages by visual grammars
    • Seattle
    • 16. B. Meyer (1992) Pictures depicting pictures: on the specification of visual languages by visual grammars. In: IEEE Workshop on Visual Languages (VL'92), Seattle, pp. 41-47.
    • (1992) IEEE Workshop on Visual Languages (VL'92) , pp. 41-47
    • Meyer, B.1
  • 18
    • 85030016686 scopus 로고
    • Program semantics and mechanized proof
    • (K. R. Apt & J. W. de Bakker, eds). Mathematical Centre, Amsterdam
    • 18. R. Milner (1976) Program semantics and mechanized proof. In: Foundations of Computer Science II, Part 2 (K. R. Apt & J. W. de Bakker, eds). Mathematical Centre, Amsterdam, pp. 3-44.
    • (1976) Foundations of Computer Science II, Part 2 , pp. 3-44
    • Milner, R.1
  • 19
    • 0000802745 scopus 로고
    • Tcl: An embeddable command language
    • Washington, DC
    • 19. J. K. Ousterhout (1990) Tcl: An embeddable command language. In: 1990 Winter USE NIX Conference, Washington, DC, pp. 133-146.
    • (1990) 1990 Winter USE NIX Conference , pp. 133-146
    • Ousterhout, J.K.1
  • 20
    • 0010952464 scopus 로고
    • Where to draw the line with text: Some claims by logic designers about graphics in notation
    • Cambridge, England
    • 20. M. Petre & T. R. G. Green (1990) Where to draw the line with text: some claims by logic designers about graphics in notation. In: Proceedings of INTERACT '90, Cambridge, England.
    • (1990) Proceedings of INTERACT '90
    • Petre, M.1    Green, T.R.G.2
  • 21
    • 0029270770 scopus 로고
    • Agentsheets: A medium for creating domain-oriented visual languages
    • 21. A. Repenning & T. Sumner (1995) Agentsheets: a medium for creating domain-oriented visual languages. Computer, 28, 14-26.
    • (1995) Computer , vol.28 , pp. 14-26
    • Repenning, A.1    Sumner, T.2
  • 24
    • 0028478501 scopus 로고
    • KidSim: Programming agents without a programming language
    • 24. D. C. Smith, A. Cypher & J. Spohrer (1994) KidSim: Programming agents without a programming language. Communications of the ACM, 37(7), 1994.
    • (1994) Communications of the ACM , vol.37 , Issue.7 , pp. 1994
    • Smith, D.C.1    Cypher, A.2    Spohrer, J.3


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.