Denotationelle Analysen funktional-logischer Programme