Methods for specifying static semantics

Williams, M. Howard

doi:10.1016/0096-0551(81)90045-x

Search citation statements

Order By: Relevance

Paper Sections

Select...

Extension To Static Semantic Rules1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

1982

2017

Publication Types

Select...

Article4

Book1

Relationship

Self Cite0

Independent5

Authors

Journals

Cited by 5 publications

(1 citation statement)

References 16 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The static semantic rules are closely related to the syntax rules, and the formal specification of the static semantics of a language is usually an extension of the formal specification of the syntax. Any notation for formally specifying the static semantic rules of a language must provide some mechanism for counting [17]. This is necessary in order to check the length of a formal parameter list against the length of each list of actual parameters or to ensure that a subscripted variable has the correct number of subscripts.…”

Section: Extension To Static Semantic Rulesmentioning

confidence: 99%