Matches in SemOpenAlex for { <https://semopenalex.org/work/W4247651911> ?p ?o ?g. }
Showing items 1 to 58 of
58
with 100 items per page.
- W4247651911 endingPage "123" @default.
- W4247651911 startingPage "119" @default.
- W4247651911 abstract "article Free Access Share on A framework for program verification in the context of linked structures and pointer variables Author: Tom Whaley View Profile Authors Info & Claims ACM SIGCSE BulletinVolume 23Issue 1Mar. 1991 pp 119–123https://doi.org/10.1145/107005.107027Published:01 March 1991Publication History 0citation147DownloadsMetricsTotal Citations0Total Downloads147Last 12 Months15Last 6 weeks4 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my Alerts New Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF" @default.
- W4247651911 created "2022-05-12" @default.
- W4247651911 creator A5068607452 @default.
- W4247651911 date "1991-03-01" @default.
- W4247651911 modified "2023-10-17" @default.
- W4247651911 title "A framework for program verification in the context of linked structures and pointer variables" @default.
- W4247651911 cites W1523346282 @default.
- W4247651911 cites W1554161785 @default.
- W4247651911 cites W2095224573 @default.
- W4247651911 cites W2132058442 @default.
- W4247651911 cites W2147543351 @default.
- W4247651911 doi "https://doi.org/10.1145/107005.107027" @default.
- W4247651911 hasPublicationYear "1991" @default.
- W4247651911 type Work @default.
- W4247651911 citedByCount "0" @default.
- W4247651911 crossrefType "journal-article" @default.
- W4247651911 hasAuthorship W4247651911A5068607452 @default.
- W4247651911 hasBestOaLocation W42476519111 @default.
- W4247651911 hasConcept C136764020 @default.
- W4247651911 hasConcept C150202949 @default.
- W4247651911 hasConcept C154945302 @default.
- W4247651911 hasConcept C166957645 @default.
- W4247651911 hasConcept C199360897 @default.
- W4247651911 hasConcept C23123220 @default.
- W4247651911 hasConcept C2778805511 @default.
- W4247651911 hasConcept C2779343474 @default.
- W4247651911 hasConcept C41008148 @default.
- W4247651911 hasConcept C95457728 @default.
- W4247651911 hasConceptScore W4247651911C136764020 @default.
- W4247651911 hasConceptScore W4247651911C150202949 @default.
- W4247651911 hasConceptScore W4247651911C154945302 @default.
- W4247651911 hasConceptScore W4247651911C166957645 @default.
- W4247651911 hasConceptScore W4247651911C199360897 @default.
- W4247651911 hasConceptScore W4247651911C23123220 @default.
- W4247651911 hasConceptScore W4247651911C2778805511 @default.
- W4247651911 hasConceptScore W4247651911C2779343474 @default.
- W4247651911 hasConceptScore W4247651911C41008148 @default.
- W4247651911 hasConceptScore W4247651911C95457728 @default.
- W4247651911 hasIssue "1" @default.
- W4247651911 hasLocation W42476519111 @default.
- W4247651911 hasOpenAccess W4247651911 @default.
- W4247651911 hasPrimaryLocation W42476519111 @default.
- W4247651911 hasRelatedWork W2112962394 @default.
- W4247651911 hasRelatedWork W2118300983 @default.
- W4247651911 hasRelatedWork W2382501300 @default.
- W4247651911 hasRelatedWork W2748952813 @default.
- W4247651911 hasRelatedWork W3137189469 @default.
- W4247651911 hasRelatedWork W3162240892 @default.
- W4247651911 hasRelatedWork W4235530921 @default.
- W4247651911 hasRelatedWork W4237187719 @default.
- W4247651911 hasRelatedWork W4241634182 @default.
- W4247651911 hasRelatedWork W4243252198 @default.
- W4247651911 hasVolume "23" @default.
- W4247651911 isParatext "false" @default.
- W4247651911 isRetracted "false" @default.
- W4247651911 workType "article" @default.