Matches in SemOpenAlex for { <https://semopenalex.org/work/W2101987112> ?p ?o ?g. }
- W2101987112 endingPage "30" @default.
- W2101987112 startingPage "14" @default.
- W2101987112 abstract "Formal semantic description is significant for design, reasoning and standardization of programming languages, and it plays an important part in the optimization of the compiler. However, compared to the amount of effort that has been made to the research of various semantic frameworks over more than forty years, their actual applications are definitely frustrating. This survey reviews the history of developments on semantic description frame-works for programming languages. It also illustrates features and actual applications of the main frameworks (including operational, deno-tational, axiomatic and hybrid semantics). In some practical aspects, such as comprehensibility, extensibility and applicability, the qualitative comparisons of these frameworks are given distinctly. It suggests that a more popular formal semantic description should behave more elegantly in readability, modularity, abstractness, comparability, reasonability, applicability and tool-support." @default.
- W2101987112 created "2016-06-24" @default.
- W2101987112 creator A5009423801 @default.
- W2101987112 creator A5048600272 @default.
- W2101987112 date "2004-03-01" @default.
- W2101987112 modified "2023-10-16" @default.
- W2101987112 title "A survey of semantic description frameworks for programming languages" @default.
- W2101987112 cites W118153159 @default.
- W2101987112 cites W1426476981 @default.
- W2101987112 cites W1511110335 @default.
- W2101987112 cites W1563218161 @default.
- W2101987112 cites W1585197271 @default.
- W2101987112 cites W1885142743 @default.
- W2101987112 cites W1963842623 @default.
- W2101987112 cites W1968513265 @default.
- W2101987112 cites W1969857501 @default.
- W2101987112 cites W1977216954 @default.
- W2101987112 cites W1980939032 @default.
- W2101987112 cites W1989783863 @default.
- W2101987112 cites W1991027534 @default.
- W2101987112 cites W1997143185 @default.
- W2101987112 cites W1999582424 @default.
- W2101987112 cites W2001218627 @default.
- W2101987112 cites W2011050558 @default.
- W2101987112 cites W2015477722 @default.
- W2101987112 cites W2015888335 @default.
- W2101987112 cites W2020890916 @default.
- W2101987112 cites W2024189573 @default.
- W2101987112 cites W2028870530 @default.
- W2101987112 cites W2030590001 @default.
- W2101987112 cites W2032192093 @default.
- W2101987112 cites W2047620618 @default.
- W2101987112 cites W2048075043 @default.
- W2101987112 cites W2048569219 @default.
- W2101987112 cites W2058494671 @default.
- W2101987112 cites W2061786858 @default.
- W2101987112 cites W2066210260 @default.
- W2101987112 cites W2068711880 @default.
- W2101987112 cites W2069462712 @default.
- W2101987112 cites W2074436507 @default.
- W2101987112 cites W2075394937 @default.
- W2101987112 cites W2078779296 @default.
- W2101987112 cites W2090881074 @default.
- W2101987112 cites W2094244519 @default.
- W2101987112 cites W2095696253 @default.
- W2101987112 cites W2099792091 @default.
- W2101987112 cites W2105135809 @default.
- W2101987112 cites W2113757735 @default.
- W2101987112 cites W2131540458 @default.
- W2101987112 cites W2141576692 @default.
- W2101987112 cites W2165446401 @default.
- W2101987112 cites W2295914203 @default.
- W2101987112 cites W2987907651 @default.
- W2101987112 cites W4230958226 @default.
- W2101987112 cites W4239007999 @default.
- W2101987112 cites W4246392827 @default.
- W2101987112 cites W58308675 @default.
- W2101987112 doi "https://doi.org/10.1145/981009.981013" @default.
- W2101987112 hasPublicationYear "2004" @default.
- W2101987112 type Work @default.
- W2101987112 sameAs 2101987112 @default.
- W2101987112 citedByCount "28" @default.
- W2101987112 countsByYear W21019871122012 @default.
- W2101987112 countsByYear W21019871122013 @default.
- W2101987112 countsByYear W21019871122014 @default.
- W2101987112 countsByYear W21019871122015 @default.
- W2101987112 countsByYear W21019871122017 @default.
- W2101987112 countsByYear W21019871122018 @default.
- W2101987112 countsByYear W21019871122019 @default.
- W2101987112 countsByYear W21019871122023 @default.
- W2101987112 crossrefType "journal-article" @default.
- W2101987112 hasAuthorship W2101987112A5009423801 @default.
- W2101987112 hasAuthorship W2101987112A5048600272 @default.
- W2101987112 hasConcept C111919701 @default.
- W2101987112 hasConcept C114614502 @default.
- W2101987112 hasConcept C115903868 @default.
- W2101987112 hasConcept C154945302 @default.
- W2101987112 hasConcept C156325763 @default.
- W2101987112 hasConcept C184337299 @default.
- W2101987112 hasConcept C188087704 @default.
- W2101987112 hasConcept C197947376 @default.
- W2101987112 hasConcept C199360897 @default.
- W2101987112 hasConcept C2779478453 @default.
- W2101987112 hasConcept C32833848 @default.
- W2101987112 hasConcept C33923547 @default.
- W2101987112 hasConcept C34165917 @default.
- W2101987112 hasConcept C41008148 @default.
- W2101987112 hasConcept C54355233 @default.
- W2101987112 hasConcept C55439883 @default.
- W2101987112 hasConcept C86803240 @default.
- W2101987112 hasConceptScore W2101987112C111919701 @default.
- W2101987112 hasConceptScore W2101987112C114614502 @default.
- W2101987112 hasConceptScore W2101987112C115903868 @default.
- W2101987112 hasConceptScore W2101987112C154945302 @default.
- W2101987112 hasConceptScore W2101987112C156325763 @default.
- W2101987112 hasConceptScore W2101987112C184337299 @default.
- W2101987112 hasConceptScore W2101987112C188087704 @default.
- W2101987112 hasConceptScore W2101987112C197947376 @default.