Title :
Operational Semantics Based on Frame of Extended Seal Calculus Language
Author_Institution :
Coll. of Commun. Eng., Jilin Univ., Changchun, China
Abstract :
An extended seal calculus language, ExtSealL, and its syntax is introduced in this paper. A frame structure is proposed for ExtSeal. A construction method for translating a seal definition into the frame definition is proposed and a transformation function is given based on the method. An operating semantics is developed basing on the frame structure, an example of a frame and its execution are given.
Keywords :
programming language semantics; ExtSealL; extended seal calculus language; operational semantics; Calculus; Computer languages; Concurrent computing; Data security; Educational institutions; Information security; Internet; Large-scale systems; Programming profession; Seals; Sea calculusl; frame; operatinal semantics;
Conference_Titel :
Information Engineering, 2009. ICIE '09. WASE International Conference on
Conference_Location :
Taiyuan, Shanxi
Print_ISBN :
978-0-7695-3679-8
DOI :
10.1109/ICIE.2009.76
