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 条
  • [1] BACKTRACKING NONDETERMINISTIC RECOGNIZERS
    NYMEYER, A
    JOURNAL OF PROGRAMMING LANGUAGES, 1995, 3 (04): : 231 - 253
  • [2] THE SYNCHRONOUS DATA FLOW PROGRAMMING LANGUAGE LUSTER
    HALBWACHS, N
    CASPI, P
    RAYMOND, P
    PILAUD, D
    PROCEEDINGS OF THE IEEE, 1991, 79 (09) : 1305 - 1320
  • [3] Flux - A Data-Flow Programming Language
    Ispas, R.
    Negreanu, L.
    CONTROL ENGINEERING AND APPLIED INFORMATICS, 2016, 18 (01): : 107 - 116
  • [4] Not-so-free data flow in a visual data flow programming language
    Marttila-Kontio, Maija
    Honkanen, Risto
    2009 2ND IEEE INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND INFORMATION TECHNOLOGY, VOL 1, 2009, : 613 - +
  • [5] Parallel Nondeterministic Programming as a Language Extension to C (Short Paper)
    Kramer, Lucas
    Van Wyk, Eric
    PROCEEDINGS OF THE 18TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON GENERATIVE PROGRAMMING: CONCEPTS AND EXPERIENCES (GPCE '19), 2019, : 20 - 26
  • [6] A FIXPOINT SEMANTICS FOR NONDETERMINISTIC DATA FLOW
    STAPLES, J
    NGUYEN, VL
    JOURNAL OF THE ACM, 1985, 32 (02) : 411 - 444
  • [7] A Data Flow Language for Hybrid Query and Programming Languages
    Rose, Kristoffer H.
    Villard, Lionel
    Sato, Naoto
    FUNCTIONAL AND LOGIC PROGRAMMING (FLOPS 2012), 2012, 7294 : 228 - 242
  • [8] LABVIEW - AN IMPLEMENTATION OF DATA FLOW PROGRAMMING IN A GRAPHICAL LANGUAGE
    BARBER, J
    ADVANCES IN INSTRUMENTATION AND CONTROL, VOL 44, PT 1-4, 1989, 44 : 1259 - 1266
  • [9] BDL - BEHAVIOR DESCRIPTION LANGUAGE
    Wan, Li
    Wu, Guoqing
    Wu, Huaiguang
    PROCEEDINGS OF THE 2009 INTERNATIONAL CONFERENCE ON SOFTWARE TECHNOLOGY AND ENGINEERING, 2009, : 37 - 41
  • [10] LANGUAGE SUPPORT FOR A SEMI-DATA-FLOW PARALLEL PROGRAMMING ENVIRONMENT
    RUIGHAVER, AB
    YEO, TTE
    SIGPLAN NOTICES, 1990, 25 (09): : 39 - 47
12345