Table of Contents
1Introduction
1.1General
1.2Languagesurvey
1.3Modesandclasses
1.4Locationsandtheiraccesses
1.5Valuesandtheiroperations
1.6Actions
1.7Inputandoutput
1.8Exceptionhandling
1.9Timesupervision
1.10Programstructure
1.11Concurrentexecution
1.12Generalsemanticproperties
1.13Implementationoptions
2Preliminaries
2.1Themetalanguage
2.2Vocabulary
2.3Theuseofspaces
2.4Comments
2.5Formateffectors
2.6Compilerdirectives
2.7Namesandtheirdefiningoccurrences
3Modesandclasses
3.1General
3.2Modedefinitions
3.3Modeclassification
3.4Discretemodes
3.5Realmodes
3.6Powersetmodes
3.7Referencemodes
3.8Proceduremodes
3.9Instancemodes
3.10Synchronizationmodes
3.11Input-outputmodes
3.12Timingmodes
3.13Compositemodes
3.14Dynamicmodes
3.15MoretaModes
4Locationsandtheiraccesses
4.1Declarations
4.2Locations
5Valuesandtheiroperations
5.1Synonymdefinitions
5.2Primitivevalue
5.3Valuesandexpressions
6Actions
6.1General
6.2Assignmentaction
6.3Ifaction
6.4Caseaction
6.5Doaction
6.6Exitaction
6.7Callaction
6.8Resultandreturnaction
6.9Gotoaction
6.10Assertaction
6.11Emptyaction
6.12Causeaction
6.13Startaction
6.14Stopaction
6.15Continueaction
6.16Delayaction
6.17Delaycaseaction
6.18Sendaction
6.19Receivecaseaction
6.20Chillbuilt-inroutinecalls
7Inputandoutput
7.1I/Oreferencemodel
7.2Associationvalues
7.3Accessvalues
7.4Built-inroutinesforinputoutput
7.5Textinputoutput
8Exceptionhandling
8.1General
8.2Handlers
8.3Handleridentification
9Timesupervision
9.1General
9.2Timeoutableprocesses
9.3Timingactions
9.4Built-inroutinesfortime
10ProgramStructure
10.1General
10.2Reachesandnesting
10.3Begin-endblocks
10.4Procedurespecificationsanddefinitions
10.5Processspecificationsanddefinitions
10.6Modules
10.7Regions
10.8Program
10.9Storageallocationandlifetime
10.10Constructsforpiecewiseprogramming
10.11Genericity
11Concurrentexecution
11.1Processes,tasks,threadsandtheirdefinitions
11.2Mutualexclusionandregions
11.3Delayingofathread
11.4Re-activationofathread
11.5Signaldefinitionstatements
12Generalsemanticproperties
12.1Moderules
12.2Visibilityandnamebinding
12.3Caseselection
12.4Definitionandsummaryofsemanticcategories
13Implementationoptions
13.1Implementationdefinedbuilt-inroutines
13.2Implementationdefinedintegermodes
13.3Implementationdefinedfloatingpointmodes
13.4Implementationdefinedprocessnames
13.5Implementationdefinedhandlers
13.6Implementationdefinedexceptionnames
13.7Otherimplementationdefinedfeatures
AppendixI-CharactersetforCHILI
AppendixII-Specialsymbol
AppendixIII-Specialsimplenamestrings
III.1Reservedsimplenamestrings
III.2Predefinedsimplenamestrings
III.3Exceptionnames
AppendixIV-Programexamples
IV.1Operationsonintegers
IV.2Sameoperationsonfractions
IV.3Sameoperationsoncomplexnumbers
IV.4Generalorderarithmetic
IV.5Addingbitbybitandcheckingtheresult
IV.6Playingwithdates
IV.7Romannumerals
IV.8Countinglettersinacharacterstringof
arbitrarylength
IV.9Primenumbers
IV.10Implementingstacksintwodifferentways,
transparenttotheuser
IV.11Fragmentforplayingchess
IV.12Buildingandmanipulatingacircularlylinkedlist
IV.13Aregionformanagingcompetingaccessestoa
resource
IV.14Queuingcallstoaswitchboard
IV.15Allocatinganddeallocatingasetofresources
IV.16Allocatinganddeallocatingasetofresources
usingbuffers
IV.17Stringscanner1
IV.18Stringscanner2
IV.19Removinganitemfromadoublelinkedlist
IV.20Updatearecordofafile
IV.21Mergetwosortedfiles
IV.22Readafilewithvariablelengthrecords
IV.23Theuseofspecmodules
IV.24Exampleofacontext
IV.25Theuseofprefixingandremotemodules
IV.26Theuseoftexti/o
IV.27Agenericstack
IV.28Anabstractdatatype
IV.29Exampleofaspecmodule
IV.30Object-Orientation:ModesforSimple,Sequential
Stacks
IV.31Object-Orientation:ModeExtension:Simple,
SequentialStackwithOperation"Top"
IV.32Object-Orientation:ModesforStackswithAccess
Synchronization
AppendixV-Decommittedfeatures
V.1Freedirective
V.2Integermodessyntax
V.3Setmodeswithholes
V.4Proceduremodessyntax
V.5Stringmodessyntax
V.6Arraymodessyntax
V.7Levelstructurenotation
V.8Mapreferencenames
V.9Baseddeclarations
V.10Characterstringliterals
V.11Receiveexpressions
V.12Addrnotation
V.13Assignmentsyntax
V.14Caseactionsyntax
V.15Do-foractionsyntax
V.16Explicitloopcounters
V.17Callactionsyntax
V.18RECURSEFAILexception
V.19Startactionsyntax
V.20Explicitvaluereceivenames
V.21Blocks
V.22Entrystatement
V.23Registernames
V.24Recursiveattribute
V.25Quasicausestatementsandquasihandlers
V.26Syntaxofquasistatements
V.27Weaklyvisiblenamesandvisibilitystatements
V.28Weaklyvisiblenamesandvisibilitystatements
V.29Pervasiveness
V.30Seizingbymodulionname
V.31Predefinedsimplenamestrings
AppendixVI-Indexofproductionrules Abstract
Defines the ITU-T programming language CHILL. CHILL is a strongly typed, block structured and object-oriented language designed primarily for the implementation of large and complex embedded systems.
