© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Textual Tree (Prolog) Tracer: An Experimental Evaluation
M.J. Patel, C. Taylor, and J.B.H. du Boulay
In D. Gilmore, R. Winder, and F. Detienne, editors, User-Centred Requirements for Software Engineering Environments, volume 123 of NATO ASI Series (Series F: Computer and Systems Sciences), pages 182-196. Springer-Verlag, Berlin, July 1994.Bibtex Record
@incollection{1071,
author = {M.J. Patel and C. Taylor and J.B.H. du Boulay},
title = {Textual {T}ree ({P}rolog) {T}racer: {A}n {E}xperimental {E}valuation},
month = {July},
year = {1994},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1994/1071},
address = {Berlin},
booktitle = {User-Centred Requirements for Software Engineering Environments},
editor = {D. Gilmore and R. Winder and F. Detienne},
other_year = {1994},
publication_type = {incollection},
publisher = {Springer-Verlag},
series = {NATO ASI Series (Series F: Computer and Systems Sciences)},
submission_id = {14109_963495803},
volume = {123},
}