Specification transformers: a predicate transformer approach to composition

ISSN： 0001-5903

Source： Acta Informatica, Vol.40, Iss.4, 2004-02, pp. : 265-301

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Related content

Predicate transformers and higher-order programs

By Naumann D.A.

Theoretical Computer Science, Vol. 150, Iss. 1, 1995-10 ,pp. : 111-159

Elsevier

Access to resources Recommend Favorite

Formalizing Dijkstra's predicate transformer wp in weak second-order logic

By Berghammer R. Elbl B. Schmerl U.

Theoretical Computer Science, Vol. 146, Iss. 1, 1995-07 ,pp. : 185-197

Elsevier

Access to resources Recommend Favorite

A Logical Approach to Quality of Service Specification in Video Databases

By Bertino Elisa Elmagarmid Ahmed K. Hacid Mohand-Saïd

Multimedia Tools and Applications, Vol. 23, Iss. 2, 2004-06 ,pp. : 75-101

Springer Publishing Company

Access to resources Recommend Favorite

An approach to formal specification and verification of map-centered applications

By Nelson M.A.V. Alencar P.S.C. Cowan D.D.

Environmental Modelling and Software, Vol. 16, Iss. 5, 2001-07 ,pp. : 459-465

Elsevier

Access to resources Recommend Favorite

An approach for the offer specification process for customised products

By Reinhart G. Wiedemann M. Rimpau C.

International Journal of Computer Integrated Manufacturing, Vol. 22, Iss. 1, 2009-01 ,pp. : 69-82

Taylor & Francis Ltd

Access to resources Recommend Favorite