If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution

Search results

  • 1989

    A Multiprocessor Execution Profiler

    Burdorf, C., Fitch, J. P., Marti, J. B. & Padget, J. A., 1989, Software Track Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. University of Hawaii, p. 524-531 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Applications of computer algebra in solid modelling

    Bowyer, A., Davenport, J. H., Milne, P. S., Padget, J. & Wallis, A. F., 1989, Eurocal '87: European Conference on Computer Algebra Leipzig, GDR, June 2–5, 1987: Proceedings. Berlin: Springer, p. 244-245 2 p. (Lecture Notes in Computer Science; vol. 378).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • The use of symbolic computation in geometric modelling

    Wallis, A. F., Bowyer, A., Davenport, J. H., Milne, P. S. & Padget, J. A., 1 Sep 1989, Proceedings of the 3rd IMA Conference on the Mathematics of Surfaces (IMA),1988. Handscomb, D. C. (ed.). New York, U. S. A.: Clarendon Press, p. 199-206 8 p. (Mathematics of Surfaces).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 1986

    Current Developments in LISP

    Padget, J., Jan 1986, EUROCAL'85: European Conference on Computer Algebra Linz, Austria, April 1–3 1985 Proceedings Vol. 1: Invited Lectures. Buchberger, B. (ed.). Berlin, Germany: Springer Verlag, p. 45-57 13 p. (Lecture Notes in Computer Science; vol. 203).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Desiderata for the standardisation of LISP

    Padget, J., Chailloux, J., Christaller, T., DeMantaras, R., Dalton, J., Devin, M., Fitch, J., Krumnack, T., Neidl, E., Papon, E., Pope, S., Queinnec, C., Steels, L. & Stoyan, H., 8 Aug 1986, Proceedings of the 1986 ACM Conference on LISP and Functional Programming, LFP 1986. Association for Computing Machinery, p. 54-66 13 p. (Proceedings of the 1986 ACM Conference on LISP and Functional Programming, LFP 1986).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Desiderata for the standardization of LISP

    Padget, J., Chailloux, J., Christaller, T., Lopez De Mantaras, R., Dalton, J., Devin, M., ffitch, J. P., Krumnack, T., Neidl, E., Papon, E., Pope, S., Queinnec, C., Steels, L. & Stoyan, H., Aug 1986, Proceedings of the ACM Conference on LISP and Functional Programming. Gabriel, R. P. (ed.). Cambridge, U. S. A.: Association for Computing Machinery, p. 54-66 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Enlarging the REDUCE domain of computation

    Bradford, R. J., Hearn, A. C., Padget, J. A. & Schrüfer, E., 1986, SYMSAC '86: Proceedings of the Fifth ACM Symposium on Symbolic and Algebraic Computation. New York, U. S. A.: Association for Computing Machinery, p. 100-106 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Experience with an uncommon Lisp

    Alberga, C., Bosman-Clark, C., Mikelsons, M., Deusen, M. V. & Padget, J., 1986, Proceedings of the 1986 ACM conference on LISP and functional programming. Cambridge, Massachusetts, US: Association for Computing Machinery, Vol. 1986. p. 39-53 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • On numbers and polynomials

    Davenport, J. & Padget, J., 1986, Computers and Computing: Proceedings of the International Conference, Future Trends of Computing dedicated to N. Gastinel, grenoble, 2-6 December 1985. Chenin, P., Crescenzo, C. D. & Robert, F. (eds.). Chichester, U. K.: Wiley Masson, p. 49-53 5 p. (Études et recherches en informatique).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Towards a LISP standard

    Stoyan, H., Chailloux, J., ffitch, J. P., Krumnack, T., Neidl, E., Padget, J., Attardi, G., Christaller, T., Dalton, J., Devin, M., Lang, B., Mantaras, R. L. D., Papon, E., Pope, S., Quiennec, C. & Steels, L., 1986, Advances in Artificial Intelligence, II: Seventh European Conference on Artificial Intelligence, ECAI-86, Brighton, U.K., July 20--25, 1986. Boulay, B. D., Hogg, D. & Steels, L. (eds.). Amsterdam, The Netherlands: North-Holland Publishing Co., Vol. 2. p. 46-52 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 1985

    Closurize and Concentrate

    Padget, J. A. & Fitch, J. P., 1985, POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages. New York: Association for Computing Machinery, p. 255-265 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • HEUGCD- How elementary upperbounds generate cheaper data

    Davenport, J. & Padget, J., 1 Apr 1985, EUROCAL '85: European Conference on Computer Algebra Linz, Austria, April 1–3 1985 Proceedings Vol. 2: Research Contributions. Caviness, B. F. (ed.). Berlin, Germany: Springer Verlag, p. 18-28 11 p. (Lecture Notes in Computer Science; vol. 204).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • The Extent of Scope

    Fitch, J. P. & Padget, J. A., 1985, Proceedings of 5th Hungarian Computer Science Conference, Gy\H{o}r, Hungary. Budapest: Hungariam Academy of Sciences, p. 173-184 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • The rationale of LIER: A considered LISP

    Padget, J. & Fitch, J., 1985, The Second RIKEN International Symposium on Symbolic and Algebraic Computation by Computers. Inada, M. & Soma, S. (eds.). Philadelphia PA, USA: Word Scientific Publishing Company, Vol. 2. p. 41-53 13 p. (Series in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 1984

    A Pure And Really Simple Initial Functional Algebraic Language

    Fitch, J. P. & Padget, J. A., 1984, EUROSAM 84 International Symposium on Symbolic and Algebraic Computation Cambridge, England, July 9–11, 1984. Fitch, J. P. (ed.). 174 ed. Heidelberg: Springer, p. 148-158 11 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 1983

    The Ecology of LISP or the Case for the Preservation of the Environment

    Padget, J., 1 Mar 1983, Computer Algebra. Proceedings of EUROCAL'83, European Computer Algebra Conference. Hulzen, J. A. V. (ed.). London, U. K.: Springer Verlag, p. 91-100 10 p. (Lecture Notes in Computer Science; vol. 162).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 1982

    Escaping from intermediate expression swell: a continuing saga

    Padget, J., 1 Apr 1982, Computer Algebra : EUROCAM '82, European Computer Algebra Conference Marseille, France 5–7 April 1982. Calmet, J. (ed.). Berlin, Germany: Springer Verlag, p. 256-262 7 p. (Lecture Notes in Computer Science; vol. 144).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution