Matches in SemOpenAlex for { <https://semopenalex.org/work/W4254524081> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W4254524081 endingPage "10" @default.
- W4254524081 startingPage "1" @default.
- W4254524081 abstract "An introduction to the Gypsy programming and specification language is given. Gypsy is a high-level programming language with facilities for general programming and also for systems programming that is oriented toward communications processing. This includes facilities for concurrent processes and process synchronization. Gypsy also contains facilities for detecting and processing errors that are due to the actual running of the program in an imperfect environment. The specification facilities give a precise way of expressing the desired properties of the Gypsy programs. All of the features of Gypsy are fully verifiable, either by formal proof or by validation at run time. An overview of the language design and a detailed example program are given." @default.
- W4254524081 created "2022-05-12" @default.
- W4254524081 creator A5016838876 @default.
- W4254524081 creator A5037567207 @default.
- W4254524081 creator A5044349359 @default.
- W4254524081 creator A5060750581 @default.
- W4254524081 creator A5064143266 @default.
- W4254524081 creator A5064263297 @default.
- W4254524081 creator A5087268411 @default.
- W4254524081 date "1977-03-01" @default.
- W4254524081 modified "2023-10-17" @default.
- W4254524081 title "Gypsy" @default.
- W4254524081 cites W1726105365 @default.
- W4254524081 cites W1971599559 @default.
- W4254524081 cites W2039804807 @default.
- W4254524081 cites W2066210260 @default.
- W4254524081 cites W2079227160 @default.
- W4254524081 cites W2610607207 @default.
- W4254524081 cites W2611219934 @default.
- W4254524081 cites W4232983740 @default.
- W4254524081 cites W4234543429 @default.
- W4254524081 cites W4243281713 @default.
- W4254524081 cites W4296586303 @default.
- W4254524081 doi "https://doi.org/10.1145/390018.808306" @default.
- W4254524081 hasPublicationYear "1977" @default.
- W4254524081 type Work @default.
- W4254524081 citedByCount "0" @default.
- W4254524081 crossrefType "journal-article" @default.
- W4254524081 hasAuthorship W4254524081A5016838876 @default.
- W4254524081 hasAuthorship W4254524081A5037567207 @default.
- W4254524081 hasAuthorship W4254524081A5044349359 @default.
- W4254524081 hasAuthorship W4254524081A5060750581 @default.
- W4254524081 hasAuthorship W4254524081A5064143266 @default.
- W4254524081 hasAuthorship W4254524081A5064263297 @default.
- W4254524081 hasAuthorship W4254524081A5087268411 @default.
- W4254524081 hasBestOaLocation W42545240811 @default.
- W4254524081 hasConcept C119263510 @default.
- W4254524081 hasConcept C127162648 @default.
- W4254524081 hasConcept C15077461 @default.
- W4254524081 hasConcept C177264268 @default.
- W4254524081 hasConcept C177756618 @default.
- W4254524081 hasConcept C18903297 @default.
- W4254524081 hasConcept C199360897 @default.
- W4254524081 hasConcept C201677973 @default.
- W4254524081 hasConcept C2778562939 @default.
- W4254524081 hasConcept C2991775754 @default.
- W4254524081 hasConcept C31258907 @default.
- W4254524081 hasConcept C34165917 @default.
- W4254524081 hasConcept C41008148 @default.
- W4254524081 hasConcept C50033165 @default.
- W4254524081 hasConcept C570499 @default.
- W4254524081 hasConcept C85847156 @default.
- W4254524081 hasConcept C86803240 @default.
- W4254524081 hasConcept C98045186 @default.
- W4254524081 hasConceptScore W4254524081C119263510 @default.
- W4254524081 hasConceptScore W4254524081C127162648 @default.
- W4254524081 hasConceptScore W4254524081C15077461 @default.
- W4254524081 hasConceptScore W4254524081C177264268 @default.
- W4254524081 hasConceptScore W4254524081C177756618 @default.
- W4254524081 hasConceptScore W4254524081C18903297 @default.
- W4254524081 hasConceptScore W4254524081C199360897 @default.
- W4254524081 hasConceptScore W4254524081C201677973 @default.
- W4254524081 hasConceptScore W4254524081C2778562939 @default.
- W4254524081 hasConceptScore W4254524081C2991775754 @default.
- W4254524081 hasConceptScore W4254524081C31258907 @default.
- W4254524081 hasConceptScore W4254524081C34165917 @default.
- W4254524081 hasConceptScore W4254524081C41008148 @default.
- W4254524081 hasConceptScore W4254524081C50033165 @default.
- W4254524081 hasConceptScore W4254524081C570499 @default.
- W4254524081 hasConceptScore W4254524081C85847156 @default.
- W4254524081 hasConceptScore W4254524081C86803240 @default.
- W4254524081 hasConceptScore W4254524081C98045186 @default.
- W4254524081 hasIssue "2" @default.
- W4254524081 hasLocation W42545240811 @default.
- W4254524081 hasOpenAccess W4254524081 @default.
- W4254524081 hasPrimaryLocation W42545240811 @default.
- W4254524081 hasRelatedWork W1974066084 @default.
- W4254524081 hasRelatedWork W1999652909 @default.
- W4254524081 hasRelatedWork W2008516155 @default.
- W4254524081 hasRelatedWork W2039819583 @default.
- W4254524081 hasRelatedWork W2068351696 @default.
- W4254524081 hasRelatedWork W2133376498 @default.
- W4254524081 hasRelatedWork W2356929711 @default.
- W4254524081 hasRelatedWork W3141558467 @default.
- W4254524081 hasRelatedWork W4251866989 @default.
- W4254524081 hasRelatedWork W2216440867 @default.
- W4254524081 hasVolume "11" @default.
- W4254524081 isParatext "false" @default.
- W4254524081 isRetracted "false" @default.
- W4254524081 workType "article" @default.