A DSL for writing type Systems for Xtext Languages

被引：0
|
作者：
Dipartimento di Informatica, Università di Torino, Corso Svizzera 185, 10149 Torino, Italy [1 ]
机构：
来源：
Proc. Int. Conf. Princ. Pract. Program. Java, PPPJ | 1600年 / 31-40期
关键词：
2011_021213_477_12.xlsx;
D O I：
August 24, 2011 - August 26, 2011
中图分类号：
学科分类号：
摘要：
716 Telecommunication; Radar, Radio and Television - 717 Optical Communication - 718 Telephone Systems and Related Technologies; Line Communications - 723 Computer Software, Data Handling and Applications - 723.1.1 Computer Programming Languages - 921 Mathematics
引用
下载
收藏
相关论文
共 50 条
  • [41] DSL-Maps: From Requirements to Design of Domain-Specific Languages
    Pescador, Ana
    de lara, Juan
    2016 31ST IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE), 2016, : 438 - 443
  • [42] Merging Comparable Data Sources for the Discrimination of Similar Languages: The DSL Corpus Collection
    Tan, Liling
    Zampieri, Marcos
    Ljubesic, Nikola
    Tiedemann, Jorg
    LREC 2014 - NINTH INTERNATIONAL CONFERENCE ON LANGUAGE RESOURCES AND EVALUATION, 2014,
  • [43] Usa-DSL: a Process for Usability Evaluation of Domain-Specific Languages
    Poltronieri, Ildevana
    Zorzo, Avelino Francisco
    Bernardino, Maicon
    Oliveirajr, Edson
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2024, 30 (08) : 1023 - 1047
  • [44] Exploration of modularity and reusability of domain-specific languages: an expression DSL in MetaMod
    Sutii, Ana Maria
    van den Brand, Mark
    Verhoeff, Tom
    COMPUTER LANGUAGES SYSTEMS & STRUCTURES, 2018, 51 : 48 - 70
  • [45] From flow logic to static type systems for coordination languages
    De Nicola, Rocco
    Gorla, Daniele
    Hansen, Rene Rydhof
    Nielson, Flemming
    Nielson, Hanne Riis
    Probst, Christian W.
    Pugliese, Rosario
    COORDINATION MODELS AND LANGUAGES, PROCEEDINGS, 2008, 5052 : 100 - +
  • [46] Extended type systems of action languages for the development of communication protocols
    Kistel, Thomas
    Vandenhouten, Ralf
    2014 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS (SMC), 2014, : 3054 - 3057
  • [47] From Flow Logic to static type systems for coordination languages
    De Nicola, Rocco
    Gorla, Daniele
    Hansen, Rene Rydhof
    Nielson, Flemming
    Nielson, Hanne Riis
    Probst, Christian W.
    Pugliese, Rosario
    SCIENCE OF COMPUTER PROGRAMMING, 2010, 75 (06) : 376 - 397
  • [48] On type systems for object-oriented database programming languages
    Leontiev, Y
    Özsu, MTR
    Szafron, D
    ACM COMPUTING SURVEYS, 2002, 34 (04) : 409 - 449
  • [49] Reading and writing in Southeast Asian languages
    Winskel, Heather
    9TH INTERNATIONAL CONFERENCE ON COGNITIVE SCIENCE, 2013, 97 : 437 - 442
  • [50] WRITING IN INDIAN LANGUAGES 1987 + DOGRI
    SHIVANATH
    INDIAN LITERATURE, 1988, 31 (06) : 17 - 24
12345