Matches in SemOpenAlex for { <https://semopenalex.org/work/W1581750585> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W1581750585 abstract "The ultimate goal of this work is the definition of a wide-spectrum specification language that supports both data and concurrency descriptions. The design of this specification language follows the same approach as the one used in the design of Extended ML [14]. The starting point is the design of an implicitly typed, polymorphic, concurrent and functional programming language. Axioms are then added in the signatures and structures as in Extended ML. The resulting specification language is thus highly expressive though it embodies a restricted number of concepts. More concisely our language can be viewed as a sugared version of typed λ-calculus that safely incorporates imperative an concurrent extensions." @default.
- W1581750585 created "2016-06-24" @default.
- W1581750585 creator A5025030118 @default.
- W1581750585 creator A5028605138 @default.
- W1581750585 date "1994-01-01" @default.
- W1581750585 modified "2023-09-25" @default.
- W1581750585 title "A Coherent Type System for a Concurrent, Functional and Imperative Programming Language" @default.
- W1581750585 cites W1556199815 @default.
- W1581750585 cites W1581750585 @default.
- W1581750585 cites W1965724121 @default.
- W1581750585 cites W1999862696 @default.
- W1581750585 cites W2011924693 @default.
- W1581750585 cites W2046137117 @default.
- W1581750585 cites W2110135416 @default.
- W1581750585 cites W2118068787 @default.
- W1581750585 cites W2121759322 @default.
- W1581750585 cites W2166822586 @default.
- W1581750585 doi "https://doi.org/10.1007/978-1-4471-3227-1_14" @default.
- W1581750585 hasPublicationYear "1994" @default.
- W1581750585 type Work @default.
- W1581750585 sameAs 1581750585 @default.
- W1581750585 citedByCount "6" @default.
- W1581750585 crossrefType "book-chapter" @default.
- W1581750585 hasAuthorship W1581750585A5025030118 @default.
- W1581750585 hasAuthorship W1581750585A5028605138 @default.
- W1581750585 hasConcept C119263510 @default.
- W1581750585 hasConcept C15077461 @default.
- W1581750585 hasConcept C154945302 @default.
- W1581750585 hasConcept C167729594 @default.
- W1581750585 hasConcept C185954173 @default.
- W1581750585 hasConcept C193702766 @default.
- W1581750585 hasConcept C195324797 @default.
- W1581750585 hasConcept C199360897 @default.
- W1581750585 hasConcept C201677973 @default.
- W1581750585 hasConcept C2524010 @default.
- W1581750585 hasConcept C33923547 @default.
- W1581750585 hasConcept C34165917 @default.
- W1581750585 hasConcept C41008148 @default.
- W1581750585 hasConcept C42383842 @default.
- W1581750585 hasConcept C50033165 @default.
- W1581750585 hasConceptScore W1581750585C119263510 @default.
- W1581750585 hasConceptScore W1581750585C15077461 @default.
- W1581750585 hasConceptScore W1581750585C154945302 @default.
- W1581750585 hasConceptScore W1581750585C167729594 @default.
- W1581750585 hasConceptScore W1581750585C185954173 @default.
- W1581750585 hasConceptScore W1581750585C193702766 @default.
- W1581750585 hasConceptScore W1581750585C195324797 @default.
- W1581750585 hasConceptScore W1581750585C199360897 @default.
- W1581750585 hasConceptScore W1581750585C201677973 @default.
- W1581750585 hasConceptScore W1581750585C2524010 @default.
- W1581750585 hasConceptScore W1581750585C33923547 @default.
- W1581750585 hasConceptScore W1581750585C34165917 @default.
- W1581750585 hasConceptScore W1581750585C41008148 @default.
- W1581750585 hasConceptScore W1581750585C42383842 @default.
- W1581750585 hasConceptScore W1581750585C50033165 @default.
- W1581750585 hasLocation W15817505851 @default.
- W1581750585 hasOpenAccess W1581750585 @default.
- W1581750585 hasPrimaryLocation W15817505851 @default.
- W1581750585 hasRelatedWork W135410659 @default.
- W1581750585 hasRelatedWork W1486691752 @default.
- W1581750585 hasRelatedWork W1503973138 @default.
- W1581750585 hasRelatedWork W1524933607 @default.
- W1581750585 hasRelatedWork W1571962375 @default.
- W1581750585 hasRelatedWork W1592365316 @default.
- W1581750585 hasRelatedWork W1829244603 @default.
- W1581750585 hasRelatedWork W1965724121 @default.
- W1581750585 hasRelatedWork W1975736938 @default.
- W1581750585 hasRelatedWork W1993902337 @default.
- W1581750585 hasRelatedWork W2028870530 @default.
- W1581750585 hasRelatedWork W2122374274 @default.
- W1581750585 hasRelatedWork W2137171730 @default.
- W1581750585 hasRelatedWork W2152540097 @default.
- W1581750585 hasRelatedWork W2165709198 @default.
- W1581750585 hasRelatedWork W2517571436 @default.
- W1581750585 hasRelatedWork W2580520424 @default.
- W1581750585 hasRelatedWork W2652642432 @default.
- W1581750585 hasRelatedWork W2809551600 @default.
- W1581750585 hasRelatedWork W3007190173 @default.
- W1581750585 isParatext "false" @default.
- W1581750585 isRetracted "false" @default.
- W1581750585 magId "1581750585" @default.
- W1581750585 workType "book-chapter" @default.