Teadustööde loetelu

 Jaanus Pöial


    I. Monograafiad või nende osad


    II. Teaduslikud artiklid rahvusvahelise levikuga väljaannetes

  1. Pöial J. Program Analysis for Stack Based Languages. Proc. 19th EuroForth Conference, 17th - 19th October 2003, Royal Hotel, Ross-on-Wye, UK, 2003, 9 - 13.  
Ref: http://dec.bournemouth.ac.uk/forth/euro/ef03.html
  1. Pöial J. Implementation of Directed Multigraphs in Java. In Proc. PPPJ03, 2nd International Conf. on the Principles and Practice of Programming in Java, June 16-18, Kilkenny, Ireland, 2003, 163.
Ref: ACM Digital Library
  1. Pöial J. Remarks on Language Extensibility. Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae. Sectio Computatorica. Tomus XVII. 1998 (ISSN 0138-9491, published 1999), 331-338.
Ref: Zentralblatt MATH

Varasemad
  1. Tombak M., Soo V., Pöial J. A Forth-Oriented Compiler Compiler and its Applications. FORTH Dimensions (ISSN 0884-0822), Vol XVI No 5, Jan-Feb 1995, Forth Interest Group, Oakland, USA, 21-22.
Ref: INSPEC 4876046 C9503-6150C-044
  1. Pöial J. Algebraic Specification of Stack Effects. FORTH Dimensions (ISSN 0884-0822), Vol XVI No 4, Nov-Dec 1994, Forth Interest Group, Oakland, USA, 18-20.
    Ref: INSPEC 4830365 C9501-6110F-009
  1. Pöial J. Forth and Formal Language Theory.EuroForth'94, Nov 4 - 6, 1994, Winchester, UK, 1994, 47-52.
    Ref: INSPEC 5411084 C9612-4210L-015
     
  1. Pöial J. Some Ideas on Formal Specification of Forth Programs. 9th euroFORTH conf. on the FORTH programming language and FORTH processors, Oct 15 - 18, 1993, Marianske Lazne, Czech Republic, 1993, 322-325.
    Ref: INSPEC 5137274 C9601-6110F-067
  1. Pöial J. About correctness of language description in compiler compiler TARTU (in Russian). Proc. Comp. Centr. of Tartu Univ. No. 55, Tartu, 1988, 50-64.
    Ref: Math Reviews
  1. Pöial J. About properties of Forth language specifications (in Russian). Proc. Comp. Centr. of Tartu Univ. No. 54, Tartu, 1986, 68-84.
    Ref: Math Reviews
  1. Pöial J., Soo V. Implementation of data output language (in Russian). Proc. Comp. Centr. of Tartu Univ. No. 52, Tartu, 1985, 27-38.
    Ref: Math Reviews
  1. Pöial J., Soo V., Tombak M. Using an extensible language in compiler compiler (in Russian). Proc. Comp. Centr. of Tartu Univ. No. 52, Tartu, 1985, 39-54.
    Ref: Math Reviews
  1. Pöial J., Soo V., Tombak M. Data output language (in Russian). Proc. Comp. Centr. of Tartu Univ. No. 49, Tartu, 1982, 42-61.
    Ref: Math Reviews
     
     


    III. Muud teaduslikud artiklid

  1. Zaitseva J., Willemson J.,  Pöial J. Tutorial Environment for Cryptographic Protocols. Nordic Workshop on Secure IT Systems NordSec 2003. 10 pp.
  1. Pöial J. Lambda-superposition of Stack Languages. Seventh Symposium on Programming Languages and Software Tools, SPLST'2001 (Ed. T. Gyimothy), University of Szeged, June 15-16, 2001, Szeged, Hungary, 2001, 149-154.

Varasemad
  1. Pöial J.  Alternative Syntactic Methods for Defining Stack Based Languages. Proceedings of NWPER'98 Nordic Workshop on Programming Environment Research, Reports in Informatics No 152, University of Bergen, Norway, June 1998, 227-232.
  1. Pöial J. Validation of Stack Effects in Java Bytecode. Proceedings of the Fifth Symposium on Programming Languages and Software Tools, June 7 - 8, 1997, Jyväskylä, Finland, Report C-1997-37, Department of Computer Science, University of Helsinki, 1997, 128-134.
  1. Pöial J. Remarks on Language Extensibility.Proceedings of the Fourth Symposium on Programming Languages and Software Tools, June 9-10, 1995, Visegrád, Hungary, Budapest, Hungary, 108-113.
  1. Pöial J. A Bit of History. FORTH Dimensions (ISSN 0884-0822), Vol XVI No 4, Nov-Dec 1994, Forth Interest Group, Oakland, USA, p. 17, 20.
  2. Pöial J. Multiple Stack-effects of Forth Programs. 1991 FORML Conf. Proceedings, euroFORML'91 Conference, Oct 11 - 13, 1991, Marianske Lazne, Czechoslovakia, Forth Interest Group, Oakland, USA, 1992, 400-406.
  3. Pöial J. Formal Semantics of Parameter Passing for Forth-programs with Control Structures. Proceedings of the Second Symposium on Programming Languages and      Software Tools, Aug 21 - 23, 1991, Pirkkala, Finland, University of Tampere, Department of Computer Science, A-1991-5, 1991, August, 48-54.
  4. Pöial J., Soo V., Tombak M. A Forth Oriented Compiler Compiler and its Applications. 1990 FORML Conference Proceedings, EuroFORML'90 Conference, Oct 12 - 14, 1990, Ampfield, Nr Romsey, Hampshire, UK, Forth Interest Group, Inc., San Jose, USA, 1991, 257-261.
  5. Pöial J. A Bit of History. 1990 FORML Conference Proceedings, EuroFORML'90     Conference, Oct 12 - 14, 1990, Ampfield, Nr Romsey, Hampshire, UK, Forth Interest  Group, Inc., San Jose, USA, 1991, 346-351.
  6. Pöial J. Algebraic Specifications of Stack-effects for Forth Programs. 1990 FORML Conference Proceedings, EuroFORML'90 Conference, Oct 12 - 14, 1990, Ampfield, Nr Romsey, Hampshire, UK, Forth Interest Group, Inc., San Jose, USA, 1991, 282-290.
    7.  


    IV. Konverentside teesid


  1. Pöial J. Stack Effect Calculus with Typed Wildcards, Polymorphism and Inheritance. Proc. 18-th EuroForth Conference, Sept. 6-8, TU Wien, 2002, 38.
