External Links

Journal: Science of Computer Programming

Volume 9, Issue 2

107 -- 136Hanne Riis Nielson. A Hoare-Like Proof System for Analysing the Computation Time of Programs
137 -- 159Ahlem Ben Cherifa, Pierre Lescanne. Termination of Rewriting Systems by Polynomial Interpretations and Its Implementation
161 -- 177Fosca Giannotti, Attilio Matteucci, Dino Pedreschi, Franco Turini. Symbolic Evaluation with Structural Recursive Symbolic Constants
179 -- 205Henryk Jan Komorowski, Jan Maluszynski. Logic Programming and Rapid Prototyping
207 -- 211Martin Rem. Small Programming Exercises 19
runs on