The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Anne Mulkers" ( http://dblp.L3S.de/Authors/Anne_Mulkers )

  Author page on DBLP  Author page in RDF  Community of Anne Mulkers in ASPL-2

Publication years (Num. hits)
1988-1996 (11)
Publication types (Num. hits)
article(2) book(1) incollection(2) inproceedings(6)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 7 occurrences of 5 keywords

Results
Found 12 publication records. Showing 11 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Maurice Bruynooghe, Bart Demoen, Dmitri Boulanger, Marc Denecker, Anne Mulkers A Freeness and Sharing Analysis of Logic Programs Based on a Pre-interpretation. Search on Bibsonomy SAS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Michael Codish, Anne Mulkers, Maurice Bruynooghe, Maria J. García de la Banda, Manuel V. Hermenegildo Improving Abstract Interpretations by Combining Domains. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF logic programming, program analysis, abstract interpretation
1Maurice Bruynooghe, Michael Codish, Anne Mulkers Abstracting Unification: A Key Step in the Design of Logic Program Analyses. Search on Bibsonomy Computer Science Today The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Anne Mulkers, Wim Simoens, Gerda Janssens, Maurice Bruynooghe On the Practicality of Abstract Equation Systems. Search on Bibsonomy ICLP The full citation details ... 1995 DBLP  BibTeX  RDF
1Anne Mulkers, William H. Winsborough, Maurice Bruynooghe Live-Structure Dataflow Analysis for Prolog. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF compile-time garbage collection, Prolog, Prolog, program analysis, abstract interpretation, liveness
1Maurice Bruynooghe, Michael Codish, Anne Mulkers Abstract Unification for a Composite Domain Deriving Sharing and Freeness Properties of Program Variables. Search on Bibsonomy ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages The full citation details ... 1994 DBLP  BibTeX  RDF
1Anne Mulkers Live Data Structures in Logic Programs: Derivation by Means of Abstract Interpretation Search on Bibsonomy 1993   DOI  RDF
1Michael Codish, Anne Mulkers, Maurice Bruynooghe, Maria J. García de la Banda, Manuel V. Hermenegildo Improving Abstract Interpretations by Combining Domains. Search on Bibsonomy PEPM The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Anne Mulkers, William H. Winsborough, Maurice Bruynooghe Analysis of Shared Data Structures for Compile-Time Garbage. Search on Bibsonomy ICLP The full citation details ... 1990 DBLP  BibTeX  RDF
1André Mariën, Gerda Janssens, Anne Mulkers, Maurice Bruynooghe The Impact of Abstract Interpretation: An Experiment in Code Generation. Search on Bibsonomy ICLP The full citation details ... 1989 DBLP  BibTeX  RDF
1Raf Venken, Anne Mulkers The Interaction Between BIM-Prolog and Relational Databases. Search on Bibsonomy Prolog and Databases The full citation details ... 1988 DBLP  BibTeX  RDF
Displaying result #1 - #11 of 11 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license