Matches in SemOpenAlex for { <https://semopenalex.org/work/W1512206543> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W1512206543 endingPage "183" @default.
- W1512206543 startingPage "169" @default.
- W1512206543 abstract "DOM (Document Object Model) is the W3C recommendation for an API for manipulating XML documents. The API is stated in terms of a language neutral IDL with normative bindings given for Java and ECMAScript. The type system underlying the DOM API is a simple object-based one which relies entirely on interfaces and interface extension. However, this simplicity is deceiving because the DOM architects implicitly impose a large number of constraints which are only stated informally. The long list of exceptions that some DOM methods may raise witnesses these constraints. The present work defines a refinement of Java’s type system which makes most of these constraints accessible and thus checkable to the compiler. Technically, we graft a polymorphic annotation system on top of the host language’s types and propagate the annotations using ideas borrowed from affine type systems. We provide a type soundness proof with respect to an operational semantics of a Java core language." @default.
- W1512206543 created "2016-06-24" @default.
- W1512206543 creator A5000384936 @default.
- W1512206543 date "2005-01-01" @default.
- W1512206543 modified "2023-10-17" @default.
- W1512206543 title "A Type Safe DOM API" @default.
- W1512206543 cites W1526771983 @default.
- W1512206543 cites W1553894716 @default.
- W1512206543 cites W1570258731 @default.
- W1512206543 cites W1980939032 @default.
- W1512206543 cites W2033348393 @default.
- W1512206543 cites W2046137117 @default.
- W1512206543 cites W2059668263 @default.
- W1512206543 cites W2097304805 @default.
- W1512206543 cites W2139356751 @default.
- W1512206543 cites W2151716725 @default.
- W1512206543 cites W4250016899 @default.
- W1512206543 doi "https://doi.org/10.1007/11601524_11" @default.
- W1512206543 hasPublicationYear "2005" @default.
- W1512206543 type Work @default.
- W1512206543 sameAs 1512206543 @default.
- W1512206543 citedByCount "18" @default.
- W1512206543 countsByYear W15122065432012 @default.
- W1512206543 countsByYear W15122065432013 @default.
- W1512206543 countsByYear W15122065432016 @default.
- W1512206543 crossrefType "book-chapter" @default.
- W1512206543 hasAuthorship W1512206543A5000384936 @default.
- W1512206543 hasConcept C111919701 @default.
- W1512206543 hasConcept C113843644 @default.
- W1512206543 hasConcept C129307140 @default.
- W1512206543 hasConcept C132106392 @default.
- W1512206543 hasConcept C157915830 @default.
- W1512206543 hasConcept C168702491 @default.
- W1512206543 hasConcept C169590947 @default.
- W1512206543 hasConcept C184337299 @default.
- W1512206543 hasConcept C18903297 @default.
- W1512206543 hasConcept C199360897 @default.
- W1512206543 hasConcept C2777299769 @default.
- W1512206543 hasConcept C39920170 @default.
- W1512206543 hasConcept C41008148 @default.
- W1512206543 hasConcept C548217200 @default.
- W1512206543 hasConcept C60945770 @default.
- W1512206543 hasConcept C86803240 @default.
- W1512206543 hasConceptScore W1512206543C111919701 @default.
- W1512206543 hasConceptScore W1512206543C113843644 @default.
- W1512206543 hasConceptScore W1512206543C129307140 @default.
- W1512206543 hasConceptScore W1512206543C132106392 @default.
- W1512206543 hasConceptScore W1512206543C157915830 @default.
- W1512206543 hasConceptScore W1512206543C168702491 @default.
- W1512206543 hasConceptScore W1512206543C169590947 @default.
- W1512206543 hasConceptScore W1512206543C184337299 @default.
- W1512206543 hasConceptScore W1512206543C18903297 @default.
- W1512206543 hasConceptScore W1512206543C199360897 @default.
- W1512206543 hasConceptScore W1512206543C2777299769 @default.
- W1512206543 hasConceptScore W1512206543C39920170 @default.
- W1512206543 hasConceptScore W1512206543C41008148 @default.
- W1512206543 hasConceptScore W1512206543C548217200 @default.
- W1512206543 hasConceptScore W1512206543C60945770 @default.
- W1512206543 hasConceptScore W1512206543C86803240 @default.
- W1512206543 hasLocation W15122065431 @default.
- W1512206543 hasOpenAccess W1512206543 @default.
- W1512206543 hasPrimaryLocation W15122065431 @default.
- W1512206543 hasRelatedWork W1532887546 @default.
- W1512206543 hasRelatedWork W1559683376 @default.
- W1512206543 hasRelatedWork W1604472755 @default.
- W1512206543 hasRelatedWork W1858542669 @default.
- W1512206543 hasRelatedWork W2012853945 @default.
- W1512206543 hasRelatedWork W2192862863 @default.
- W1512206543 hasRelatedWork W3175828806 @default.
- W1512206543 hasRelatedWork W4256139235 @default.
- W1512206543 hasRelatedWork W84136828 @default.
- W1512206543 hasRelatedWork W1572460671 @default.
- W1512206543 isParatext "false" @default.
- W1512206543 isRetracted "false" @default.
- W1512206543 magId "1512206543" @default.
- W1512206543 workType "book-chapter" @default.