Model-aware Language Specification with Java']Java

被引:0
|
作者
Porubaen, Jaroslav [1 ]
Chodarev, Sergej [1 ]
机构
[1] Tech Univ Kosice, Fac Elect Engn & Informat, Dept Comp & Informat, Kosice 04200, Slovakia
关键词
language patterns; abstract syntax; domain-specific languages; parser generators; YAJCo;
D O I
暂无
中图分类号
TE [石油、天然气工业]; TK [能源与动力工程];
学科分类号
0807 ; 0820 ;
摘要
Tools that support development of parsers often concentrate on concrete syntax, leaving abstract syntax defined only implicitly. On the other hand there are projectional language workbenches that give central role to language model (abstract syntax) at the cost of locking a language to the concrete tool. In this paper we present YAJCo parser generator that uses model-centered approach to language definition while preserving textual representation. Abstract syntax of a language is expressed using object-oriented model in a general-purpose language with additional information and concrete syntax provided in form of annotations. In the paper we describe how abstract syntax, concrete syntax and semantics of the language are defined using YAJCo. We also describe how this method supports language composition and iterative development.
引用
收藏
页数:4
相关论文
共 50 条
  • [1] Java']Java Memory Model-Aware Model Checking
    Jin, Huafeng
    Yavuz-Kahveci, Tuba
    Sanders, Beverly A.
    [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2012, 2012, 7214 : 220 - 236
  • [2] A Domain-Oriented, Java']Java Specification Language
    Duc Minh Le
    [J]. 2015 Seventh International Conference on Knowledge and Systems Engineering (KSE), 2015, : 25 - 30
  • [3] Recovering grammar relationships for the Java']Java Language Specification
    Laemmel, Ralf
    Zaytsev, Vadim
    [J]. SOFTWARE QUALITY JOURNAL, 2011, 19 (02) : 333 - 378
  • [4] Recovering Grammar Relationships for the Java']Java Language Specification
    Laemmel, Ralf
    Zaytsev, Vadim
    [J]. 2009 NINTH IEEE INTERNATIONAL WORKING CONFERENCE ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS, 2009, : 178 - 186
  • [5] Java']Java as a specification language for hardware-software systems
    Helaihel, R
    Olukotun, K
    [J]. 1997 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN - DIGEST OF TECHNICAL PAPERS, 1997, : 690 - 697
  • [6] JCML: A specification language for the runtime verification of Java']Java Card programs
    da Costa, Umberto Souza
    Moreira, Anamaria Martins
    Musicante, Martin A.
    Souza Neto, Placid A.
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2012, 77 (04) : 533 - 550
  • [7] Preliminary design of BML: A behavioral interface specification language for Java']Java bytecode
    Burdy, Lilian
    Huisman, Marieke
    Pavlova, Mariela
    [J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2007, 4422 : 215 - +
  • [8] Recovering grammar relationships for the Java Language Specification
    Ralf Lämmel
    Vadim Zaytsev
    [J]. Software Quality Journal, 2011, 19 : 333 - 378
  • [9] Recovering grammar relationships for the Java Language Specification
    Software Languages Team, University of Koblenz, Landau, Germany
    [J]. IEEE Int. Work. Conf. Source Code Anal. Manip., SCAM, 1600, (178-186):
  • [10] Extending the concurrency model of the real-time specification for Java']Java
    Basanta-Val, P.
    Garcia-Valls, M.
    Estevez-Ayres, I.
    [J]. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2011, 23 (14): : 1623 - 1645