Teadustööde loetelu
I. Monograafiad või nende osad
II. Teaduslikud artiklid rahvusvahelise
levikuga väljaannetes
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- Zaitseva J., Willemson J., Pöial J. Tutorial Environment for Cryptographic
Protocols. Nordic Workshop on
Secure IT Systems NordSec 2003. 10 pp.
- 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
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
IV. Konverentside teesid
- 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
- 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.
- 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.
- 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.
- 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.
- 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.
V. Muud
publikatsioonid
- Pöial J. Õppematerjal aines
"Klient-server keeled",
EITSA, 2003. 71 lk. + CD-ROM
- 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
- 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.
- 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.
- Pöial J. Reference Guide to Operating
System VMS for VAX-8650 (in Estonian). Manuscript, Tartu
1993. 5 pp.
- Pöial J., Kiho J. E-schemes (in
Estonian). Manuscript, Tartu 1993. 16 pp.
- Pöial J. Institute of Computer Science
at the University of Tartu (in Estonian). Computers and Data
Processing No. 8, 1993, Tallinn, 37-39.
- 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.
- Villems A., Koit M., Pöial J. Computer
course for beginners (in Estonian). Manuscript, Tartu 1992.
- 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.
- 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.
- Pöial J. About the system "Planimetry" (in
Estonian). Computers and Data Processing No. 5, 1988, Tallinn,
1988, 27-33.
- 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.
- 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.
- 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.
- 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.
30. märtsil 2004. a.