Matches in SemOpenAlex for { <https://semopenalex.org/work/W1566283588> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W1566283588 abstract "The paper describes ongoing work on a facet of software specification, namely system configuration, i.e. the specification of the structure of the system and of the operations needed to build it. We want to verify the adequacy of Higher Order Typed Functional Languages (HOTFULs), like Pebble [Lampson&Burstall 88], SOL [Mitchell&Plotkin 85] and other [Cardelli 85, Cardelli&Wegner 85], to model the configuration facilities of modern languages for system programming like Ada, Chill and Modula-2: no thorough study has been done in this direction, even if the literature is full of small scale sketches, which are used to claim that such languages are indeed adequate. We are using the new configuration concepts for distributed systems introduced on top of Ada in the Cnet project [Inverardi&Mazzanti&Montangero 85, Cnet 85] as a case study, since they provide a good test bed being an enhancement of Ada advanced configuration facilities." @default.
- W1566283588 created "2016-06-24" @default.
- W1566283588 creator A5039484805 @default.
- W1566283588 creator A5061775832 @default.
- W1566283588 creator A5086707385 @default.
- W1566283588 date "1989-01-01" @default.
- W1566283588 modified "2023-09-26" @default.
- W1566283588 title "Is type checking practical for system configuration?" @default.
- W1566283588 cites W1874450173 @default.
- W1566283588 cites W1984807151 @default.
- W1566283588 cites W2013000017 @default.
- W1566283588 cites W2027657506 @default.
- W1566283588 cites W2039123207 @default.
- W1566283588 cites W2093107912 @default.
- W1566283588 cites W2124798629 @default.
- W1566283588 cites W2151520617 @default.
- W1566283588 cites W4206551943 @default.
- W1566283588 doi "https://doi.org/10.1007/3-540-50940-2_40" @default.
- W1566283588 hasPublicationYear "1989" @default.
- W1566283588 type Work @default.
- W1566283588 sameAs 1566283588 @default.
- W1566283588 citedByCount "2" @default.
- W1566283588 crossrefType "book-chapter" @default.
- W1566283588 hasAuthorship W1566283588A5039484805 @default.
- W1566283588 hasAuthorship W1566283588A5061775832 @default.
- W1566283588 hasAuthorship W1566283588A5086707385 @default.
- W1566283588 hasBestOaLocation W15662835881 @default.
- W1566283588 hasConcept C115903868 @default.
- W1566283588 hasConcept C199360897 @default.
- W1566283588 hasConcept C2777904410 @default.
- W1566283588 hasConcept C31258907 @default.
- W1566283588 hasConcept C41008148 @default.
- W1566283588 hasConcept C78873551 @default.
- W1566283588 hasConceptScore W1566283588C115903868 @default.
- W1566283588 hasConceptScore W1566283588C199360897 @default.
- W1566283588 hasConceptScore W1566283588C2777904410 @default.
- W1566283588 hasConceptScore W1566283588C31258907 @default.
- W1566283588 hasConceptScore W1566283588C41008148 @default.
- W1566283588 hasConceptScore W1566283588C78873551 @default.
- W1566283588 hasLocation W15662835881 @default.
- W1566283588 hasOpenAccess W1566283588 @default.
- W1566283588 hasPrimaryLocation W15662835881 @default.
- W1566283588 hasRelatedWork W1152386366 @default.
- W1566283588 hasRelatedWork W1480682384 @default.
- W1566283588 hasRelatedWork W1815286906 @default.
- W1566283588 hasRelatedWork W1846598642 @default.
- W1566283588 hasRelatedWork W2001840915 @default.
- W1566283588 hasRelatedWork W2005479465 @default.
- W1566283588 hasRelatedWork W2015901886 @default.
- W1566283588 hasRelatedWork W2044043242 @default.
- W1566283588 hasRelatedWork W2081047328 @default.
- W1566283588 hasRelatedWork W2082578089 @default.
- W1566283588 hasRelatedWork W2084300257 @default.
- W1566283588 hasRelatedWork W2121271252 @default.
- W1566283588 hasRelatedWork W2148596898 @default.
- W1566283588 hasRelatedWork W2167022220 @default.
- W1566283588 hasRelatedWork W2273989711 @default.
- W1566283588 hasRelatedWork W2354050238 @default.
- W1566283588 hasRelatedWork W2356636841 @default.
- W1566283588 hasRelatedWork W2365623834 @default.
- W1566283588 hasRelatedWork W2366425078 @default.
- W1566283588 hasRelatedWork W2986162417 @default.
- W1566283588 isParatext "false" @default.
- W1566283588 isRetracted "false" @default.
- W1566283588 magId "1566283588" @default.
- W1566283588 workType "book-chapter" @default.