Behavioural theory of reflective algorithms I: Reflective sequential algorithms
Klaus‐Dieter Schewe, Flavio Ferrarotti
Topics & Concepts
Computer scienceAlgorithmAbstract state machinesRepresentation (politics)Bounded functionState (computer science)Class (philosophy)Set (abstract data type)Reflection (computer programming)Finite-state machineTheoretical computer scienceArtificial intelligenceMathematicsProgramming languagePoliticsPolitical scienceMathematical analysisLawFormal Methods in VerificationLogic, Reasoning, and KnowledgeLogic, programming, and type systems