A declarative tool

被引:0
|
作者
Konopasek, M
机构
关键词
D O I
暂无
中图分类号
TM [电工技术]; TN [电子技术、通信技术];
学科分类号
0808 ; 0809 ;
摘要
引用
收藏
页码:6 / 6
页数:1
相关论文
共 50 条
  • [1] December: A Declarative Tool for Crowd Member Selection
    Amsterdamer, Yael
    Milo, Tova
    Somech, Amit
    Youngmann, Brit
    PROCEEDINGS OF THE VLDB ENDOWMENT, 2016, 9 (13): : 1485 - 1488
  • [2] A tool for declarative Trace Alignment via automated planning
    De Giacomo, Giuseppe
    Fuggitti, Francesco
    Maggi, Fabrizio Maria
    Marrella, Andrea
    Patrizi, Fabio
    SOFTWARE IMPACTS, 2023, 16
  • [3] A tool for compiling Declarative Process Mining problems in ASP
    Chiariello, Francesco
    Maggi, Fabrizio Maria
    Patrizi, Fabio
    SOFTWARE IMPACTS, 2022, 14
  • [4] <bold>Kato: A Program Slicing Tool for Declarative Specifications</bold>
    Uzuncaova, Engin
    Khurshid, Sarfraz
    ICSE 2007: 29TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS, 2007, : 767 - +
  • [5] DDT:: a declarative debugging tool for functional-logic languages
    Caballero, R
    Rodríguez-Artalejo, M
    FUNCTIONAL AND LOGIC PROGRAMMING, 2004, 2998 : 70 - 84
  • [6] Declarative mark-up languages as a tool for developing educational hypermedia
    Fernandez-Manjon, B
    Navarro, A
    Cigarran, JM
    Fernandez-Valmayor, A
    INTELLIGENT TUTORING SYSTEMS, 1998, 1452 : 607 - 607
  • [7] Xdiagram: A Declarative Textual DSL for Describing Diagram Editors (Tool Demo)
    Santos, Andre L.
    Gomes, Eduardo
    PROCEEDINGS OF THE 2016 ACM SIGPLAN INTERNATIONAL CONFERENCE ON SOFTWARE LANGUAGE ENGINEERING (SLE'16), 2016, : 253 - 257
  • [8] Effects of dividing attention on memory for declarative and procedural aspects of tool use
    Shumita Roy
    Norman W. Park
    Memory & Cognition, 2016, 44 : 727 - 739
  • [9] A declarative approach and benchmark tool for controlled evaluation of microservice resiliency patterns
    Aderaldo, Carlos M.
    Costa, Thiago M.
    Vasconcelos, Davi M.
    Mendonca, Nabor C.
    Camara, Javier
    Garlan, David
    SOFTWARE-PRACTICE & EXPERIENCE, 2025, 55 (01) : 170 - 192
  • [10] DEVELOPMENT OF A SUPPORTING TOOL FOR TRANSLATION BETWEEN DECLARATIVE SENTENCES AND LOGICAL FORMULAS
    Nanaumi, Shunsuke
    Wagatsuma, Kazunori
    Goto, Yuichi
    Cheng, Jingde
    PROCEEDINGS OF 2013 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS (ICMLC), VOLS 1-4, 2013, : 1179 - 1184