共 50 条
- [1] December: A Declarative Tool for Crowd Member Selection PROCEEDINGS OF THE VLDB ENDOWMENT, 2016, 9 (13): : 1485 - 1488
- [4] <bold>Kato: A Program Slicing Tool for Declarative Specifications</bold> ICSE 2007: 29TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS, 2007, : 767 - +
- [5] DDT:: a declarative debugging tool for functional-logic languages FUNCTIONAL AND LOGIC PROGRAMMING, 2004, 2998 : 70 - 84
- [6] Declarative mark-up languages as a tool for developing educational hypermedia INTELLIGENT TUTORING SYSTEMS, 1998, 1452 : 607 - 607
- [7] Xdiagram: A Declarative Textual DSL for Describing Diagram Editors (Tool Demo) 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 Memory & Cognition, 2016, 44 : 727 - 739
- [10] DEVELOPMENT OF A SUPPORTING TOOL FOR TRANSLATION BETWEEN DECLARATIVE SENTENCES AND LOGICAL FORMULAS PROCEEDINGS OF 2013 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS (ICMLC), VOLS 1-4, 2013, : 1179 - 1184