The following information was submitted:
Transactions: WSEAS TRANSACTIONS ON COMPUTERS
Transactions ID Number: 29-531
Full Name: Natela Archvadze
Position: Associate Professor
Age: ON
Sex: Female
Address: Tbilisi, Vazha-Phshavela str., IV kvartal, I korpus
Country: GEORGIA
Tel: 995-99-47-46-92
Tel prefix:
Fax:
E-mail address: natarchvadze@yahoo.com
Other E-mails:
Title of the Paper: Program recursive forms and programming automatization for functional languages
Authors as they appear in the Paper: Natela Archvadze, Merab Pkhovelishvili, Lia Shetsiruli, Mziana Nizharadze.
Email addresses of all the authors: natachvadze@yahoo.com,merab5@list.ru,lika77u@yahoo.com,mziana60@mail.ru
Number of paper pages: 10
Abstract: The automatic programming system has been considered by means of which it becomes easier to carry out traditional programming stages. There is discussed both recursive forms: parallel, interrecursion and recursion of high level that exist for functional programming languages and induction methods for the purpose of their verification. The way how to present imperative languages easy and double cycles by means of recursion forms is shown, the possibility of verification has been studied for each recursion form.
Keywords: Functional Programming Languages, Recursive Forms, Programs Verification.
EXTENSION of the file: .doc
Special (Invited) Session: A recursion forms and their verification by using.
Organizer of the Session: 615-203
How Did you learn about congress: professor Zurab Baiashvili zurbaia@yahoo.com, professor Hamlet Meladze h_meladze@hotmail.com
IP ADDRESS: 217.147.232.30
