• DocumentCode
    3076236
  • Title

    Operational Semantics Based on Frame of Extended Seal Calculus Language

  • Author

    Li-Cui, Zhang

  • Author_Institution
    Coll. of Commun. Eng., Jilin Univ., Changchun, China
  • Volume
    2
  • fYear
    2009
  • fDate
    10-11 July 2009
  • Firstpage
    273
  • Lastpage
    276
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Information Engineering, 2009. ICIE '09. WASE International Conference on
  • Conference_Location
    Taiyuan, Shanxi
  • Print_ISBN
    978-0-7695-3679-8
  • Type

    conf

  • DOI
    10.1109/ICIE.2009.76
  • Filename
    5211414
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3076236