- 1.D.W. Clark. An empirical study of list structure in lisp. CACM, 20(2):78-87, February 1977. Google ScholarDigital Library
- 2.P. Cousot and R. Cousot. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In 4th A CM Sym. on Prin. of Prog. Lang., pages 238- 252, ACM, 1077. Google ScholarDigital Library
- 3.C.A.R. Hoare. quicksort. Computing J., 5(4):10-15, April 1962.Google ScholarCross Ref
- 4.P. Hudak. Collecting interpretations of first-order lambda calculus. Research Report in preparation, Yale University, Department of Computer Science, 1986.Google Scholar
- 5.P. Hudak and A. Bloss. The aggregate update problem in functional programming systems. In l~th A CM Sym. on Prin. of Pro~. Lang., pages 300-314, ACM, 1985. Google ScholarDigital Library
- 6.N.D. Jones and S.S. Muchnick. A flexible approach to interprocedural data flow analysis and programs with recursive data structures. In 9th ACbt $ym. on Prin. of Pro~. Lang., pages 66-74, ACM, January 1982. Google ScholarDigital Library
- 7.A. Mycroft. Abstract Interpretation and Optimizing Transformations for Appli~otive Programs. PhD thesis, Univ. of Edinburgh, 1981.Google Scholar
- 8.J. Schwarz. Verifying the safe use of destructive operations in applicative programs, in B. Robinet, editor, Program Transformations - Proc. of the $rd Int'l $ym. on Programming, pages 395-411, Dunod Informatique, 1978.Google Scholar
- A semantic model of reference counting and its abstraction (detailed summary)
Recommendations
Abstraction heuristics extended with counting abstractions
ICAPS'11: Proceedings of the Twenty-First International Conference on International Conference on Automated Planning and SchedulingState-of-the-art abstraction heuristics are those constructed by the merge-and-shrink approach in which an abstraction consists of a labeled transition system, and the composition of abstractions correspond to the synchronized product of transition ...
Process Model Abstraction: A Slider Approach
EDOC '08: Proceedings of the 2008 12th International IEEE Enterprise Distributed Object Computing ConferenceProcess models provide companies efficient means for managing their business processes. Tasks where process models are employed are different by nature and require models of various abstraction levels. However, maintaining several models of one business ...
B model abstraction combining syntactic and semantic methods
ABZ'10: Proceedings of the Second international conference on Abstract State Machines, Alloy, B and ZIn a model-based testing approach as well as for the verification of properties by model-checking, B models provide an interesting solution. But for industrial applications, the size of their state space often makes them hard to handle. To reduce the ...
Comments