Matches in SemOpenAlex for { <https://semopenalex.org/work/W2997473992> ?p ?o ?g. }
Showing items 1 to 51 of
51
with 100 items per page.
- W2997473992 abstract "This paper presents a linear logic programming language, called O−• , that gives a complete account of an object-oriented calculus with inheritance and override. This language is best understood as a logical counterpart the object and record extensions of functional programming that have recently been proposed in the literature. From these proposals, O−• inherits the representation of objects as composite data structures, with attribute and method fields, as well as their interpretation as first-class values. O−• also gives a direct logical modeling of the self-application semantics of method invocation that justifies the view of objects as elements of recursive types. As such, the design of O−• appears interesting, in perspective, as a basis for developing flexible and powerful type systems for logical object-based languages." @default.
- W2997473992 created "2020-01-10" @default.
- W2997473992 creator A5065465503 @default.
- W2997473992 creator A5071901297 @default.
- W2997473992 creator A5077037306 @default.
- W2997473992 creator A5080883460 @default.
- W2997473992 date "1996-09-02" @default.
- W2997473992 modified "2023-10-16" @default.
- W2997473992 title "A Linear Logic Calculus of Objects" @default.
- W2997473992 hasPublicationYear "1996" @default.
- W2997473992 type Work @default.
- W2997473992 sameAs 2997473992 @default.
- W2997473992 citedByCount "5" @default.
- W2997473992 countsByYear W29974739922014 @default.
- W2997473992 countsByYear W29974739922017 @default.
- W2997473992 crossrefType "proceedings-article" @default.
- W2997473992 hasAuthorship W2997473992A5065465503 @default.
- W2997473992 hasAuthorship W2997473992A5071901297 @default.
- W2997473992 hasAuthorship W2997473992A5077037306 @default.
- W2997473992 hasAuthorship W2997473992A5080883460 @default.
- W2997473992 hasBestOaLocation W29974739921 @default.
- W2997473992 hasConcept C199343813 @default.
- W2997473992 hasConcept C2777686260 @default.
- W2997473992 hasConcept C28077239 @default.
- W2997473992 hasConcept C41008148 @default.
- W2997473992 hasConcept C71924100 @default.
- W2997473992 hasConcept C80444323 @default.
- W2997473992 hasConceptScore W2997473992C199343813 @default.
- W2997473992 hasConceptScore W2997473992C2777686260 @default.
- W2997473992 hasConceptScore W2997473992C28077239 @default.
- W2997473992 hasConceptScore W2997473992C41008148 @default.
- W2997473992 hasConceptScore W2997473992C71924100 @default.
- W2997473992 hasConceptScore W2997473992C80444323 @default.
- W2997473992 hasLocation W29974739921 @default.
- W2997473992 hasLocation W29974739922 @default.
- W2997473992 hasOpenAccess W2997473992 @default.
- W2997473992 hasPrimaryLocation W29974739921 @default.
- W2997473992 hasRelatedWork W1541150383 @default.
- W2997473992 hasRelatedWork W2061801837 @default.
- W2997473992 hasRelatedWork W2077306604 @default.
- W2997473992 hasRelatedWork W2109968910 @default.
- W2997473992 hasRelatedWork W2166378962 @default.
- W2997473992 hasRelatedWork W2210298890 @default.
- W2997473992 hasRelatedWork W2767873807 @default.
- W2997473992 hasRelatedWork W2797067244 @default.
- W2997473992 hasRelatedWork W2953378925 @default.
- W2997473992 hasRelatedWork W4296219368 @default.
- W2997473992 isParatext "false" @default.
- W2997473992 isRetracted "false" @default.
- W2997473992 magId "2997473992" @default.
- W2997473992 workType "article" @default.