Search for Author All Reviews
	Mulkers, Anne     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 2 of 2 reviews       Improving abstract interpretations by combining domains Codish M., Mulkers A., Bruynooghe M., de la Banda M., Hermenegildo M. ACM Transactions on Programming Languages and Systems 17(1): 28-44, 1995.  Type: Article In the abstract setting of domain theory, the meaning of a program P is expressed as the least fixed point of a monotonic operator f P on a domain E. In the developmen...... Sep 1 1996     Live-structure dataflow analysis for Prolog Mulkers A., Winsborough W., Bruynooghe M. ACM Transactions on Programming Languages and Systems 16(2): 205-258, 1994.  Type: Article Conventional implementations of applicative programming languages perform garbage collection at runtime in a nonoptimal way. Eventually, a request for new storage cannot be satisfied because of space exhaustion, at which moment unused ...... Apr 1 1995
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy