Subject: SDL-News: PhD thesis on automatic code generation from SDL
From: Nikolai Mansurov (nick#ispras.ru)
Date: Fri Apr 09 1999 - 16:14:45 GMT
The originator of this message is responsible for its content.
-----From Nikolai Mansurov <nick#ispras.ru> to sdlnews -----
Department for CASE Tools of the Inst. for System Programming (ISP)
announces the presentation of a PhD thesis "Automatic code generation from
SDL specifications" by Alexei Ragozin (scientific advisor - Dr. Nikolai
Mansurov).
The presentation will take place at the Moscow State University on 16th of
April 1999, 11am at the Faculty for Computational Mathematics and
Cybernetics (Vorob'jevy Gory, fakul'tet VMK, room 685). The thesis is
available at the library of the Faculty (in Russian).
Abstract
Methods of automatic code generation from SDL are considered with respect
to producing readable and flexible programs. The main research topic was
to investigate the possibilities of varying the structural properties of
the automatically generated programs. The concept of declarative mappings
is introduced. Declarative mappings allow to generate readable and
flexible programs adaptable to different target environments and
platforms. A declarative mapping from complete SDL-92 to C++ well as
corresponding run-time support system are presented. A method for
comparing structural quality of generated programs is suggested and
applied to a number of known SDL code generators.
Contact:
phone: (7095) 912-5317
fax: (7095) 912-1524
email: ar#ispras.ru
Head of the Department for CASE Tools,
Institute for System Programming
Dr. Nikolai Mansurov
-----End text from Nikolai Mansurov <nick#ispras.ru> to sdlnews -----
For help, email "majordomo#sdl-forum.org" with the body of your email as:
help
or (iff this does not answer your question) email: owner-sdlnews#sdl-forum.org
This archive was generated by hypermail 2a23 : Sun Jun 16 2013 - 10:41:40 GMT