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 条
  • [31] Toward a model for backtracking and dynamic programming
    Alekhnovich, M
    Borodin, A
    Buresh-Oppenheim, J
    Impagliazzo, R
    Magen, A
    Pitassi, T
    TWENTIETH ANNUAL IEEE CONFERENCE ON COMPUTATIONAL COMPLEXITY, PROCEEDINGS, 2005, : 308 - 322
  • [32] Programming with communicating nondeterministic logic objects
    Tse, ML
    Wong, WH
    Leung, HF
    SECOND INTERNATIONAL SYMPOSIUM ON PARALLEL ARCHITECTURES, ALGORITHMS, AND NETWORKS (I-SPAN '96), PROCEEDINGS, 1996, : 556 - 558
  • [33] TOWARD A MODEL FOR BACKTRACKING AND DYNAMIC PROGRAMMING
    Alekhnovich, Michael
    Borodin, Allan
    Buresh-Oppenheim, Joshua
    Impagliazzo, Russell
    Magen, Avner
    Pitassi, Toniann
    COMPUTATIONAL COMPLEXITY, 2011, 20 (04) : 679 - 740
  • [34] Purely functional lazy nondeterministic programming
    Fischer, Sebastian
    Kiselyov, Oleg
    Shan, Chung-Chieh
    JOURNAL OF FUNCTIONAL PROGRAMMING, 2011, 21 : 413 - 465
  • [35] DETERMINISTIC AND NONDETERMINISTIC PROGRAMMING IN ROBOT SYSTEMS
    GINI, G
    GINI, M
    SOMALVICO, M
    CYBERNETICS AND SYSTEMS, 1981, 12 (04) : 345 - 362
  • [36] Toward a Model for Backtracking and Dynamic Programming
    Michael Alekhnovich
    Allan Borodin
    Joshua Buresh-Oppenheim
    Russell Impagliazzo
    Avner Magen
    Toniann Pitassi
    computational complexity, 2011, 20 : 679 - 740
  • [37] BDL: A language to control the behavior of concurrent objects
    Bertrand, F
    Augeraud, M
    PROCEEDINGS OF THE CONFERENCE ON DOMAIN-SPECIFIC LANGUAGES, 1997, : 133 - 144
  • [38] A visual programming language for qualitative data
    Duecker, M
    Geiger, C
    Lehrenfeld, G
    Mueller, W
    Tahedl, C
    1997 IEEE SYMPOSIUM ON VISUAL LANGUAGES, PROCEEDINGS, 1997, : 268 - 269
  • [39] Data definition in the programming language MARKIZ
    Mikhelev, VM
    PROGRAMMING AND COMPUTER SOFTWARE, 2001, 27 (01) : 50 - 56
  • [40] PROGRAMMING LANGUAGE CONSTRUCTS FOR DATA ABSTRACTION
    SHIGO, O
    TSURUTANI, T
    IWAMOTO, K
    MAEJIMA, T
    NEC RESEARCH & DEVELOPMENT, 1977, (45): : 66 - 71
12345