Demand analysis with partial predicates
نویسندگان
چکیده
In order to alleviate the inefficiencies caused by the interaction of the logic and functional sides, integrated languages may take advantage of demand information — i.e. knowing in advance which computations are needed and, to which extent, in a particular context. This work studies demand analysis – which is closely related to backwards strictness analysis – in a semantic framework of partial predicates, which in turn are constructive realizations of ideals in a domain. This will allow us to give a concise, unified presentation of demand analysis, to relate it to other analyses based on abstract interpretation or strictness logics, some hints for the implementation, and, more important, to prove the soundness of our analysis based on demand equations. There are also some innovative results. One of them is that a set constraint-based analysis has been derived in a stepwise manner using ideas taken from the area of program transformation. The other one is the possibility of using program transformation itself to perform the analysis, specially in those domains of properties where algorithms based on constraint solving are too weak.
منابع مشابه
Two-Warehouse Inventory Model for Deteriorating Items with Time-Dependent Demand and Partial Backlogging Under Inflation
This paper deals with a two-warehouse inventory model for deteriorating items with time dependent demand and partial backlogging under inflation. It is assumed that deterioration of items follows two-parameter Weibull distribution and demand rate varies exponentially with time. Shortages are allowed and partial backlogging depends on waiting time of next replenishment. A numerical example is pr...
متن کاملA credit policy approach in a two-warehouse inventory model for deteriorating items with price- and stock-dependent demand under partial backlogging
Advertisement of the product is an important factor in inventory analysis. Also, price and stock have an important role to attract more customers in the competitive business situations. Trade credit policy is another important role in inventory analysis. We have combined these three factors together in a two-warehouse inventory model and represented it mathematically. In addition, we have added...
متن کاملPRODUCTION MODEL WITH SELLING PRICE DEPENDENT DEMAND AND PARTIAL BACKLOGGING UNDER INFLATION
We developed an inventory model for decaying items with selling price dependent demand in inflationary environment. Deterioration rate is taken as two parameter Weibull distribution. Shortages in inventory are allowed with partial backlogging. Backlogging rate is taken as exponential decreasing function of time. Profit maximization technique is used in this study.
متن کاملJoint pricing, inventory, and preservation decisions for deteriorating items with stochastic demand and promotional efforts
This study models a joint pricing, inventory, and preservation decision-making problem for deteriorating items subject to stochastic demand and promotional effort. The generalized price-dependent stochastic demand, time proportional deterioration, and partial backlogging rates are used to model the inventory system. The objective is to find the optimal pricing, replenishment, and preservation t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- TPLP
دوره 7 شماره
صفحات -
تاریخ انتشار 2007