<?xml version="1.0" standalone="yes"?>
<Paper uid="W97-1510">
  <Title>References</Title>
  <Section position="7" start_page="75" end_page="75" type="concl">
    <SectionTitle>
6 Conclusion
</SectionTitle>
    <Paragraph position="0"> This paper exemplifies how EFLUF can be used for defining a small grammar. This formalism contains constructions for allowing the user to decide what constructions are needed for his application. The implementation also allows the possibility to import external procedures, to divide the definitions into modules and to define a suitable syntax for his constructions. null Experience from working with this system shows that it would be possible to use these ideas as a basis for a system for developing various grammars. In this case we would need to build a library of definitions as a base for the user to start working with. This kind of system would be an interesting tool for experimenting with unification grammars.</Paragraph>
    <Paragraph position="1"> The experience also shows that even though EFLUF provides basic constructions for modularizations there is a need for better support for the user. This would, for instance, be to supply support for avoiding name clashes.</Paragraph>
  </Section>
class="xml-element"></Paper>