Matches in SemOpenAlex for { <https://semopenalex.org/work/W1505629148> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W1505629148 endingPage "164" @default.
- W1505629148 startingPage "138" @default.
- W1505629148 abstract "In this paper we present a revised and extended version of the strictness and totality type assignment system introduced by Solberg, Nielson and Nielson in the Static Analysis Symposium '94. Our main result is that (w.r.t. the possibility of replacing safely a lazy application by a strict one) the strictness and totality information given by this system is equivalent to the information given by two separate systems: one for strictness, and one for totality. This result is interesting from both a theoretical (understanding of the relations between strictness and totality) and a practical (more efficient checking and inference algorithms) point of view. Moreover we prove that both the system for strictness and the system for totality have a sound and complete inclusion relation between types w.r.t. the semantics induced by the term model of a language including a convergence to weak head normal form test at higher types." @default.
- W1505629148 created "2016-06-24" @default.
- W1505629148 creator A5018907550 @default.
- W1505629148 creator A5057279396 @default.
- W1505629148 creator A5065182304 @default.
- W1505629148 date "1997-01-01" @default.
- W1505629148 modified "2023-09-27" @default.
- W1505629148 title "On strictness and totality" @default.
- W1505629148 cites W1496705429 @default.
- W1505629148 cites W1498394860 @default.
- W1505629148 cites W1512248102 @default.
- W1505629148 cites W1514992909 @default.
- W1505629148 cites W1762020135 @default.
- W1505629148 cites W1986487716 @default.
- W1505629148 cites W2017720469 @default.
- W1505629148 cites W2022290763 @default.
- W1505629148 cites W2025033165 @default.
- W1505629148 cites W2059221460 @default.
- W1505629148 cites W2990518766 @default.
- W1505629148 cites W4254818085 @default.
- W1505629148 doi "https://doi.org/10.1007/bfb0014550" @default.
- W1505629148 hasPublicationYear "1997" @default.
- W1505629148 type Work @default.
- W1505629148 sameAs 1505629148 @default.
- W1505629148 citedByCount "5" @default.
- W1505629148 crossrefType "book-chapter" @default.
- W1505629148 hasAuthorship W1505629148A5018907550 @default.
- W1505629148 hasAuthorship W1505629148A5057279396 @default.
- W1505629148 hasAuthorship W1505629148A5065182304 @default.
- W1505629148 hasConcept C110546421 @default.
- W1505629148 hasConcept C11413529 @default.
- W1505629148 hasConcept C118615104 @default.
- W1505629148 hasConcept C121332964 @default.
- W1505629148 hasConcept C124101348 @default.
- W1505629148 hasConcept C154945302 @default.
- W1505629148 hasConcept C184337299 @default.
- W1505629148 hasConcept C18903297 @default.
- W1505629148 hasConcept C198370458 @default.
- W1505629148 hasConcept C199360897 @default.
- W1505629148 hasConcept C25343380 @default.
- W1505629148 hasConcept C2776214188 @default.
- W1505629148 hasConcept C2777299769 @default.
- W1505629148 hasConcept C33923547 @default.
- W1505629148 hasConcept C41008148 @default.
- W1505629148 hasConcept C61797465 @default.
- W1505629148 hasConcept C62520636 @default.
- W1505629148 hasConcept C80444323 @default.
- W1505629148 hasConcept C86803240 @default.
- W1505629148 hasConceptScore W1505629148C110546421 @default.
- W1505629148 hasConceptScore W1505629148C11413529 @default.
- W1505629148 hasConceptScore W1505629148C118615104 @default.
- W1505629148 hasConceptScore W1505629148C121332964 @default.
- W1505629148 hasConceptScore W1505629148C124101348 @default.
- W1505629148 hasConceptScore W1505629148C154945302 @default.
- W1505629148 hasConceptScore W1505629148C184337299 @default.
- W1505629148 hasConceptScore W1505629148C18903297 @default.
- W1505629148 hasConceptScore W1505629148C198370458 @default.
- W1505629148 hasConceptScore W1505629148C199360897 @default.
- W1505629148 hasConceptScore W1505629148C25343380 @default.
- W1505629148 hasConceptScore W1505629148C2776214188 @default.
- W1505629148 hasConceptScore W1505629148C2777299769 @default.
- W1505629148 hasConceptScore W1505629148C33923547 @default.
- W1505629148 hasConceptScore W1505629148C41008148 @default.
- W1505629148 hasConceptScore W1505629148C61797465 @default.
- W1505629148 hasConceptScore W1505629148C62520636 @default.
- W1505629148 hasConceptScore W1505629148C80444323 @default.
- W1505629148 hasConceptScore W1505629148C86803240 @default.
- W1505629148 hasLocation W15056291481 @default.
- W1505629148 hasOpenAccess W1505629148 @default.
- W1505629148 hasPrimaryLocation W15056291481 @default.
- W1505629148 hasRelatedWork W1626598037 @default.
- W1505629148 hasRelatedWork W1965468625 @default.
- W1505629148 hasRelatedWork W1970227944 @default.
- W1505629148 hasRelatedWork W1970917772 @default.
- W1505629148 hasRelatedWork W1974725248 @default.
- W1505629148 hasRelatedWork W1989584142 @default.
- W1505629148 hasRelatedWork W2007333798 @default.
- W1505629148 hasRelatedWork W2033288912 @default.
- W1505629148 hasRelatedWork W2039528880 @default.
- W1505629148 hasRelatedWork W2085670481 @default.
- W1505629148 hasRelatedWork W2121065054 @default.
- W1505629148 hasRelatedWork W2183777695 @default.
- W1505629148 hasRelatedWork W2284126440 @default.
- W1505629148 hasRelatedWork W2475744028 @default.
- W1505629148 hasRelatedWork W2761508096 @default.
- W1505629148 hasRelatedWork W3022952115 @default.
- W1505629148 isParatext "false" @default.
- W1505629148 isRetracted "false" @default.
- W1505629148 magId "1505629148" @default.
- W1505629148 workType "book-chapter" @default.