Matches in SemOpenAlex for { <https://semopenalex.org/work/W3100488813> ?p ?o ?g. }
Showing items 1 to 60 of
60
with 100 items per page.
- W3100488813 abstract "In this chapter, the syntax of Lucid will be formally specified. Also, the denotational semantics of Lucid will be outlined. The example programs in Chapter 1, surprisingly perhaps, informally introduced all the syntax of Lucid. There, we saw where clauses, definitions, terms, dimension names variables, functions, constants, and operations. Now, we will see how these syntactic entities are formalized, and the examples in the previous chapter will be looked at again, this time to see which of the syntactic entities are being used, and how. Lucid is an expression-based language: every Lucid program is a term, which might be a where clause of size 1. A where clause of size n is an n-tuple of terms together with declarations of new dimensions and subsidiary definitions (that follow the keyword where). The definitions in a where clause have right-hand sides that may be where clauses. Thus, Lucid programs are naturally recursively structured, to arbitrary depth. We will say that Lucid is where clause structured, where we intend that expression to convey all that the expression block structured conveys about scoping in, say, Algol, Pascal, or Ada. After that very cursory top-down view of Lucid, we now immediately look at the basic entities from which terms are formed: variables, functions, constants, and operations. These four basic types of entities we will call atoms. Syntactically, variables and functions are represented by identifiers, which are alphanumeric strings that start with a letter. Constants and operations, on the other hand, are usually represented by characters other than letters, such as + and 3 and #. Some operations and constants are represented by alphanumeric strings, such as fby, true, and div. (Also, the ternary conditional operation is represented by four such strings: if, then, else, and fi.) We will say that these strings are not identifiers—they are special reserved keywords—and we will not allow them to be used to represent variables or functions. (This is standard practice for many languages.) All atoms have two arities, which we will call the Roman and the Greek arities." @default.
- W3100488813 created "2020-11-23" @default.
- W3100488813 creator A5021386535 @default.
- W3100488813 creator A5047956710 @default.
- W3100488813 creator A5057045114 @default.
- W3100488813 creator A5089372145 @default.
- W3100488813 date "1995-05-04" @default.
- W3100488813 modified "2023-09-25" @default.
- W3100488813 title "Syntax and Semantics" @default.
- W3100488813 doi "https://doi.org/10.1093/oso/9780195075977.003.0006" @default.
- W3100488813 hasPublicationYear "1995" @default.
- W3100488813 type Work @default.
- W3100488813 sameAs 3100488813 @default.
- W3100488813 citedByCount "0" @default.
- W3100488813 crossrefType "book-chapter" @default.
- W3100488813 hasAuthorship W3100488813A5021386535 @default.
- W3100488813 hasAuthorship W3100488813A5047956710 @default.
- W3100488813 hasAuthorship W3100488813A5057045114 @default.
- W3100488813 hasAuthorship W3100488813A5089372145 @default.
- W3100488813 hasConcept C138885662 @default.
- W3100488813 hasConcept C184337299 @default.
- W3100488813 hasConcept C199360897 @default.
- W3100488813 hasConcept C204321447 @default.
- W3100488813 hasConcept C41008148 @default.
- W3100488813 hasConcept C41895202 @default.
- W3100488813 hasConcept C60048249 @default.
- W3100488813 hasConceptScore W3100488813C138885662 @default.
- W3100488813 hasConceptScore W3100488813C184337299 @default.
- W3100488813 hasConceptScore W3100488813C199360897 @default.
- W3100488813 hasConceptScore W3100488813C204321447 @default.
- W3100488813 hasConceptScore W3100488813C41008148 @default.
- W3100488813 hasConceptScore W3100488813C41895202 @default.
- W3100488813 hasConceptScore W3100488813C60048249 @default.
- W3100488813 hasLocation W31004888131 @default.
- W3100488813 hasOpenAccess W3100488813 @default.
- W3100488813 hasPrimaryLocation W31004888131 @default.
- W3100488813 hasRelatedWork W183563928 @default.
- W3100488813 hasRelatedWork W2023121556 @default.
- W3100488813 hasRelatedWork W2255446936 @default.
- W3100488813 hasRelatedWork W2312489118 @default.
- W3100488813 hasRelatedWork W2313803727 @default.
- W3100488813 hasRelatedWork W2314690775 @default.
- W3100488813 hasRelatedWork W2327964748 @default.
- W3100488813 hasRelatedWork W2401660354 @default.
- W3100488813 hasRelatedWork W2496305154 @default.
- W3100488813 hasRelatedWork W2543566555 @default.
- W3100488813 hasRelatedWork W2621376367 @default.
- W3100488813 hasRelatedWork W2762663434 @default.
- W3100488813 hasRelatedWork W2996211488 @default.
- W3100488813 hasRelatedWork W573204449 @default.
- W3100488813 hasRelatedWork W627312477 @default.
- W3100488813 hasRelatedWork W658365911 @default.
- W3100488813 hasRelatedWork W79415011 @default.
- W3100488813 hasRelatedWork W2516935839 @default.
- W3100488813 hasRelatedWork W3201067148 @default.
- W3100488813 hasRelatedWork W37193375 @default.
- W3100488813 isParatext "false" @default.
- W3100488813 isRetracted "false" @default.
- W3100488813 magId "3100488813" @default.
- W3100488813 workType "book-chapter" @default.