Suchergebnisse - "Specify- ing and Verifying and Reasoning about Programs—Specification Techniques"

Persistent Queries in the Behavioral Theory of Algorithms

Autoren: Andreas Blass Yuri Gurevich The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Andreas Blass Yuri Gurevich The Pennsylvania State University CiteSeerX Archives

Quelle: http://research.microsoft.com/en-us/um/people/gurevich/opera/196.pdf.

Schlagwörter: Categories and Subject Descriptors, F.1.1 [Computation by Abstract Devices, Models of Computation—Bounded-action devices, F.3.1 [Logics and Meanings of Programs, Specify- ing and Verifying and Reasoning about Programs—Specification Techniques, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages—Operational semantics, I.6.1 [Computing Methodologies, Simulation and Modeling—Simulation Theory General Terms, Algorithms, Languages, Theory, Verification Additional Key Words and Phrases, abstract state machines, interactive algorithms, sequential algorithms, small-step algorithms

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.601.6169

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.601.6169
http://research.microsoft.com/en-us/um/people/gurevich/opera/196.pdf