Publications


      Recent Publications

    <LI> 
      <A HREF = http://cs.uwindsor.ca/~richard/PUBLICATIONS/PADL_10.pdf>
      Hafiz, R. and Frost, R. (2010) Lazy Combinators for Executable
      Specifications of General Attribute Grammars. Proceedings of the
      12th International Symposium on Practical Aspects of Declarative
      Languages (PADL), ACM-SIGPLAN. January 2010, Madrid, Spain. [final
      draft]</A>

    <P>
    <LI> 
      <A HREF = http://cs.uwindsor.ca/~richard/PUBLICATIONS/PADL_08.pdf>
     Frost, R., Hafiz, R. and Callaghan, P. (2008) Parser Combinators
      for Ambiguous Left-Recursive Grammars. Proceedings of the 10th
      International Symposium on Practical Aspects of Declarative
      Languages (PADL), ACM-SIGPLAN. January 2008, San Francisco, USA.
      [.pdf] </A>

     <P>
    <LI> 
     <A HREF = http://cs.uwindsor.ca/~richard/PUBLICATIONS/IWPT_07.pdf>
      Frost, R., Hafiz, R. and Callaghan, P. (2007) Modular and
      Efficient Top-Down Parsing for Ambiguous Left-Recursive Grammars.
      Proceedings of the 10th International Workshop on Parsing
      Technologies (IWPT), ACL-SIGPARSE. Pages: 109 - 120, June 2007,
      Prague. [.pdf]</A>
      
    <P>
    <LI> 
      <A HREF = http://cs.uwindsor.ca/~richard/PUBLICATIONS/SIGPLAN_06.pdf>
      Frost, R. and Hafiz, R. (2006) A New Top-Down Parsing Algorithm to
      Accommodate Ambiguity and Left Recursion in Polynomial Time. ACM
      SIGPLAN Notices, Volume 41 Issue 5, Pages: 46 - 54. [.pdf]</A>


    <P>
    <LI> Hafiz, R. (2006) Efficient Combinator Parsing for
      Natural-Language. Master's Thesis, University of Windsor. [.pdf]

    <P>
    <LI>  <A HREF = http://cs.uwindsor.ca/~richard/PUBLICATIONS/AI_03.pdf>
       Frost, R. (2003) Monadic Memoization towards
      Correctness-Preserving Reduction of Search. Canadian Conference on
      AI 2003: 66-80.]</A>

   <P>
    <LI>  <A HREF = http://cs.uwindsor.ca/~richard/PUBLICATIONS/HCC_02.pdf>
      Frost, R. (2002) W/AGE : The Windsor Attribute Grammar Programming
      Environment. IEEE Symposia on Human Centric Computing Languages
      and Environments 2002: 96-98.]</A>

<P>
    <LI>  <A HREF = http://cs.uwindsor.ca/~richard/PUBLICATIONS/AAAI_02.pdf>
      Frost, R. (2002) SpeechWeb: A Web of Natural-Language Speech applications.
      Preoceedings of  AAAI-02. Intelligent Systemns demonstrations.
      908-909.]</A>


   <P>
    <LI>  <A HREF = http://cs.uwindsor.ca/~richard/PUBLICATIONS/AAAI_99.pdf>
      Frost, R. (1999) A Natural-Language Speech Interface Constructed
      Entirely as a Set of Executable Specifications. AAAI/IAAI 1999:
      908-909.]</A>

   <P>
<LI>  <A HREF = http://cs.uwindsor.ca/~richard/PUBLICATIONS/SCOMP_96.pdf>
      Frost, R. and Szydlowski, B. (1996) Memoizing Purely Functional
      Top-Down Backtracking Language Processors. Sci. Comput. Program.
      27(3): 263-288.]</A>


   <P>
    <LI>  <A HREF = http://cs.uwindsor.ca/~richard/PUBLICATIONS/SIGPLAN_94.pdf>
      Frost, R. (1994) Using Memoization to Achieve Polynomial
      Complexity of Purely Functional Executable Specifications of
      Non-Deterministic Top-Down Parsers. SIGPLAN Notices 29(4): 23-30.]</A>


    <P>
   <LI>  <A HREF = http://cs.uwindsor.ca/~richard/PUBLICATIONS/SWPE_93.pdf>
      Frost, R. (1993) Guarded Attribute Grammars. Softw., Pract. Exper.
      23(10): 1139-1156.</A>

    <P>
   <LI>  <A HREF = http://cs.uwindsor.ca/~richard/PUBLICATIONS/FROST_AND_KARAMATOS_93.pdf>
      Frost, R. and Karamatos, S. (1993) Supporting the Attribute Grammar Programming 
      Paradigm in a Lazy Functional Programming Lnaguage. In Proceedings of the Conference 
      on Functional Programming,Concurrency, Simulation and Automated
      Reasoning. McMaster University, Hamilton, Canada. Ed. Peter Lauer LNCS 693 278-295.</A>


   <P>
    <LI>  <A HREF = http://cs.uwindsor.ca/~richard/PUBLICATIONS/COMPJ_92.pdf>
      Frost, R. (1992) Constructing Programs as Executable Attribute
      Grammars. Comput. J. 35(4): 376-389.]</A>


   <P>
    <LI>  <A HREF = http://cs.uwindsor.ca/~richard/PUBLICATIONS/SIGSOFT_90.pdf>
      Frost, R. (1990) Constructing programs in a calculus of lazy
      interpreters. Conference proceedings on Formal methods in software
      development 1990 , Napa, California, United States ACM SIGSOFT
      Softw. Eng. Notes Vol. 15 (4): 30-41.]</A>

   <P>
    <LI>  <A HREF = http://cs.uwindsor.ca/~richard/PUBLICATIONS/IJMMS_90.pdf>
      Frost, R. and Saba, W.(1990) A Database interface based on Montague's 
       approach to the interpretation iof natural language. IJMMS 333 149-176.</A>

    <P>
   <LI>  <A HREF = http://cs.uwindsor.ca/~richard/PUBLICATIONS/SIGPLAN_89.pdf>
      Frost, R. (1989) Application programming as the construction of
      language interpreters. SIGPLAN Notices 24(9): 142-151.]</A>


    <P>
   <LI>  <A HREF = http://cs.uwindsor.ca/~richard/PUBLICATIONS/FROST_AND_KARAMATOS_89.pdf>
      Frost, R. and Karamatos, S. (1989) W/AGE a CASE tool for the
      interactive synthesis of application programs. Workshop on
      Automating Software Design. ed. R. McCartney.]</A>


    <P>
   <LI>  <A HREF = http://cs.uwindsor.ca/~richard/PUBLICATIONS/COMPJ_89.pdf>
       Frost, R. and J. Launchbury (1989) Constructing Natural Language
      Interpreters in a Lazy Functional Language. Comput. J. 32(2): 108-121.]</A>