Matches in SemOpenAlex for { <https://semopenalex.org/work/W292578879> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W292578879 abstract "This research demonstrates that formal, mathematical analysis in theoretical computer science can be recast in terms of the topology of complete metric spaces, and also presents a methodical technique for developing formal specifications. This effort shows that the topology of complete metric spaces provides a tool that can be used to both recreate major results about computational models and also to develop new results about these models. Using the two computational models CSP and UNITY, this effort shows that the required mathematics needed to support this alternative to the traditional analysis of computational models can be readily supported by a standard course sequence in real analysis.Since the approach of proving programs correct after being written has not been widely accepted, this effort presents an alternative approach based on the developed topological framework for the formal specification language UNITY. This approach, designed to be automated, uses a set of transformations applied to UNITY specifications that preserve desired program properties." @default.
- W292578879 created "2016-06-24" @default.
- W292578879 creator A5046969822 @default.
- W292578879 date "1992-01-01" @default.
- W292578879 modified "2023-09-27" @default.
- W292578879 title "A topological model for parallel algorithm design" @default.
- W292578879 hasPublicationYear "1992" @default.
- W292578879 type Work @default.
- W292578879 sameAs 292578879 @default.
- W292578879 citedByCount "0" @default.
- W292578879 crossrefType "journal-article" @default.
- W292578879 hasAuthorship W292578879A5046969822 @default.
- W292578879 hasConcept C11413529 @default.
- W292578879 hasConcept C114614502 @default.
- W292578879 hasConcept C116253237 @default.
- W292578879 hasConcept C134306372 @default.
- W292578879 hasConcept C162324750 @default.
- W292578879 hasConcept C176217482 @default.
- W292578879 hasConcept C177264268 @default.
- W292578879 hasConcept C184720557 @default.
- W292578879 hasConcept C199360897 @default.
- W292578879 hasConcept C21547014 @default.
- W292578879 hasConcept C2776542497 @default.
- W292578879 hasConcept C2778112365 @default.
- W292578879 hasConcept C33923547 @default.
- W292578879 hasConcept C41008148 @default.
- W292578879 hasConcept C54355233 @default.
- W292578879 hasConcept C75606506 @default.
- W292578879 hasConcept C80444323 @default.
- W292578879 hasConcept C86803240 @default.
- W292578879 hasConceptScore W292578879C11413529 @default.
- W292578879 hasConceptScore W292578879C114614502 @default.
- W292578879 hasConceptScore W292578879C116253237 @default.
- W292578879 hasConceptScore W292578879C134306372 @default.
- W292578879 hasConceptScore W292578879C162324750 @default.
- W292578879 hasConceptScore W292578879C176217482 @default.
- W292578879 hasConceptScore W292578879C177264268 @default.
- W292578879 hasConceptScore W292578879C184720557 @default.
- W292578879 hasConceptScore W292578879C199360897 @default.
- W292578879 hasConceptScore W292578879C21547014 @default.
- W292578879 hasConceptScore W292578879C2776542497 @default.
- W292578879 hasConceptScore W292578879C2778112365 @default.
- W292578879 hasConceptScore W292578879C33923547 @default.
- W292578879 hasConceptScore W292578879C41008148 @default.
- W292578879 hasConceptScore W292578879C54355233 @default.
- W292578879 hasConceptScore W292578879C75606506 @default.
- W292578879 hasConceptScore W292578879C80444323 @default.
- W292578879 hasConceptScore W292578879C86803240 @default.
- W292578879 hasLocation W2925788791 @default.
- W292578879 hasOpenAccess W292578879 @default.
- W292578879 hasPrimaryLocation W2925788791 @default.
- W292578879 hasRelatedWork W129071581 @default.
- W292578879 hasRelatedWork W1527107169 @default.
- W292578879 hasRelatedWork W1530366976 @default.
- W292578879 hasRelatedWork W1535013086 @default.
- W292578879 hasRelatedWork W1675366856 @default.
- W292578879 hasRelatedWork W1753881448 @default.
- W292578879 hasRelatedWork W1799055964 @default.
- W292578879 hasRelatedWork W1976721987 @default.
- W292578879 hasRelatedWork W2030310417 @default.
- W292578879 hasRelatedWork W2144455775 @default.
- W292578879 hasRelatedWork W2149622766 @default.
- W292578879 hasRelatedWork W2185845013 @default.
- W292578879 hasRelatedWork W2276617767 @default.
- W292578879 hasRelatedWork W2806413451 @default.
- W292578879 hasRelatedWork W2900434686 @default.
- W292578879 hasRelatedWork W2939335996 @default.
- W292578879 hasRelatedWork W3171924103 @default.
- W292578879 hasRelatedWork W3203050594 @default.
- W292578879 hasRelatedWork W8063162 @default.
- W292578879 hasRelatedWork W956644824 @default.
- W292578879 isParatext "false" @default.
- W292578879 isRetracted "false" @default.
- W292578879 magId "292578879" @default.
- W292578879 workType "article" @default.