Matches in SemOpenAlex for { <https://semopenalex.org/work/W4281566128> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W4281566128 endingPage "102830" @default.
- W4281566128 startingPage "102830" @default.
- W4281566128 abstract "We develop a behavioural theory of reflective sequential algorithms (RSAs), i.e. sequential algorithms that can modify their own behaviour. The theory comprises a set of language-independent postulates defining the class of RSAs, an abstract machine model, and the proof that all RSAs are captured by this machine model. As in Gurevich's behavioural theory for sequential algorithms RSAs are sequential-time, bounded parallel algorithms, where the bound depends on the algorithm only and not on the input. Different from the class of sequential algorithms every state of an RSA includes a representation of the algorithm in that state, thus enabling linguistic reflection. Bounded exploration is preserved using terms as values. The model of reflective sequential abstract state machines (rsASMs) extends sequential ASMs using extended states that include an updatable representation of the main ASM rule to be executed by the machine in that state. Updates to the representation of ASM signatures and rules are realised by means of a sophisticated tree algebra." @default.
- W4281566128 created "2022-05-27" @default.
- W4281566128 creator A5070089969 @default.
- W4281566128 creator A5084401124 @default.
- W4281566128 date "2022-08-01" @default.
- W4281566128 modified "2023-10-16" @default.
- W4281566128 title "Preface – Selected papers from the 23rd Brazilian Symposium on Formal Methods – SBMF 2020" @default.
- W4281566128 doi "https://doi.org/10.1016/j.scico.2022.102830" @default.
- W4281566128 hasPublicationYear "2022" @default.
- W4281566128 type Work @default.
- W4281566128 citedByCount "0" @default.
- W4281566128 crossrefType "journal-article" @default.
- W4281566128 hasAuthorship W4281566128A5070089969 @default.
- W4281566128 hasAuthorship W4281566128A5084401124 @default.
- W4281566128 hasConcept C113174947 @default.
- W4281566128 hasConcept C11413529 @default.
- W4281566128 hasConcept C134306372 @default.
- W4281566128 hasConcept C145243422 @default.
- W4281566128 hasConcept C154945302 @default.
- W4281566128 hasConcept C167822520 @default.
- W4281566128 hasConcept C177264268 @default.
- W4281566128 hasConcept C17744445 @default.
- W4281566128 hasConcept C199360897 @default.
- W4281566128 hasConcept C199539241 @default.
- W4281566128 hasConcept C2776359362 @default.
- W4281566128 hasConcept C2777212361 @default.
- W4281566128 hasConcept C33923547 @default.
- W4281566128 hasConcept C34388435 @default.
- W4281566128 hasConcept C41008148 @default.
- W4281566128 hasConcept C48103436 @default.
- W4281566128 hasConcept C65682993 @default.
- W4281566128 hasConcept C80444323 @default.
- W4281566128 hasConcept C94625758 @default.
- W4281566128 hasConceptScore W4281566128C113174947 @default.
- W4281566128 hasConceptScore W4281566128C11413529 @default.
- W4281566128 hasConceptScore W4281566128C134306372 @default.
- W4281566128 hasConceptScore W4281566128C145243422 @default.
- W4281566128 hasConceptScore W4281566128C154945302 @default.
- W4281566128 hasConceptScore W4281566128C167822520 @default.
- W4281566128 hasConceptScore W4281566128C177264268 @default.
- W4281566128 hasConceptScore W4281566128C17744445 @default.
- W4281566128 hasConceptScore W4281566128C199360897 @default.
- W4281566128 hasConceptScore W4281566128C199539241 @default.
- W4281566128 hasConceptScore W4281566128C2776359362 @default.
- W4281566128 hasConceptScore W4281566128C2777212361 @default.
- W4281566128 hasConceptScore W4281566128C33923547 @default.
- W4281566128 hasConceptScore W4281566128C34388435 @default.
- W4281566128 hasConceptScore W4281566128C41008148 @default.
- W4281566128 hasConceptScore W4281566128C48103436 @default.
- W4281566128 hasConceptScore W4281566128C65682993 @default.
- W4281566128 hasConceptScore W4281566128C80444323 @default.
- W4281566128 hasConceptScore W4281566128C94625758 @default.
- W4281566128 hasLocation W42815661281 @default.
- W4281566128 hasOpenAccess W4281566128 @default.
- W4281566128 hasPrimaryLocation W42815661281 @default.
- W4281566128 hasRelatedWork W104379926 @default.
- W4281566128 hasRelatedWork W1838372604 @default.
- W4281566128 hasRelatedWork W1881902103 @default.
- W4281566128 hasRelatedWork W2010504155 @default.
- W4281566128 hasRelatedWork W2068266569 @default.
- W4281566128 hasRelatedWork W2166829200 @default.
- W4281566128 hasRelatedWork W2373258985 @default.
- W4281566128 hasRelatedWork W2500890632 @default.
- W4281566128 hasRelatedWork W3120723052 @default.
- W4281566128 hasRelatedWork W2081083792 @default.
- W4281566128 hasVolume "220" @default.
- W4281566128 isParatext "false" @default.
- W4281566128 isRetracted "false" @default.
- W4281566128 workType "article" @default.