Strictly declarative specification of sophisticated points-to analyses
نویسندگان
چکیده
منابع مشابه
Declarative Specification of Software Architectures
Scaling formal methods to large, complex systems requires methods of modeling systems at high levels of abstraction. In this paper, we describe such a method for specifying system requirements at the software architecture level. An architecture represents a way of breaking down a system into a set of interconnected components. We use ar chitecture theories to specify the behavior of a system in...
متن کاملOn Fixed Points of Strictly Causal Functions
We ask whether strictly causal components form well defined systems when arranged in feedback configurations. The standard interpretation for such configurations induces a fixed-point constraint on the function modelling the component involved. We define strictly causal functions formally, and show that the corresponding fixed-point problem does not always have a well defined solution. We exami...
متن کاملDeclarative Specification and Verification of Service Choreographies
Service oriented computing, an emerging paradigm for architecting and implementing business collaborations within and across organizational boundaries, is currently of interest to both software vendors and scientists. While the technologies for implementing and interconnecting basic services are reaching a good level of maturity, modeling service interaction from a global viewpoint, i.e., repre...
متن کاملDeclarative Specification of Domain Specific Visual Languages
Nowadays, the model based development paradigm has gained considerable acceptance within the software development industry. This paradigm begins the development process with a precise modeling step, usually based on UML. Application source code is generated from these models using automated code generation technology. Industrial experience with model driven development shows that UML’s general ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2009
ISSN: 0362-1340,1558-1160
DOI: 10.1145/1639949.1640108