The University of Edinburgh -
Division of Informatics
Forrest Hill & 80 South Bridge


Documents Authored by: Maria Vargas-Vera

Please note that only papers and publications recorded in this departments database are shown here. An author may have many other papers and publications produced while working elsewhere which are not listed here. This page does not therefore represent a definitive list of this authors work.

Discussion Paper

DP106 1991 Discussion Paper Vargas-Vera,M
A Techniques Editor for Prolog - Thesis Proposal

Journal Paper

JP739 1994 Journal Paper Bowles,A; Robertson,DS; Vasconcelos,W; Vargas-Vera,M; Bental,D
Applying Prolog Programming Techniques

Paper in Conference Proceedings

PP750 1994 Paper in Conference Proceedings Vargas-Vera,M; Robertson,DS
An Environment for Building Programs Based on Knowledge of their Construction

PhD Thesis

PT9508 1995 PhD Thesis Vargas-Vera,M
Using Prolog Techniques to Guide Program Composition

Research Paper

RP718 1994 Research Paper Vargas-Vera,M; Robertson,DS
An Environment for Building Prolog Programs Based on Knowledge About Their Construction
RP635 1993 Research Paper Vargas-Vera,M; Vasconcelos,W; Robertson,DS
Building Large-Scale Prolog Programs Using a Techniques Editing System
RP636 1993 Research Paper Vargas-Vera,M; Robertson,DS; Inder,R
Combining Prolog Programs in a Techniques Editing System
RP641 1993 Research Paper Bowles,A; Robertson,DS; Vasconcelos,W; Vargas-Vera,M; Bental,D
Applying Prolog Programming Techniques
RP610 1992 Research Paper Vargas-Vera,M; Robertson,DS; Inder,R
An Environment for Combining Prolog Programs
RP612 1992 Research Paper Vargas-Vera,M; Robertson,DS; Inder,R
A Mathematical Framework for the Problem of Combination of Prolog Programs


[Search These Pages] [DAI Home Page] [Comment]