Varasemad
  1. Soo V., Pöial J., Tombak M. A Forth-oriented compiler compiler. Informatics'89, Proc. Soviet-French symposium, May 29 - June 2, 1989, Vol II., Estonian Academy of Sciences, Tallinn, 1990, 60-62.
  2. Pöial J., Soo V., Tombak M. A Forth oriented compiler compiler. Workshop on compiler compiler and high speed compilation, Oct 10 - 14, 1988, Abstracts, Berlin, 1988, p. 56.
  3. Pöial J. Algebra of specifications for the Forth language and its application in compiler compiler (in Russian). Proc. III Soviet Conf. on automation of producing software systems, Institute of Cybernetics, Tallinn, 1986, 40-42.
  4. Pöial J., Soo V., Tombak M. Compiler compiler for microcomputer (in Russian). Proc. Conf. DIALOG-84-MICRO, Nov 19 - 22, 1984, Leningrad, "Nauka", 1984, 102-104.
  5. Pöial J. Experience of using the Forth-oriented compiler compiler on PDP-11 (in Russian). Proc. Conf. on PDP software, TC-12, No 4, Moscow, 1984,  57.
    6.  

    V. Muud publikatsioonid


  1. Pöial J. Õppematerjal aines "Klient-server keeled", EITSA, 2003. 71 lk. + CD-ROM
  1. Pöial J. Description of a Stack Based Language via System of Syntactic Equations. Estonian Science Foundation grant 3276, Final Report, Tartu, 1999. 11 lk.
Varasemad
  1. Pöial J., Järvi T., Vain J., Penjam J. A Graduate School in Information Technology and Computer Science in Estonia: Feasibility Study. Tempus CME-01011-95 Final Report, Tartu, October 1996. 10 pp.
  2. Pöial J. Problems of graduate education in the field of computer science and information technology (in Estonian). Computers and Data Processing No. 4, 1996, Tallinn, 1996, 38-44.
  3. Pöial J. Reference Guide to Operating System VMS for VAX-8650 (in Estonian). Manuscript, Tartu 1993. 5 pp.
  4. Pöial J., Kiho J. E-schemes (in Estonian). Manuscript, Tartu 1993. 16 pp.
  5. Pöial J. Institute of Computer Science at the University of Tartu (in Estonian). Computers and Data Processing No. 8, 1993, Tallinn, 37-39.
  6. Stoddart W., Pelc S., Blagoev L., Pöial J. Programming safety critical embedded system software (PROSCESS). COST joint research proposal. Manuscript, July 1992. 17 pp.
  7. Villems A., Koit M., Pöial J. Computer course for beginners (in Estonian). Manuscript, Tartu 1992.
  8. Villems A., Prank R., Pöial J. Requirements to the educational software design (in Estonian). Computers and Data Processing No. 2, 1989, Tallinn, 1989, 23-32.
  9. Tombak M., Väinaste R., Soo V., Pöial J., Juurik A. Compiler FORTH-83/32 (in Russian). Final Report for the contract No.A-87/6a, Tartu 1989. 107 pp.
  10. Pöial J. About the system "Planimetry" (in Estonian). Computers and Data Processing No. 5, 1988, Tallinn, 1988, 27-33.
  11. Tombak M., Pöial J., Soo V. Tools for programming with FORTH as an object language (in Russian). Final Report for the contract No. A-87/6, Tartu 1988. 103 pp.
  12. Tombak M., Väinaste R., Pöial J., Soo V., Juurik A., Saaremets I. Compiler for FORTRAN-IV (in Russian). Final Report for the contract No. A-85/10, Tartu 1986. 25 pp.
  13. Pöial J. Specifications of Forth programs and their use in compiler compilers (in Russian). Cand. techn. sci. (PhD) thesis, Abstract printed in the Institute of Cybernetics, Tallinn, 1986, 16 pp., Tartu 1986. 92 pp.
  14. Tombak M., Juurik A., Pöial J., Soo V., Toom O., Väinaste R. On the implementation of extensible languages (in Estonian). Final Report for the contract No. T-325, Tartu, 1984. 63 pp.

    15.  


  30. märtsil 2004. a.