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.
    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
    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
    SOFTWARE QUALITY JOURNAL, 2011, 19 (02) : 333 - 378
  • [4] Recovering Grammar Relationships for the Java']Java Language Specification
    Laemmel, Ralf
    Zaytsev, Vadim
    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
    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.
    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
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2007, 4422 : 215 - +
  • [8] Recovering grammar relationships for the Java Language Specification
    Ralf Lämmel
    Vadim Zaytsev
    Software Quality Journal, 2011, 19 : 333 - 378
  • [9] Recovering grammar relationships for the Java Language Specification
    Software Languages Team, University of Koblenz, Landau, Germany
    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.
    CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2011, 23 (14): : 1623 - 1645