The TASM Language Reference Manual Version 1.1 - Synrc

More documents

Recommendations

Info

3.2.9 Configurations . . . . . . . . . . . . . . . . . . . . . . . . . 47 3.3 XML Syntax . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47 3.4 Well-Formedness Rules . . . . . . . . . . . . . . . . . . . . . . . . . 60 3.4.1 Names . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60 3.4.2 Typing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63 4 Semantics 64 4.1 Preliminary Concepts . . . . . . . . . . . . . . . . . . . . . . . . . . 64 4.<strong>1.1</strong> Operator Precedence . . . . . . . . . . . . . . . . . . . . . . 64 4.1.2 Calling Convention . . . . . . . . . . . . . . . . . . . . . . . 65 4.1.3 Types . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65 4.2 Formal Semantics . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65 4.2.1 Sugaring/Desugaring . . . . . . . . . . . . . . . . . . . . . . 66 4.2.2 Resource definitions . . . . . . . . . . . . . . . . . . . . . . 66 4.2.3 Type definitions . . . . . . . . . . . . . . . . . . . . . . . . . 66 4.2.4 Variables . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66 4.2.5 Rules . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67 4.2.6 Execution Semantics . . . . . . . . . . . . . . . . . . . . . . 68 2
List of Figures 2.1 Hierarchical composition . . . . . . . . . . . . . . . . . . . . . . . . 20 2.2 Time history of variable values and resource consumption . . . . . . . 30 3.1 Tree Nodes for XML Syntax Tree . . . . . . . . . . . . . . . . . . . 48 3.2 XML Top Level Syntax Tree . . . . . . . . . . . . . . . . . . . . . . 49 3.3 XML Syntax Tree for Project (proj) Node . . . . . . . . . . . . . . 50 3.4 XML Tags for Environment (env) Node . . . . . . . . . . . . . . . . 51 3.5 XML Tags for System (sys) Node . . . . . . . . . . . . . . . . . . . 53 3.6 XML Tags for System (tmpls) Node . . . . . . . . . . . . . . . . . 53 3.7 XML Tags for System (masm) Node . . . . . . . . . . . . . . . . . . 56 3.8 XML Tags for Template Constructor (cons) Node . . . . . . . . . . 57 3.9 XML Tags for Template Rules (rs) Node . . . . . . . . . . . . . . . 58 3.10 XML Tags for Function ASM Template (fasm) Node . . . . . . . . . 60 3
Page 1 and 2: The TASM Language Reference Manual
Page 3: Contents 1 Introduction 5 2 The Lan
Page 7 and 8: Chapter 1 Introduction This documen
Page 9 and 10: Chapter 2 The Language The Timed Ab
Page 11 and 12: 2.2 Basic Definitions The term spec
Page 13 and 14: TASM Example 1 Light Switch Version
Page 15 and 16: The keyword next, used with time sp
Page 17 and 18: of resource usage for the step. If
Page 19 and 20: • T RU 1 = (5, ((memory, 200), (p
Page 21 and 22: The composition of resources also f
Page 23 and 24: T RU ret = T RU 1 ⊕ ( (T RU 2 ⊕
Page 25 and 26: • T RS 0 = (0, ((memory, 0)), ((l
Page 27 and 28: RC 1 ⊙ RC 2 = (rc 11 , . . . , rc
Page 29 and 30: The example is further extended to
Page 31 and 32: TASM Example 8 Fan Main Machine Def
Page 33 and 34: Table 2.1: Special Operators Operat
Page 35 and 36: main machine templates. The concept
Page 37 and 38: Chapter 3 Syntax This chapter descr
Page 39 and 40: Table 3.1: Reserved Keywords Keywor
Page 41 and 42: Table 3.2: Operators Operator Signa
Page 43 and 44: TASMUCaseLetter > ::= ′ A ′ |
Page 45 and 46: 3.2.2 Project < TASMProjectDef > ::
Page 47 and 48: 3.2.5 Syntax Common to all Machine
Page 49 and 50: 3.2.8 Function Machine < TASMFTempl
Page 51 and 52: Table 3.3: XML Tags for Top Level S
Page 53 and 54: env types rsrcs vars vname tname *
Page 55 and 56:
sys confs * conf name desc viname v
Page 57 and 58:
XML Example 4 XML for a list of tem
Page 59 and 60:
cons cbody cparams body * cparam cp
Page 61 and 62:
XML Example 5 XML for main ASM temp
Page 63 and 64:
Table 3.11: XML Syntax Tree for Fun
Page 65 and 66:
3.4.2 Typing All variables are stat
Page 67 and 68:
Table 4.1: Operator Precedence Oper
Page 69 and 70:
4.2.5 Rules The desugaring of the r
Page 71 and 72:
is used to sum up all of the resour
Page 73:
[10] Y. Gurevich. Evolving Algebras
show all

The TASM Language Reference Manual Version 1.1 - Synrc

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?