An important approach to semantics, pioneered by Floyd, Hoare, and Wirth, is called assertion semantics: given a specification of which assertions (preconditions) on input data should guarantee that the results satisfy desired assertions (postconditions) on output data, one seeks a logical proof that the program satisfies its specification.
Read More
An important approach to semantics, pioneered by Floyd, Hoare, and Wirth, is called assertion semantics: given a specification of which assertions (preconditions) on input data should guarantee that the results satisfy desired assertions (postconditions) on output data, one seeks a logical proof that the program satisfies its specification.
Read Less
Add this copy of Algebraic Approaches to Program Semantics to cart. $88.53, new condition, Sold by Educational Media Centre rated 4.0 out of 5 stars, ships from New Delhi, DELHI, INDIA, published 2014 by Springer-Verlag New York Inc..
Add this copy of Algebraic Approaches to Program Semantics to cart. $90.73, new condition, Sold by Basi6 International rated 5.0 out of 5 stars, ships from Irving, TX, UNITED STATES, published 2014 by Springer-Verlag New York Inc..
Add this copy of Algebraic Approaches to Program Semantics to cart. $102.93, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2014 by Springer-Verlag New York Inc..
Add this copy of Algebraic Approaches to Program Semantics to cart. $102.94, new condition, Sold by Basi6 International rated 5.0 out of 5 stars, ships from Irving, TX, UNITED STATES, published 2014 by Springer-Verlag New York Inc..
Add this copy of Algebraic Approaches to Program Semantics (Monographs to cart. $130.53, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 2014 by Springer.
Add this copy of Algebraic Approaches to Program Semantics (Monographs to cart. $180.71, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1986 by Springer.
Add this copy of Algebraic Approaches to Program Semantics (Monographs to cart. $240.38, new condition, Sold by Just one more Chapter rated 4.0 out of 5 stars, ships from Miramar, FL, UNITED STATES, published 1986 by Springer.
