@inproceedings{FrankGrabmuellerHofstedtetal., author = {Frank, Stephan and Grabm{\"u}ller, Martin and Hofstedt, Petra and Kleeblatt, Dirk and Pepper, Peter}, title = {Safety of Compilers and Translation Techniques - Status quo of Technology and Science}, series = {Automotive - Safety \& Security 2008 - Sicherheit und Zuverl{\"a}ssigkeit f{\"u}r automobile Informationstechnik, 19. und 20. November 2008, Stuttgart}, booktitle = {Automotive - Safety \& Security 2008 - Sicherheit und Zuverl{\"a}ssigkeit f{\"u}r automobile Informationstechnik, 19. und 20. November 2008, Stuttgart}, publisher = {Shaker}, address = {Aachen}, isbn = {978-3-8322-7681-2}, pages = {47 -- 62}, language = {en} } @inproceedings{FrankHofstedtPepperetal., author = {Frank, Stephan and Hofstedt, Petra and Pepper, Peter and Reckmann, D.}, title = {Solution Strategies for Multi-domain Constraint Logic Programs}, series = {Perspectives of systems informatics, 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27 - 30, 2006}, booktitle = {Perspectives of systems informatics, 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27 - 30, 2006}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {978-3-540-70880-3}, pages = {209 -- 222}, language = {en} } @book{PepperHofstedt, author = {Pepper, Peter and Hofstedt, Petra}, title = {Funktionale Programmierung: Sprachdesign und Programmiertechnik}, publisher = {Berlin}, address = {Springer}, isbn = {3-540-20959-X}, pages = {XVII, 492}, language = {de} } @article{HofstedtPepper, author = {Hofstedt, Petra and Pepper, Peter}, title = {Integration of Declarative and Constraint Programming}, series = {Theory and practice of logic programming}, volume = {7}, journal = {Theory and practice of logic programming}, number = {1-2}, issn = {1471-0684}, pages = {93 -- 121}, language = {en} }