Jochen Burghardt. Eine feinkornige Sortendisziplin und ihre Anwendung in der Programmkonstruktion. PhD thesis, Univ. Karlsruhe, 1993. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Interprocedural Heap Analysis for Parallelizing Imperative.. - Aßmann, Weinhardt (1993) (Correct)
....heap objects according to other, specialized criteria. e.g. CWZ90] uses so called summary nodes to represent an unknown number of objects, but leaves those heap objects uncoalesced that are directly and undoubtedly reachable. Methods inferring type information, for instance [Deu92] Bur92] represent the unknown number of objects belonging to an abstract data type as type information for the pointers. While this approach is very elegant its validity has to be evaluated further. Apart from this we can classify the methods according to the memory model they use. K limited and ....
J. Burghardt. Eine feinkornige Sortendisziplin und ihre Anwendung in der Programmkonstruktion. PhD thesis, Universitat Karlsruhe, December 1992.
Regular Substitution Sets: A Means of Controlling E-Unification - Burghardt (1995) (4 citations) Self-citation (Burghardt) (Correct)
No context found.
Jochen Burghardt. Eine feinkornige Sortendisziplin und ihre Anwendung in der Programmkonstruktion. PhD thesis, Univ. Karlsruhe, 1993.
Implementing Anti-Unification Modulo Equational Theory - Burghardt, Heinz Self-citation (Burghardt) (Correct)
No context found.
Jochen Burghardt. Eine feinkornige Sortendisziplin und ihre Anwendung in der Programmkonstruktion. PhD thesis, Univ. Karlsruhe, 1993.
Regular Substitution Sets: A Means of Controlling E-Unification - Burghardt (1995) (4 citations) Self-citation (Burghardt) (Correct)
No context found.
Burghardt, J., Eine feinkornige Sortendisziplin und ihre Anwendung in der Programmkonstruktion, Dissertation, GMD Report 212, Oldenbourg, 1993
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC