Search Results - Sequential Programs - Syntax AND Semantics*

Generalized Net Model of Sequential Programs by Todorova, Magdalina, Orozova, Daniela

“… The syntax and semantics of such programs are outlined. In order to define the syntax, reduced generalized nets are used…”
Get full text

Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I by Dillig, Isil, Tasiran, Serdar

“…; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems; Part II: logics, decision procedures; and solvers; numerical programs; verification…”
Get full text

A polynomial algorithm for checking the equivalence in models of programs with commutation and vast operators by Podymov, V.V., Zakharov, V.A.

“…In this paper we study the equivalence problem in the model of sequential programs which assumes that some instructions are commutative and absorbing…”
Get full text

A Java dialect free of data races and without annotations by Mateu, L.

“… JShield preserves the Java syntax and the semantics of sequential Java programs. It modifies the semantics of concurrent programs to completely avoid data races without relying on the programmer ability, and without requiring special annotations…”
Get full text

Correct program parallelisations by Blom, S., Darabi, S., Huisman, M., Safari, M.

“…A commonly used approach to develop deterministic parallel programs is to augment a sequential program with compiler directives that indicate which program blocks may potentially be executed in parallel…”
Get full text

Playful, streamlike computation by Pierre-Louis Curien

“…We offer a short tour into the interactive interpretation of sequential programs…”
Get full text