Papers

Papers from journals and conferences

D. Aliffi, D. Montanari, E. G. Omodeo, and M. Pellegrini. Meta-interpreting SETL. Angelo Marcello Anile and Alfredo Ferro, editors. Proceedings of the 1st Catania Workshop on: "Artificial Intelligence" Catania, May 15-19, 1989. by Paul McJones — last modified 2022-01-22 13:36

D. Aliffi, D. Montanari, E. G. Omodeo, and M. Pellegrini. Meta-interpreting SETL. Angelo Marcello Anile and Alfredo Ferro, editors. Proceedings of the 1st Catania Workshop on: "Artificial Intelligence" Catania, May 15-19, 1989. Published in Le Matematiche, Volume XLIII (1988), Fascicle I, pages 79-98.

R. B. K. Dewar, A. Grand, S. C. Liu, E. Schonberg, and J. T. Schwartz. SETL as a Tool for Generation of Quality Software. May 1977. by Paul McJones — last modified 2023-02-02 17:19

R. B. K. Dewar, A. Grand, S. C. Liu, E. Schonberg, and J. T. Schwartz. SETL as a Tool for Generation of Quality Software. In: P. G. Hibbard and S.A. Schuman, editors. Proc. IFIP Working Conference On Constructing Quality Software, pages 354-362, May 1977.