Matches in SemOpenAlex for { <https://semopenalex.org/work/W1569794958> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W1569794958 endingPage "80" @default.
- W1569794958 startingPage "41" @default.
- W1569794958 abstract "Java combines the experience from the development of several object oriented languages, such as C++, Smalltalk and Clos. The philosophy of the language designers was to include only features with already known semantics, and to provide a small and simple language. Nevertheless, we feel that the introduction of some new features in Java, as well as the specific combination of features, justifies a study of the Java formal semantics. The use of interfaces, reminiscent of [10,6] is a simplification of the signatures extension for C++ [4] and is — to the best of our knowledge — novel. The mechanism for dynamic method binding is that of C++, but we know of no formal definition. Java adopts the Smalltalk [15] approach whereby all object variables are implicitly pointers. Furthermore, although there are a large number of studies of the semantics of isolated programming language features or of minimal programming languages [1], [31], [34], there have not been many studies of the formal semantics of actual programming languages. In addition, the interplay of features which are very well understood in isolation, might introduce unexpected effects. Experience confirms the importance of formal studies of type systems early on during language development. Eiffel, a language first introduced in 1985, was discovered to have a loophole in its type system in 1990 [9,22]. Given the growing usage of Java, it seems important that if there are loopholes in the type system they be discovered early on." @default.
- W1569794958 created "2016-06-24" @default.
- W1569794958 creator A5026471462 @default.
- W1569794958 creator A5060800643 @default.
- W1569794958 date "1999-01-01" @default.
- W1569794958 modified "2023-10-16" @default.
- W1569794958 title "Describing the Semantics of Java and Proving Type Soundness" @default.
- W1569794958 cites W1524515856 @default.
- W1569794958 cites W1570258731 @default.
- W1569794958 cites W188954696 @default.
- W1569794958 cites W1980939032 @default.
- W1569794958 cites W1989536180 @default.
- W1569794958 cites W1994181029 @default.
- W1569794958 cites W1994666727 @default.
- W1569794958 cites W2021686672 @default.
- W1569794958 cites W2048310176 @default.
- W1569794958 cites W2095988676 @default.
- W1569794958 cites W2133546079 @default.
- W1569794958 cites W2136316331 @default.
- W1569794958 cites W2153060956 @default.
- W1569794958 cites W2163976959 @default.
- W1569794958 cites W2169024945 @default.
- W1569794958 cites W289032424 @default.
- W1569794958 cites W3004259896 @default.
- W1569794958 cites W4250564584 @default.
- W1569794958 doi "https://doi.org/10.1007/3-540-48737-9_2" @default.
- W1569794958 hasPublicationYear "1999" @default.
- W1569794958 type Work @default.
- W1569794958 sameAs 1569794958 @default.
- W1569794958 citedByCount "55" @default.
- W1569794958 countsByYear W15697949582012 @default.
- W1569794958 countsByYear W15697949582013 @default.
- W1569794958 countsByYear W15697949582014 @default.
- W1569794958 countsByYear W15697949582017 @default.
- W1569794958 countsByYear W15697949582018 @default.
- W1569794958 crossrefType "book-chapter" @default.
- W1569794958 hasAuthorship W1569794958A5026471462 @default.
- W1569794958 hasAuthorship W1569794958A5060800643 @default.
- W1569794958 hasConcept C132106392 @default.
- W1569794958 hasConcept C168702491 @default.
- W1569794958 hasConcept C172482141 @default.
- W1569794958 hasConcept C184337299 @default.
- W1569794958 hasConcept C199360897 @default.
- W1569794958 hasConcept C2777293101 @default.
- W1569794958 hasConcept C39920170 @default.
- W1569794958 hasConcept C41008148 @default.
- W1569794958 hasConcept C548217200 @default.
- W1569794958 hasConcept C60945770 @default.
- W1569794958 hasConcept C73752529 @default.
- W1569794958 hasConceptScore W1569794958C132106392 @default.
- W1569794958 hasConceptScore W1569794958C168702491 @default.
- W1569794958 hasConceptScore W1569794958C172482141 @default.
- W1569794958 hasConceptScore W1569794958C184337299 @default.
- W1569794958 hasConceptScore W1569794958C199360897 @default.
- W1569794958 hasConceptScore W1569794958C2777293101 @default.
- W1569794958 hasConceptScore W1569794958C39920170 @default.
- W1569794958 hasConceptScore W1569794958C41008148 @default.
- W1569794958 hasConceptScore W1569794958C548217200 @default.
- W1569794958 hasConceptScore W1569794958C60945770 @default.
- W1569794958 hasConceptScore W1569794958C73752529 @default.
- W1569794958 hasLocation W15697949581 @default.
- W1569794958 hasOpenAccess W1569794958 @default.
- W1569794958 hasPrimaryLocation W15697949581 @default.
- W1569794958 hasRelatedWork W1530486358 @default.
- W1569794958 hasRelatedWork W1532887546 @default.
- W1569794958 hasRelatedWork W1560812729 @default.
- W1569794958 hasRelatedWork W1572739102 @default.
- W1569794958 hasRelatedWork W1939063323 @default.
- W1569794958 hasRelatedWork W2122434855 @default.
- W1569794958 hasRelatedWork W2512817209 @default.
- W1569794958 hasRelatedWork W2541866089 @default.
- W1569794958 hasRelatedWork W2547095320 @default.
- W1569794958 hasRelatedWork W84136828 @default.
- W1569794958 isParatext "false" @default.
- W1569794958 isRetracted "false" @default.
- W1569794958 magId "1569794958" @default.
- W1569794958 workType "book-chapter" @default.