ACM/IEEE Symposium on Logic in Computer Science

LICS Home - LICS Awards - LICS Newsletters - LICS Archive - LICS Organization - Logic-Related Conferences - Links

First Annual IEEE Symposium on

Logic in Computer Science (LICS 1986)

Paper: The Design and Implementations of Intuit (at LICS 1986)

Authors: Jon Shultis


Ease of use and implementation efficiency are important considerations in the design of any practical language. The influence of these concerns is traced in the design of Intuit, a language for computational mathematics. Although a number of logical languages have been proposed in the literature as vehicles for automating computational mathematics, the design of these languages has been driven primarily by concern for their theoretical properties, with les attention to human factors and implementation efficiency. Our reflections on these aspects of our design indicate a number of principles which can be applied to the design of future languages.


    author = 	 {Jon Shultis},
    title = 	 {The Design and Implementations of Intuit},
    booktitle =  {Proceedings of the First Annual IEEE Symposium on Logic in Computer Science (LICS 1986)},
    year =	 {1986},
    month =	 {June}, 
    pages =      {96--104},
    location =   {Cambridge, MA, USA}, 
    publisher =	 {IEEE Computer Society Press}

Last modified: 2022-10-3113:49
Sam Staton