Abstract. One of the distinguishing features of declarative languages is the separation of control and logic. Ideally, this allows us to improve the.

In this work, we investigate new control strategies and data structures in logic programs. Our main focus is on logic programs which contain dependent non- ...

In this work, we investigate new control strategies and data structures in logic programs. Our main focus is on logic programs which contain dependent non- ...

Dec 20, 2001 · Ideally, this allows us to improve the efficiency of an algorithm by changing only the control but not the logic. In this work, we investigate ...

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev. Hosted as a part of SLEBOK on ...

Abstract. A model is presented which is designed to exploit data parallelism present in associative computers for the efficient execution of logic programs.

A model is presented which is designed to exploit the data parallelism present in associative computers for the efficient execution of logic programs with ...

Abstract. New control constructs are proposed to replace Prolog's notorious cut. Totality assertions are introduced to enable a language-oriented editor to ...

Abstract—Data-oriented attacks manipulate non-control data to alter a program's benign behavior without violating its control- flow integrity.

For this problem we propose a simple and efficient data structure to maintain the dataflow dependencies among literals during the execution of the program.