FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Generic Graph Semantics

Author: Nachum Dershowitz

Paper Information

Title:Generic Graph Semantics
Authors:Nachum Dershowitz
Proceedings:DCM DCM Pre-proceedingsd
Editor: Sandra Alves
Keywords:semantics, nondeterminism, abstract state machine
Abstract:

ABSTRACT. The goal of this ongoing investigations is a more general, more flexible, and more precise generic language for describing algorithms than ordinary sequential abstract state machines. More general, since it will incorporate greater nondeterminism. More flexible, because it allows sequences of assignments in a single step. More precise, on account of the exact control over the order in which values are accessed and the number of times they each are.

Pages:16
Talk:Jul 08 16:00 (Session 42C)
Paper: