BDL-A Nondeterministic Data Flow Programming Language with Backtracking

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.

[1]  Pascal Van Hentenryck.  Constraint satisfaction in logic programming , 1989, Logic programming.

[2]  Manfred Nagl,et al.  Building Tightly Integrated Software Development Environments: The IPSEN Approach , 1996, Lecture Notes in Computer Science.

[3]  Alex S. Fukunaga,et al.  Object-oriented development of a data flow visual language system , 1993, Proceedings 1993 IEEE Symposium on Visual Languages.

[4]  Roland H. C. Yap,et al.  The CLP( R ) language and system , 1992, TOPL.

[5]  Patrick Lincoln,et al.  Le Fun: Logic, Equations and Functions , 1987, SLP.

[6]  Gregor Engels,et al.  A Hybrid Query Language for an Extended Entity-Relationship Model , 1996, J. Vis. Lang. Comput..

[7]  Shin'ichi Wakabayashi,et al.  Visualized and modeless programming environment for form manipulation language , 1989, [Proceedings] 1989 IEEE Workshop on Visual Languages.

[8]  Jeffrey Kodosky,et al.  Visual programming using structured data flow , 1991, Proceedings 1991 IEEE Workshop on Visual Languages.

[9]  Takayuki Dan Kimura,et al.  Hyperflow: a visual programming language for pen computers , 1992, Proceedings IEEE Workshop on Visual Languages.

[10]  James R. Slagle,et al.  A data-flow graphical user interface for querying a scientific database , 1993, Proceedings 1993 IEEE Symposium on Visual Languages.

[11]  Andy Schürr,et al.  A graph based framework for the implementation of visual environments , 1996, Proceedings 1996 IEEE Symposium on Visual Languages.

[12]  Ed Baroth,et al.  Visual programming in the real world , 1995 .

[13]  Scott Wallace,et al.  The Fabrik programming environment , 1988, [Proceedings] 1988 IEEE Workshop on Visual Languages.

[14]  Ephraim P. Glinert,et al.  Visual Programming Environments: Paradigms and Systems , 1990 .

[15]  Steven L. Tanimoto,et al.  An implementation of the VIVA visual language on the NeXT computer , 1992, Proceedings IEEE Workshop on Visual Languages.

[16]  Maurice Bruynooghe,et al.  Solving Combinatorial Search Problems by Intelligent Backtracking , 1981, Inf. Process. Lett..

[17]  G. M. Vose.  Labview: laboratory virtual instrument engineering workbench , 1986 .

[18]  Daniel D. Hils,et al.  Visual languages and computing survey: Data flow visual programming languages , 1992, J. Vis. Lang. Comput..

[19]  Andy Schürr,et al.  Visual programming with graph rewriting systems , 1995, Proceedings of Symposium on Visual Languages.

[20]  Ted G. Lewis,et al.  Visual Object-Oriented Programming: Concepts and Environments , 1995 .

[21]  Alan Borning,et al.  User-interface construction with constraints , 1995 .