#### Filter Results:

- Full text PDF available (4)

#### Publication Year

1952

2001

- This year (0)
- Last 5 years (0)
- Last 10 years (0)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Heinz Faßbender, Sebastian Maneth
- Journal of Functional and Logic Programming
- 1996

During the execution of functional logic programs, E-unification problems have to be solved quite frequently, where the underlying equational theory is induced by recursive functions. But, what about the decidability of those E-unification problems? Up to now, there does not exist a concrete answer to this question for classes of equational theories which… (More)

- Heinz Faßbender, Heiko Vogler
- Acta Cybern.
- 1994

We formalize a universal uni cation algorithm for the class of equational theories which is induced by the class of canonical totally de ned not strictly subuni able term rewriting systems for short ctn trs For a ctn trs R and for two terms t and s the algorithm computes a ground complete set of ER uni ers of t and s where ER is the set of rewrite rules of… (More)

- Heinz Faßbender
- FCT
- 1995

- Heinz Faßbender, Andrea Mößle, Heiko Vogler
- Journal of Functional and Logic Programming
- 1996

During the execution of functional logic programs particular E uni cation pro blems have to be solved quite frequently In this paper we contribute to the e cient solution of such problems in the case where E is induced by particular term rewriting systems called macro tree transducers We formalize the implementation of a deter ministic partial E uni cation… (More)

- Heinz Faßbender
- SIGAda
- 2001

We describe the concepts and experiences we have made in an ongoing project by modeling and reengineering an experimental command and control information system which is nearly completely implemented in Ada95. For this purpose, we use the UML tool <i>Software through Pictures</i> from Aonix which includes a reengineering component that produces class… (More)

- Heinz Faßbender, Heiko Vogler
- Formal Aspects of Computing
- 1992

This paper contributes to the field of functional programming languages. We investigate the call-by-name and call-by-need implementation of a restricted type of functional programming, calledsyntax directed functional programming; the target of this implementation is an abstract machine that is based on nested stacks. In fact, the technical kernel of this… (More)

- Heinz Faßbender
- PLILP
- 1995

- H C Fassbender, M Isomäki, J Haapasaari
- Scandinavian journal of rheumatology. Supplement
- 1975

- Gerhard Bühler, Heinz Faßbender
- SIGAda
- 1999

In this paper, we describe our experiences in applying CORBA and Java while redesigning an experimental command and control information system that is programmed in Ada 83. Our goal was to allow the user to use the system from any platform with minimal requirements to system resources.

- H FASSBENDER, G WENGLER
- Virchows Archiv für pathologische Anatomie und…
- 1952