Matches in SemOpenAlex for { <https://semopenalex.org/work/W2160342891> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2160342891 endingPage "8" @default.
- W2160342891 startingPage "1" @default.
- W2160342891 abstract "Most programming languages are equipped with a type system that detects type errors in the program, such as using a variable or result of a given type in a context that expects data of a different, incompatible type. Such type checking can take place either statically (at compile-time) or dynamically (at run-time). Type checking has proved to be very effective in catching a wide class of programming errors, from the trivial (misspelled identifiers) to the fairly deep (violations of data structure invariants). It makes program considerably safer, ensuring integrity of data structures and type-correct interconnection of program components. Safety is not the only motivation for equipping programming languages with type systems, however. Another motivation, which came first historically, is to facilitate the efficient compilation of programs. Static typing restricts the set of programs to be compiled, possibly eliminating programs containing constructs that are difficult to compile efficiently or even to compile correctly at all. Also, static typing guarantees certain properties and invariants on the data manipulated by the program; the compiler can take advantage of these semantic guarantees to generate better code. The “Types in Compilation” workshops are dedicated to the study of these interactions between type systems and the compilation process." @default.
- W2160342891 created "2016-06-24" @default.
- W2160342891 creator A5058330133 @default.
- W2160342891 date "1998-01-01" @default.
- W2160342891 modified "2023-10-13" @default.
- W2160342891 title "Introduction" @default.
- W2160342891 cites W1491178396 @default.
- W2160342891 cites W1552909716 @default.
- W2160342891 cites W1568624484 @default.
- W2160342891 cites W1569892421 @default.
- W2160342891 cites W1597497095 @default.
- W2160342891 cites W1963705166 @default.
- W2160342891 cites W1969093922 @default.
- W2160342891 cites W1976808561 @default.
- W2160342891 cites W1988661738 @default.
- W2160342891 cites W2003786919 @default.
- W2160342891 cites W2014387690 @default.
- W2160342891 cites W2016049804 @default.
- W2160342891 cites W2017381819 @default.
- W2160342891 cites W2021085621 @default.
- W2160342891 cites W2022443117 @default.
- W2160342891 cites W2030916392 @default.
- W2160342891 cites W2034711041 @default.
- W2160342891 cites W2046137117 @default.
- W2160342891 cites W2051600169 @default.
- W2160342891 cites W2057085278 @default.
- W2160342891 cites W2058821858 @default.
- W2160342891 cites W2059895047 @default.
- W2160342891 cites W2070430903 @default.
- W2160342891 cites W2075872176 @default.
- W2160342891 cites W2087875803 @default.
- W2160342891 cites W2091909330 @default.
- W2160342891 cites W2092632814 @default.
- W2160342891 cites W2102389857 @default.
- W2160342891 cites W2107821848 @default.
- W2160342891 cites W2118002698 @default.
- W2160342891 cites W2118227920 @default.
- W2160342891 cites W2131135493 @default.
- W2160342891 cites W2133608633 @default.
- W2160342891 cites W2138930545 @default.
- W2160342891 cites W2142547405 @default.
- W2160342891 cites W2161100976 @default.
- W2160342891 cites W2169761811 @default.
- W2160342891 cites W2171240827 @default.
- W2160342891 cites W2171691057 @default.
- W2160342891 cites W96156603 @default.
- W2160342891 doi "https://doi.org/10.1007/bfb0055509" @default.
- W2160342891 hasPublicationYear "1998" @default.
- W2160342891 type Work @default.
- W2160342891 sameAs 2160342891 @default.
- W2160342891 citedByCount "4" @default.
- W2160342891 crossrefType "book-chapter" @default.
- W2160342891 hasAuthorship W2160342891A5058330133 @default.
- W2160342891 hasBestOaLocation W21603428912 @default.
- W2160342891 hasConcept C41008148 @default.
- W2160342891 hasConceptScore W2160342891C41008148 @default.
- W2160342891 hasLocation W21603428911 @default.
- W2160342891 hasLocation W21603428912 @default.
- W2160342891 hasLocation W21603428913 @default.
- W2160342891 hasOpenAccess W2160342891 @default.
- W2160342891 hasPrimaryLocation W21603428911 @default.
- W2160342891 hasRelatedWork W1596801655 @default.
- W2160342891 hasRelatedWork W2130043461 @default.
- W2160342891 hasRelatedWork W2350741829 @default.
- W2160342891 hasRelatedWork W2358668433 @default.
- W2160342891 hasRelatedWork W2376932109 @default.
- W2160342891 hasRelatedWork W2382290278 @default.
- W2160342891 hasRelatedWork W2390279801 @default.
- W2160342891 hasRelatedWork W2748952813 @default.
- W2160342891 hasRelatedWork W2899084033 @default.
- W2160342891 hasRelatedWork W2530322880 @default.
- W2160342891 isParatext "false" @default.
- W2160342891 isRetracted "false" @default.
- W2160342891 magId "2160342891" @default.
- W2160342891 workType "book-chapter" @default.