Division of Informatics
Forrest Hill & 80 South Bridge
|
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. | ||
Paper in Conference Proceedings | ||
| PP169 | 1992 Paper in Conference Proceedings | Ross,B |
|---|---|---|
| Using Algebraic Semantics for Proving PROLOG Program Termination and Transformation | ||
| PP170 | 1992 Paper in Conference Proceedings | Ross,B |
| Semantics-Based Partial Evaluation of PROLOG Programs | ||
| PP92 | 1991 Paper in Conference Proceedings | Ross,B; Smaill,AD |
| An Algebraic Semantics of Prolog Program Termination | ||
Research Paper | ||
| RP531 | 1991 Research Paper | Ross,B |
| Semantics-Based Partial Evaluation of Prolog Programs | ||
| RP469 | 1990 Research Paper | Ross,B; Wilk,P |
| An Algebraic Semantics of Sequential Prolog Control | ||
| RP488 | 1990 Research Paper | Ross,B; Wilk,P |
| A Semantic Approach to Proving Prolog Transformations Using Cut | ||
| RP510 | 1990 Research Paper | Ross,B; Smaill,AD |
| An Algebraic Semantics of Prolog Program Termination | ||
![[Search These Pages]](http://www.dai.ed.ac.uk/icons/dai_search.gif){kind=icon}
![[DAI Home Page]](http://www.dai.ed.ac.uk/icons/dai_home.gif){kind=icon}
![[Comment]](http://www.dai.ed.ac.uk/icons/dai_comment.gif){kind=icon}