Back to Search Start Over

Operational Semantics Based on Frame of Extended Seal Calculus Language

Authors :
Zhang Li-cui
Source :
2009 WASE International Conference on Information Engineering.
Publication Year :
2009
Publisher :
IEEE, 2009.

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.

Subjects

Subjects :
Structure (mathematical logic)
Theoretical computer science
Syntax (programming languages)
Computer science
Programming language
Semantics (computer science)
Frame (networking)
Information security
computer.software_genre
Seal (mechanical)
Operational semantics
Calculus
Computer Science::Programming Languages
Concurrent computing
computer

Details

Database :
OpenAIRE
Journal :
2009 WASE International Conference on Information Engineering
Accession number :
edsair.doi...........ce84504bfaac92ccada97d7a28b1f3c2

Tools

Authors Abstract Subjects Details