Matches in SemOpenAlex for { <https://semopenalex.org/work/W1603321708> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W1603321708 endingPage "74" @default.
- W1603321708 startingPage "63" @default.
- W1603321708 abstract "C is a well known and very popular general purpose programming language which represents, together with its descendants, a strong and indisputable status quo in the current software industry. Its semantics is informally defined in the ISO/IEC 9899:1990 standard [1] using natural language. This causes a number of ambiguities and problems of interpretation, clearly manifested in numerous discussions taking place in the newsgroup comp. std. c. It is worthwhile noticing that members of the standardization committee and other distinguished researchers participating in the discussions often give contradictory answers when asked about the intended semantics of surprisingly small programs, and that their answers are usually based on different possible interpretations of the standard. With all this in mind, the necessity for a formal description of the semantics of C becomes apparent. Such a description would serve as a precise standard for compiler implementation and would provide a basis for reasoning about properties of C programs." @default.
- W1603321708 created "2016-06-24" @default.
- W1603321708 creator A5044248894 @default.
- W1603321708 date "1999-01-01" @default.
- W1603321708 modified "2023-09-27" @default.
- W1603321708 title "A Case Study in Specifying the Denotational Semantics of C" @default.
- W1603321708 cites W1969857501 @default.
- W1603321708 cites W2037984920 @default.
- W1603321708 cites W2068351696 @default.
- W1603321708 cites W2071836561 @default.
- W1603321708 cites W2141576692 @default.
- W1603321708 cites W3022507049 @default.
- W1603321708 doi "https://doi.org/10.1007/978-94-011-4840-5_6" @default.
- W1603321708 hasPublicationYear "1999" @default.
- W1603321708 type Work @default.
- W1603321708 sameAs 1603321708 @default.
- W1603321708 citedByCount "0" @default.
- W1603321708 crossrefType "book-chapter" @default.
- W1603321708 hasAuthorship W1603321708A5044248894 @default.
- W1603321708 hasBestOaLocation W16033217082 @default.
- W1603321708 hasConcept C111919701 @default.
- W1603321708 hasConcept C115903868 @default.
- W1603321708 hasConcept C150607116 @default.
- W1603321708 hasConcept C156325763 @default.
- W1603321708 hasConcept C169590947 @default.
- W1603321708 hasConcept C17744445 @default.
- W1603321708 hasConcept C184337299 @default.
- W1603321708 hasConcept C188087704 @default.
- W1603321708 hasConcept C199360897 @default.
- W1603321708 hasConcept C199539241 @default.
- W1603321708 hasConcept C207648694 @default.
- W1603321708 hasConcept C2776748549 @default.
- W1603321708 hasConcept C41008148 @default.
- W1603321708 hasConcept C527412718 @default.
- W1603321708 hasConcept C89448276 @default.
- W1603321708 hasConcept C89497691 @default.
- W1603321708 hasConceptScore W1603321708C111919701 @default.
- W1603321708 hasConceptScore W1603321708C115903868 @default.
- W1603321708 hasConceptScore W1603321708C150607116 @default.
- W1603321708 hasConceptScore W1603321708C156325763 @default.
- W1603321708 hasConceptScore W1603321708C169590947 @default.
- W1603321708 hasConceptScore W1603321708C17744445 @default.
- W1603321708 hasConceptScore W1603321708C184337299 @default.
- W1603321708 hasConceptScore W1603321708C188087704 @default.
- W1603321708 hasConceptScore W1603321708C199360897 @default.
- W1603321708 hasConceptScore W1603321708C199539241 @default.
- W1603321708 hasConceptScore W1603321708C207648694 @default.
- W1603321708 hasConceptScore W1603321708C2776748549 @default.
- W1603321708 hasConceptScore W1603321708C41008148 @default.
- W1603321708 hasConceptScore W1603321708C527412718 @default.
- W1603321708 hasConceptScore W1603321708C89448276 @default.
- W1603321708 hasConceptScore W1603321708C89497691 @default.
- W1603321708 hasLocation W16033217081 @default.
- W1603321708 hasLocation W16033217082 @default.
- W1603321708 hasOpenAccess W1603321708 @default.
- W1603321708 hasPrimaryLocation W16033217081 @default.
- W1603321708 hasRelatedWork W1422032522 @default.
- W1603321708 hasRelatedWork W2017152877 @default.
- W1603321708 hasRelatedWork W2035082615 @default.
- W1603321708 hasRelatedWork W2623394745 @default.
- W1603321708 hasRelatedWork W2738461706 @default.
- W1603321708 hasRelatedWork W3139603584 @default.
- W1603321708 hasRelatedWork W3163637575 @default.
- W1603321708 hasRelatedWork W3197740044 @default.
- W1603321708 hasRelatedWork W783270985 @default.
- W1603321708 hasRelatedWork W1958334269 @default.
- W1603321708 isParatext "false" @default.
- W1603321708 isRetracted "false" @default.
- W1603321708 magId "1603321708" @default.
- W1603321708 workType "book-chapter" @default.