A shared library is a file that contains library code and data in binary form. Application built against the library references the data via symbols and the contents of what’s being referenced get known only during the application startup. Library is shipped with header file(s) the program

This paper focuses on the robustness problem of full implication triple implication inference method for fuzzy reasoning. First of all, based on strong regular implication, the weighted logic metric for measuring distance between two fuzzy sets is proposed. Besides, under this metric, some robustness results of the triple implication method are obtained, which demonstrates that the triple impli...

The dietary reference intake (DRI) committees of the Food and Nutrition Board of the Institute of Medicine were charged with establishing DRIs for all of the essential nutrients, including fat and energy. These reference values are quantitative estimates of the nutrient intakes to be used to plan and assess the diets of healthy people. The reference values include both recommended intakes and t...

In language systems that support separate compilation, we often observe that header files are internalized over and over again when the source files that depend on them are compiled. Making a compiler a long-lived server eliminates such redundant processing of header files, thus reducing the compilation time. The paper first describes compilation servers for C-family languages in general, and t...

Implication problems occur in many areas of computer science. Examples include, of course, logic, but also database systems (constraints), data mining (association rules), and reasoning under uncertainty (conditional independence). We provide a general framework for implication problems based on the observation that many can be reduced to an implication problem for additive constraints on speci...

Large C and C++ softwa¡e projects typically share common types, macros, and variables among modules via include files organized into hierarchies. Many of these hierarchies grow so complex that it is haed for programmers to figure out when a file must be included. Since including unused symbols is usually harmless, application code tends to include more files than required. Knowing when ñles are...