#### Filter Results:

- Full text PDF available (32)

#### Publication Year

1985

2016

- This year (0)
- Last 5 years (7)
- Last 10 years (19)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Wlodzimierz Drabent, Jan Maluszynski
- Theor. Comput. Sci.
- 1987

Algorithmic debugging, as presented by Shapiro, is an interactive process where the debugging system acquires knowledge about the expected meaning of a program being debugged and uses it to localize errors. This paper suggests a generalization of the language used to communicate with the debugger. In addition to the usual “yes” and “no” answers, formal… (More)

- Wlodzimierz Drabent
- SLP
- 1987

- Francisco Bueno, Pierre Deransart, +4 authors Germán Puebla
- AADEBUG
- 1997

- Sacha Berger, Emmanuel Coquery, Wlodzimierz Drabent, Artur Wilk
- PPSWR
- 2005

We present typing rules for the Web query language Xcerpt. The rules provide a descriptive type system: the typing of a program is an approximation of its semantics. The rules can also be seen as an abstract form of a type inference algorithm (presented in previous work), and as a stage in a formal soundness proof of the algorithm. The paper considers a… (More)

- Wlodzimierz Drabent, Maurizio Martelli
- New Generation Computing
- 1991

The paper presents a new approach to the problem of completeness of the SLDNF-resolution. We propose a different reference theory that we call strict completion. This new concept of completion (comp*(P)) is based on a program transformation that given any program transforms it into a strict one (with the same computational behaviour) and the usual notion of… (More)

- Wlodzimierz Drabent
- Acta Informatica
- 1995

A standard approach to negation in logic programming is negation as failure. Its major drawback is that it cannot produce answer substitutions to negated queries. Approaches to overcoming this limitation are termed constructive negation. This work proposes an approach based on construction offailed trees for some instances of a negated query. For this… (More)