Matches in SemOpenAlex for { <https://semopenalex.org/work/W2005435227> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2005435227 abstract "A totally verified system consists of a meaning preserving compiler and hardware that correctly interprets the resulting machine code. This paper describes work in progress towards this goal using MiniSML, a small functional language, and the SECD machine. A functional language was used to facilitate software proofs, and the SECD machine was chosen as it was the best documented machine when we began this work. This paper outlines a (hand) proof of the correctness of a translator from MiniSML to SECD machine code and a mechanised HOL proof of the hardware which realises the abstract SECD machine. To achieve a totally verified system, further work is required to mechanise the translator proof and tie it directly to the machine proof, and to recognise the constraints of the machine (i.e. memory capacity) at the software level." @default.
- W2005435227 created "2016-06-24" @default.
- W2005435227 creator A5018758509 @default.
- W2005435227 creator A5051625762 @default.
- W2005435227 creator A5066372559 @default.
- W2005435227 date "1993-01-01" @default.
- W2005435227 modified "2023-09-24" @default.
- W2005435227 title "Towards a verified MiniSML/SECD system" @default.
- W2005435227 cites W1518675260 @default.
- W2005435227 cites W1524744826 @default.
- W2005435227 cites W1568333396 @default.
- W2005435227 cites W1593280365 @default.
- W2005435227 cites W1647784576 @default.
- W2005435227 cites W1864574667 @default.
- W2005435227 cites W2501958301 @default.
- W2005435227 cites W4206362261 @default.
- W2005435227 doi "https://doi.org/10.1049/sej.1993.0019" @default.
- W2005435227 hasPublicationYear "1993" @default.
- W2005435227 type Work @default.
- W2005435227 sameAs 2005435227 @default.
- W2005435227 citedByCount "2" @default.
- W2005435227 crossrefType "journal-article" @default.
- W2005435227 hasAuthorship W2005435227A5018758509 @default.
- W2005435227 hasAuthorship W2005435227A5051625762 @default.
- W2005435227 hasAuthorship W2005435227A5066372559 @default.
- W2005435227 hasConcept C108710211 @default.
- W2005435227 hasConcept C115168132 @default.
- W2005435227 hasConcept C169590947 @default.
- W2005435227 hasConcept C17435882 @default.
- W2005435227 hasConcept C199360897 @default.
- W2005435227 hasConcept C2524010 @default.
- W2005435227 hasConcept C2777904410 @default.
- W2005435227 hasConcept C33923547 @default.
- W2005435227 hasConcept C41008148 @default.
- W2005435227 hasConcept C55439883 @default.
- W2005435227 hasConceptScore W2005435227C108710211 @default.
- W2005435227 hasConceptScore W2005435227C115168132 @default.
- W2005435227 hasConceptScore W2005435227C169590947 @default.
- W2005435227 hasConceptScore W2005435227C17435882 @default.
- W2005435227 hasConceptScore W2005435227C199360897 @default.
- W2005435227 hasConceptScore W2005435227C2524010 @default.
- W2005435227 hasConceptScore W2005435227C2777904410 @default.
- W2005435227 hasConceptScore W2005435227C33923547 @default.
- W2005435227 hasConceptScore W2005435227C41008148 @default.
- W2005435227 hasConceptScore W2005435227C55439883 @default.
- W2005435227 hasLocation W20054352271 @default.
- W2005435227 hasOpenAccess W2005435227 @default.
- W2005435227 hasPrimaryLocation W20054352271 @default.
- W2005435227 hasRelatedWork W1524949966 @default.
- W2005435227 hasRelatedWork W1527862632 @default.
- W2005435227 hasRelatedWork W1856298237 @default.
- W2005435227 hasRelatedWork W1869570006 @default.
- W2005435227 hasRelatedWork W2026348235 @default.
- W2005435227 hasRelatedWork W2028992386 @default.
- W2005435227 hasRelatedWork W2046123638 @default.
- W2005435227 hasRelatedWork W2052170077 @default.
- W2005435227 hasRelatedWork W2147621305 @default.
- W2005435227 hasRelatedWork W2155757092 @default.
- W2005435227 hasRelatedWork W2158157318 @default.
- W2005435227 hasRelatedWork W2307785417 @default.
- W2005435227 hasRelatedWork W2503915927 @default.
- W2005435227 hasRelatedWork W2995886043 @default.
- W2005435227 hasRelatedWork W3198532889 @default.
- W2005435227 hasRelatedWork W3206372660 @default.
- W2005435227 hasRelatedWork W838900202 @default.
- W2005435227 hasRelatedWork W953833323 @default.
- W2005435227 hasRelatedWork W2120014273 @default.
- W2005435227 hasRelatedWork W2555958265 @default.
- W2005435227 isParatext "false" @default.
- W2005435227 isRetracted "false" @default.
- W2005435227 magId "2005435227" @default.
- W2005435227 workType "article" @default.