Related content

Towards Verification of C Programs: Axiomatic Semantics of the C-kernel Language

By Nepomniaschy V. A.   Anureev I. S.   Promskii A. V.  

Programming and Computer Software, Vol. 29, Iss. 6, 2003-11 ,pp. : 338-350

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite

Using Kolmogorov Complexity to Study the Coevolution of Header Files and Source Files of C-alike Programs

By  

International Journal of Knowledge and Systems Science (IJKSS), Vol. 8, Iss. 2, 2017-04 ,pp. : 17-26

IGI Global_journal

Access to resources Recommend Favorite

A Simulation Model of the Price Bargaining Rules in Vertical Relationships

By Duvallet J.   Garapin A.   Hollard M.   Llerena D.  

Computational Economics, Vol. 23, Iss. 2, 2004-03 ,pp. : 121-145

Springer Publishing Company

Access to resources Recommend Favorite

Tracing Prolog programs by source instrumentation is efficient enough

By Ducasse M.   Noye J.  

The Journal of Logic Programming, Vol. 43, Iss. 2, 2000-05 ,pp. : 157-172

Elsevier

Access to resources Recommend Favorite

Building an Association Rules Framework to Improve Product Assortment Decisions

By Brijs Tom   Swinnen Gilbert   Vanhoof Koen   Wets Geert  

Data Mining and Knowledge Discovery, Vol. 8, Iss. 1, 2004-01 ,pp. : 7-23

Springer Publishing Company

Access to resources Recommend Favorite