BDL - A nondeterministic data flow programming language with backtracking

被引：1
|
作者：
Schurr, A
机构：
来源：
1997 IEEE SYMPOSIUM ON VISUAL LANGUAGES, PROCEEDINGS | 1997年
关键词：
data flow programming language; backtracking; nondeterminism; graph rewriting systems;
D O I：
10.1109/VL.1997.626610
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
Both visual data flow and logic based programming languages have their merits as declarative languages for certain application domains. Combining their concepts to program with data flows and backtracking seems to be a promising idea, which lead to the development of BDL. BDL is a visual data flow programming language with constructs for nondeterministic programming and constraint checking. Its nondeterminism is resolved by using depth-first search and backtracking a la Prolog.
引用
收藏
页码：394 / 401
页数：8
相关论文
共 50 条
  • [41] Data definition in the programming language MARKIZ
    Mikhelev, V.M.
    2001, Nauka Moscow (27):
  • [42] Data Visualization in *AIDA Programming Language
    Nakayama, Kanto
    Watanobe, Yutaka
    2013 INTERNATIONAL JOINT CONFERENCE ON AWARENESS SCIENCE AND TECHNOLOGY & UBI-MEDIA COMPUTING (ICAST-UMEDIA), 2013, : 383 - 388
  • [43] Data Definition in the Programming Language MARKIZ
    V. M. Mikhelev
    Programming and Computer Software, 2001, 27 : 50 - 56
  • [44] Data types of DFL programming language
    Zhao, Xiaofang
    Fan, Hui
    Liu, Xiaohua
    FOURTH INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS AND KNOWLEDGE DISCOVERY, VOL 1, PROCEEDINGS, 2007, : 116 - 120
  • [45] A Visual Programming Language for Data Transformation
    Tu, Pin-Yin
    Chen, Woei-Kae
    Cheng, Yu Chin
    CSA 2008: INTERNATIONAL SYMPOSIUM ON COMPUTER SCIENCE AND ITS APPLICATIONS, PROCEEDINGS, 2008, : 96 - 101
  • [46] PROGRAMMING QUANTUM BACKTRACKING FOR CIRCUIT AND CONQUER APPROACH
    Laorensa, Vionie
    Wicaksana, Arya
    INTERNATIONAL JOURNAL OF INNOVATIVE COMPUTING INFORMATION AND CONTROL, 2023, 19 (01): : 61 - 72
  • [47] Efficient intelligent backtracking using linear programming
    Davey, B
    Boland, N
    Stuckey, PJ
    INFORMS JOURNAL ON COMPUTING, 2002, 14 (04) : 373 - 386
  • [48] FLOW - TEACHING LANGUAGE FOR COMPUTER PROGRAMMING IN HUMANITIES
    RASKIN, J
    COMPUTERS AND THE HUMANITIES, 1974, 8 (04): : 231 - 237
  • [49] Reasoning from successful backtracking in constraint programming
    Wang T.
    Zhang Q.
    Li Z.-S.
    Zhang L.
    Jilin Daxue Xuebao (Gongxueban)/Journal of Jilin University (Engineering and Technology Edition), 2016, 46 (05): : 1622 - 1626
  • [50] MODELS AND TRANSFORMATIONS FOR NONDETERMINISTIC EXTENSIONS OF FUNCTIONAL PROGRAMMING
    MYERS, TJ
    COHEN, AT
    LECTURE NOTES IN COMPUTER SCIENCE, 1984, 181 : 60 - 88
12345