Logo des Repositoriums

Auflistung nach Autor:in "Hanus, Michael"

1 - 5 von 5
  • Konferenzbeitrag
    Arbeitstagung Programmiersprachen
    (Informatik 2009 – Im Focus das Leben, 2009) Dosch, Walter; Hanus, Michael
  • Konferenzbeitrag
    Arbeitstagung Programmiersprachen (ATPS 2004)
    (Informatik 2004, Informatik verbindet, Band 2, Beiträge der 34. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 2004) Goerigk, Wolfgang; Hanus, Michael
  • Konferenzbeitrag
    Arbeitstagung Programmiersprachen (ATPS 2009) – Vorwort
    (Informatik 2009 – Im Focus das Leben, 2009) Dosch, Walter; Hanus, Michael
  • Konferenzbeitrag
    Search strategies for functional logic programming
    (Software Engineering 2012. Workshopband, 2012) Hanus, Michael; Peemöller, Björn; Reck, Fabian
    In this paper we discuss our practical experiences with the use of different search strategies in functional logic programs. In particular, we show that complete strategies, like breadth-first search or iterative deepening search, are a viable alternative to incomplete strategies, like depth-first search, that have been favored in the past for logic programming languages.
  • Zeitschriftenartikel
    Type-Oriented Construction of Web User Interfaces – Extended Abstract –
    (Softwaretechnik-Trends Band 26, Heft 2, 2006) Hanus, Michael
    We propose a new technique for the high-level construction of type-safe web-oriented user interfaces. Our approach is useful to equip applications processing structured data with interfaces to manipulate these data in an efficient and maintainable way. The interfaces are web-based, i.e., the data can be manipulated with standard web browsers without any specific requirements on the client side. In order to support type-safe user interfaces, i.e., interfaces where users can only input type-correct data (types can be standard types of a programming language as well as any computable predicate on the data), we propose a set of type-oriented building blocks from which interfaces for more complex types can be easily constructed. This technique leads to a very concise and maintainable implementation of web-based user interfaces.