@InProceedings{tarasov+09,
  author =       {Ilya E. Tarasov and Veniamin G. Stakhin and Anton
                  A. Obednin},
  title =        {A Forth-Based CAD for System-Level Microelectronic
                  Design},
  crossref =     {euroforth09},
  pages =        {5--10},
  url =          {http://www.complang.tuwien.ac.at/anton/euroforth/ef09/papers/tarasov.pdf},
  posterurl =    {http://www.complang.tuwien.ac.at/anton/euroforth/ef09/papers/Tarasov_Euroforth2009_poster.pdf},
  OPTnote =      {refereed},
  abstract =     {As part of a Federal project to reconstruct Russian
                  microelectronics, the Zelenograd Innovation and
                  Technological Center was chosen to coordinate R&D
                  works to develop a set of IP cores and an
                  appropriate software platform for cores integration,
                  modeling, and hardware- software co-simulation. This
                  project is carried out under a state contract,
                  supported by the Ministry of Science and Education
                  of the Russian Federation. This article describes
                  features of use of the Forth-based engine for the
                  decision of a problem of creation microelecrtonic
                  CAD. }
}

@InProceedings{ritchie&stoddard09,
  author =       {Campbell Ritchie and Bill Stoddart},
  title =        {Formulating Type Tagged Parse Trees as Forth
                  Programs},
  crossref =     {euroforth09},
  pages =        {11--22},
  url =          {http://www.complang.tuwien.ac.at/anton/euroforth/ef09/papers/ritchie.pdf},
  slidesurl =    {http://www.complang.tuwien.ac.at/anton/euroforth/ef09/papers/ritchie-stoddart-slides.pdf},
  OPTnote =      {not refereed},
  abstract =     {We describe a two pass compilation technique for
                  converting infix expressions to postfix, in which a
                  first pass produces a type tagged tree and a second
                  pass provides type checking and generates Forth
                  code. The expression language we consider includes
                  sets and sequences, ordered pairs, relations,
                  functions, lambda expressions, strings and
                  arithmetic expressions. The type theory we employ in
                  our infix expression language is an extension of
                  that of the B Method, which is based on the use of
                  power set and product operations as type
                  constructors. The main interest as a Forth research
                  topic is the ease with which the compiler can be
                  implemented in Forth. The first pass compiler is a
                  set of mutually recursive functions that produce a
                  type tagged tree. The second pass is implemented by
                  providing a Forth definition corresponding to
                  operations found at the non-terminal nodes of the
                  parse tree, and over which is distributed the
                  responsibility of performing type checking and
                  compilation of the final executable code. Due to the
                  close correspondence between parse trees and postfix
                  expressions, the parse tree can be identified with a
                  Forth program and the execution of the second pass
                  of the compiler with the execution of this
                  program.}
}

@InProceedings{ertl09,
  author =       {M. Anton Ertl},
  title =        {A Look at Gforth Performance},
  crossref =     {euroforth09},
  pages =        {23--31},
  url =          {http://www.complang.tuwien.ac.at/anton/euroforth/ef09/papers/ertl.pdf},
  slidesurl =    {http://www.complang.tuwien.ac.at/anton/euroforth/ef09/papers/ertl-slides.pdf},
  OPTnote =      {not refereed},
  abstract =     {Gforth used to be an traditional threaded-code
                  system. In the last decade we integrated a number of
                  performance features into Gforth. Several of them
                  were evaluated individually, but an evaluation with
                  a more global perspective has been missing until
                  now. This paper fills this void: We have measured
                  the performance of Gforth releases from 0.5.0 to
                  0.7.0, on a wide variety of machines, and employing
                  a wide variety of GCC versions for compiling
                  Gforth. We present that data and give explanations
                  for the performance differences.}
}

@InProceedings{pelc09,
  author =       {Stephen Pelc},
  title =        {Porting Forth Applications and Libraries},
  crossref =     {euroforth09},
  pages =        {32--38},
  url =          {http://www.complang.tuwien.ac.at/anton/euroforth/ef09/papers/pelc.pdf},
  OPTnote =      {not refereed},
  abstract =     {Porting Forth applications between host Forth
                  systems is less difficult than many people
                  assume. It just requires discipline, management,
                  preparation and a minimal ego. This paper discusses
                  how to perform a successful port with reference to
                  several ports I have been involved with. Some
                  guidelines for both producers and consumers are
                  suggested.}
}

@InProceedings{wodni&ertl09,
  author =       {Gerald Wodni and M. Anton Ertl},
  title =        {SWIG-Gforth-Extension},
  crossref =     {euroforth09},
  pages =        {39--41},
  url =          {http://www.complang.tuwien.ac.at/anton/euroforth/ef09/papers/wodni/c-interface.pdf},
  OPTnote =      {Presentation Slides},
}

@InProceedings{wodni09,
  author =       {Gerald Wodni},
  title =        {Wrongforth -- A Reversible Forth},
  crossref =     {euroforth09},
  pages =        {42--45},
  url =          {http://www.complang.tuwien.ac.at/anton/euroforth/ef09/papers/wodni/wrongforth.pdf},
  OPTnote =      {Presentation Slides},
}

@InProceedings{hoffmann09,
  author =       {Ulrich Hoffmann},
  title =        {Hardware/Software Co-Design Microcore},
  crossref =     {euroforth09},
  pages =        {46--51},
  url =          {http://www.complang.tuwien.ac.at/anton/euroforth/ef09/papers/hoffmann.pdf},
  OPTnote =      {Presentation Slides},
}

@InProceedings{louttit09,
  author =       {Duncan Louttit},
  title =        {Writetrack: An Inventor's Experience},
  crossref =     {euroforth09},
  pages =        {52--55},
  url =          {http://www.complang.tuwien.ac.at/anton/euroforth/ef09/papers/louttit.pdf},
  OPTnote =      {Presentation Slides},
}

@InProceedings{paysan09,
  author =       {Bernd Paysan},
  title =        {Rebuild from Scratch: Internet 2.0},
  crossref =     {euroforth09},
  pages =        {56--59},
  url =          {http://www.complang.tuwien.ac.at/anton/euroforth/ef09/papers/paysan.pdf},
  OPTnote =      {Presentation Slides},
}

@InProceedings{pfitzenmaier09,
  author =       {J\"urgen Pfitzenmaier},
  title =        {Forth Type Checker},
  crossref =     {euroforth09},
  pages =        {60--67},
  url =          {http://www.complang.tuwien.ac.at/anton/euroforth/ef09/papers/pfitzenmaier-orig.txt},
  OPTnote =      {Presentation Slides},
}

@InProceedings{schleisiek09,
  author =       {Klaus Schleisiek},
  title =        {Microcore Status Report},
  crossref =     {euroforth09},
  pages =        {68--71},
  url =          {http://www.complang.tuwien.ac.at/anton/euroforth/ef09/papers/schleisiek.pdf},
  OPTnote =      {Presentation Slides},
}

@Proceedings{euroforth09,
  title = 	 {25th EuroForth Conference},
  booktitle = 	 {25th EuroForth Conference},
  year = 	 {2009},
  key =		 {EuroForth'09},
  url =          {http://www.complang.tuwien.ac.at/anton/euroforth/ef09/papers/proceedings.pdf}
}