FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W855382617> ?p ?o ?g. }

• W855382617 abstract "In this thesis we investigate some of the issues involved in creating a reversible variant of the formal software development language B. We consider the effects of regarding computation as a potentially reversible process, yielding a number of new programming structures which we integrate into an implementation-level language RB0, a more expressive variant of B0, the current implementation-level language for B. Since reversibility simplifies garbage collection, in RB0 we make use of more abstract, set-based data types, normally available in B only at the specification level. Similarly, we propose extending the domain of abstract functions currently specifiable in B to allow them to become concrete functions, thereby furnishing B with a functional sub-language. We also investigate expanding the use of Lambda calculus from the abstract stage of B to the implementation. Unlike B0, RB0 will not disallow non-determinism, and can also specify what we call Prospective Value computations (which are described). The executable language implements all of these features. After introducing some preliminary concepts, we review the work leading to the rise of Reversible Computing as a possible answer to the growing problem of energy dissipation in modern processors. We describe the language RB0, and demonstrate the use of its features, introducing the companion language RB1 and its role in the process. We then introduce our execution platform, the Reversible Virtual Machine (RVM), and translate some of the examples developed earlier into RVM code. For the concrete functions, we provide a proposed syntax and translation schema to enable consistent translation to RVM, and introduce a postfix Lambda notation to link the RB0 specification to the RVM’s own postfix notation. We provide comprehensive translation schemas for those parts of RB0 which would be found in B operations; these will form the basis of an automated translation engine. In addition, we look at a denotational semantics for Bunch theory, which has proved useful in formalising the underlying concepts." @default.
• W855382617 created "2016-06-24" @default.
• W855382617 creator A5027542565 @default.
• W855382617 date "2011-02-01" @default.
• W855382617 modified "2023-09-28" @default.
• W855382617 title "Expressive Reversible Language: Aspects of Semantics and Implementation" @default.
• W855382617 cites W1572156610 @default.
• W855382617 cites W1582634391 @default.
• W855382617 cites W1606027647 @default.
• W855382617 cites W1967919774 @default.
• W855382617 cites W1977333667 @default.
• W855382617 cites W1999426543 @default.
• W855382617 cites W2030865387 @default.
• W855382617 cites W2031433874 @default.
• W855382617 cites W2034373223 @default.
• W855382617 cites W2081945419 @default.
• W855382617 cites W2103953153 @default.
• W855382617 cites W2105259569 @default.
• W855382617 cites W2112450120 @default.
• W855382617 cites W2149158279 @default.
• W855382617 cites W2162361778 @default.
• W855382617 cites W2912117092 @default.
• W855382617 cites W2912318510 @default.
• W855382617 cites W2122472280 @default.
• W855382617 hasPublicationYear "2011" @default.
• W855382617 type Work @default.
• W855382617 sameAs 855382617 @default.
• W855382617 citedByCount "0" @default.
• W855382617 crossrefType "dissertation" @default.
• W855382617 hasAuthorship W855382617A5027542565 @default.
• W855382617 hasConcept C154945302 @default.
• W855382617 hasConcept C160145156 @default.
• W855382617 hasConcept C184337299 @default.
• W855382617 hasConcept C199360897 @default.
• W855382617 hasConcept C41008148 @default.
• W855382617 hasConcept C42383842 @default.
• W855382617 hasConcept C60048249 @default.
• W855382617 hasConcept C80444323 @default.
• W855382617 hasConceptScore W855382617C154945302 @default.
• W855382617 hasConceptScore W855382617C160145156 @default.
• W855382617 hasConceptScore W855382617C184337299 @default.
• W855382617 hasConceptScore W855382617C199360897 @default.
• W855382617 hasConceptScore W855382617C41008148 @default.
• W855382617 hasConceptScore W855382617C42383842 @default.
• W855382617 hasConceptScore W855382617C60048249 @default.
• W855382617 hasConceptScore W855382617C80444323 @default.
• W855382617 hasLocation W8553826171 @default.
• W855382617 hasOpenAccess W855382617 @default.
• W855382617 hasPrimaryLocation W8553826171 @default.
• W855382617 hasRelatedWork W1512292014 @default.
• W855382617 hasRelatedWork W1544662935 @default.
• W855382617 hasRelatedWork W1556147531 @default.
• W855382617 hasRelatedWork W1590701233 @default.
• W855382617 hasRelatedWork W1887978120 @default.
• W855382617 hasRelatedWork W1981280281 @default.
• W855382617 hasRelatedWork W2002819036 @default.
• W855382617 hasRelatedWork W2003545826 @default.
• W855382617 hasRelatedWork W2016914525 @default.
• W855382617 hasRelatedWork W2057925568 @default.
• W855382617 hasRelatedWork W2083558476 @default.
• W855382617 hasRelatedWork W2121300535 @default.
• W855382617 hasRelatedWork W2184829664 @default.
• W855382617 hasRelatedWork W2345905986 @default.
• W855382617 hasRelatedWork W2521372624 @default.
• W855382617 hasRelatedWork W280085348 @default.
• W855382617 hasRelatedWork W3022507049 @default.
• W855382617 hasRelatedWork W3137319137 @default.
• W855382617 hasRelatedWork W3167938669 @default.
• W855382617 hasRelatedWork W3210485739 @default.
• W855382617 isParatext "false" @default.
• W855382617 isRetracted "false" @default.
• W855382617 magId "855382617" @default.
• W855382617 workType "dissertation" @default.