Matches in SemOpenAlex for { <https://semopenalex.org/work/W2355140909> ?p ?o ?g. }
Showing items 1 to 47 of
47
with 100 items per page.
- W2355140909 abstract "Pointer is an important data type in most programming languages. It can make programs more efficient and more elegant. Unfortunately, this important concept is always notorious for its timelessness. Until now, no proper way to formalize it in temporal logic language has been found. XYZ/E is a temporal logic system as well as a programming language. It can represent almost every kind of significant features in conventional imperative languages. This paper is devoted to the representation of pointer in language XYZ/E and the verification of XYZ/SE programs with pointers." @default.
- W2355140909 created "2016-06-24" @default.
- W2355140909 creator A5059576901 @default.
- W2355140909 date "2000-01-01" @default.
- W2355140909 modified "2023-09-23" @default.
- W2355140909 title "Formalization and Verification of Pointers in the TemporalLogic Language XYZ/E Programs" @default.
- W2355140909 hasPublicationYear "2000" @default.
- W2355140909 type Work @default.
- W2355140909 sameAs 2355140909 @default.
- W2355140909 citedByCount "0" @default.
- W2355140909 crossrefType "journal-article" @default.
- W2355140909 hasAuthorship W2355140909A5059576901 @default.
- W2355140909 hasConcept C128838566 @default.
- W2355140909 hasConcept C150202949 @default.
- W2355140909 hasConcept C154945302 @default.
- W2355140909 hasConcept C199360897 @default.
- W2355140909 hasConcept C41008148 @default.
- W2355140909 hasConceptScore W2355140909C128838566 @default.
- W2355140909 hasConceptScore W2355140909C150202949 @default.
- W2355140909 hasConceptScore W2355140909C154945302 @default.
- W2355140909 hasConceptScore W2355140909C199360897 @default.
- W2355140909 hasConceptScore W2355140909C41008148 @default.
- W2355140909 hasOpenAccess W2355140909 @default.
- W2355140909 hasRelatedWork W1497998981 @default.
- W2355140909 hasRelatedWork W1519812352 @default.
- W2355140909 hasRelatedWork W1544080117 @default.
- W2355140909 hasRelatedWork W1589626348 @default.
- W2355140909 hasRelatedWork W1975736938 @default.
- W2355140909 hasRelatedWork W2051895080 @default.
- W2355140909 hasRelatedWork W2062644632 @default.
- W2355140909 hasRelatedWork W2169961956 @default.
- W2355140909 hasRelatedWork W2217148334 @default.
- W2355140909 hasRelatedWork W2222600588 @default.
- W2355140909 hasRelatedWork W2468914721 @default.
- W2355140909 hasRelatedWork W2580520424 @default.
- W2355140909 hasRelatedWork W2662358650 @default.
- W2355140909 hasRelatedWork W2888222392 @default.
- W2355140909 hasRelatedWork W2892023420 @default.
- W2355140909 hasRelatedWork W3107077096 @default.
- W2355140909 hasRelatedWork W3140463248 @default.
- W2355140909 hasRelatedWork W635351216 @default.
- W2355140909 hasRelatedWork W86717647 @default.
- W2355140909 hasRelatedWork W91042594 @default.
- W2355140909 isParatext "false" @default.
- W2355140909 isRetracted "false" @default.
- W2355140909 magId "2355140909" @default.
- W2355140909 workType "article" @default.