Publikationen

Autor*in

Jahr der Veröffentlichung

Publikationsformat

Keyword

Forschungsprojekt

Institut/Einrichtung

2008

A Relation Algebraic Semantics for a Lazy Functional Logic Language

Braßel, B. ., & Christiansen, J. . (2008). A Relation Algebraic Semantics for a Lazy Functional Logic Language. In R. . Berghammer, B. . Möller, & G. . Struth (Hrsg.), Relations and Kleene Algebra in Computer Science (S. 37–53). Springer Berlin Heidelberg.

Abstract

We propose a relation algebraic semantics along with a concrete model for lazy functional logic languages. The resulting semantics provides several interesting advantages over former approaches for this class of languages. On the one hand, the high abstraction level of relation algebra allows equational reasoning leading to concise proofs about functional logic programs. On the other hand the proposed approach features, in contrast to former approaches with a comparable level of abstraction, an explicit modeling of sharing. The latter property gives rise to the expectation that the presented framework can be used to clarify notions currently discussed in the field of functional logic languages, like constructive negation, function inversion and encapsulated search. All of these topics have proved to involve subtle problems in the context of sharing and laziness in the past.
Suche auf Google Scholar
Exportformate

BibTeX

EndNote X3 XML

EndNote 7 XML

EndNote tagged

RIS
Weiterführende Links
Personenseiten

Christiansen, Jan

Fachbereich

Fachbereich 3: Information und Kommunikation
Filter Tags
2008

Conference Paper

Bernd Braßel

Jan Christiansen

Rudolf Berghammer

Bernhard Möller

Georg Struth

2007

Cross-Layer MAC Design for IR-UWB Networks

erez-Guirao, M. D. P., Lübben, R. ., Zhao, Z. ., Kaiser, T. ., & Jobmann, K. . (2007). Cross-Layer MAC Design for IR-UWB Networks. In IEEE IWCLD (S. 113–116). http://doi.org/10.1109/IWCLD.2007.4379050 (Original work published 2024)
Suche auf Google Scholar

DOI Verweis
Exportformate

BibTeX

EndNote X3 XML

EndNote 7 XML

EndNote tagged

RIS
Weiterführende Links
Personenseiten

Lübben, Ralf

Fachbereich

Fachbereich 4: Wirtschaft
Filter Tags
2007

Conference Paper

M. erez-Guirao

Ralf Lübben

Z. Zhao

T. Kaiser

K. Jobmann
Variability-driven selection of services for service compositions

Petersen, K. ., Zaha, J. M., & Metzger, A. . (2007). Variability-driven selection of services for service compositions. In International Conference on Service-Oriented Computing (S. 388–400).
Suche auf Google Scholar
Exportformate

BibTeX

EndNote X3 XML

EndNote 7 XML

EndNote tagged

RIS
Weiterführende Links
Personenseiten

Petersen, Kai

Abteilung/Einrichtung

FLAIR - Flensburg Artificial Intelligence Research
Filter Tags
2007

Conference Paper

Kai Petersen

Johannes Zaha

Andreas Metzger

2006

Modeling and identification of nonlinear systems using SISO LEM-Hammerstein and LEM-Wiener model structures

Fernandes, P. B., Schlipf, D. ., & Trierweiler, J. O. (2006). Modeling and identification of nonlinear systems using SISO LEM-Hammerstein and LEM-Wiener model structures. In 6th IFAC Symposium on Advanced Control of Chemical Processes (Bd. 39, S. 1101–1106). http://doi.org/10.3182/20060402-4-br-2902.01101 (Original work published 2024)
Suche auf Google Scholar

DOI Verweis
Exportformate

BibTeX

EndNote X3 XML

EndNote 7 XML

EndNote tagged

RIS
Weiterführende Links
Personenseiten

Schlipf, David
Filter Tags
2006

Conference Paper

Pedro Fernandes

David Schlipf

Jorge Trierweiler
Modeling and identification of nonlinear systems using MIMO LEM-Hammerstein structure

Schlipf, D. ., Fernandes, P. B., & Trierweiler, J. O. (2006). Modeling and identification of nonlinear systems using MIMO LEM-Hammerstein structure. In Workshop on Solving Industrial Control and Optimization Problems. Gramado, Brazil. http://doi.org/10.18419/opus-8175 (Original work published 2024)
Suche auf Google Scholar

DOI Verweis
Exportformate

BibTeX

EndNote X3 XML

EndNote 7 XML

EndNote tagged

RIS
Weiterführende Links
Personenseiten

Schlipf, David
Filter Tags
2006

Conference Paper

David Schlipf

Pedro Fernandes

Jorge Trierweiler
Applying variability modeling concepts to support decision making for service composition

Petersen, K. ., Bramsiepe, N. ., & Pohl, K. . (2006). Applying variability modeling concepts to support decision making for service composition. In 2006 Service-Oriented Computing: Consequences for Engineering Requirements (SOCCER 06-RE 06 Workshop) (S. 1–1).
Suche auf Google Scholar
Exportformate

BibTeX

EndNote X3 XML

EndNote 7 XML

EndNote tagged

RIS
Weiterführende Links
Personenseiten

Petersen, Kai

Abteilung/Einrichtung

FLAIR - Flensburg Artificial Intelligence Research
Filter Tags
2006

Conference Paper

Kai Petersen

Nadine Bramsiepe

Klaus Pohl

2004

Searches for squarks with H1 at HERA

Vest, A. . (2004). Searches for squarks with H1 at HERA. In 12th International Workshop on Deep Inelastic Scattering (DIS 2004).
Suche auf Google Scholar
Exportformate

BibTeX

EndNote X3 XML

EndNote 7 XML

EndNote tagged

RIS
Weiterführende Links
Personenseiten

Vest, Anja
Filter Tags
2004

Conference Paper

Anja Vest

Teilchenphysik

DESY

H1 Collaboration
Searching for Deadlocks While Debugging Concurrent Haskell Programs

Christiansen, J. ., & Huch, F. . (2004). Searching for Deadlocks While Debugging Concurrent Haskell Programs. In Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming (S. 28–39). ACM. http://doi.org/10.1145/1016850.1016858
Suche auf Google Scholar

DOI Verweis
Exportformate

BibTeX

EndNote X3 XML

EndNote 7 XML

EndNote tagged

RIS
Weiterführende Links
Personenseiten

Christiansen, Jan

Fachbereich

Fachbereich 3: Information und Kommunikation
Filter Tags
2004

Conference Paper

Jan Christiansen

Frank Huch

concurrent haskell

deadlock

debugging

detecting deadlocks

2002

CAES with High Efficiency and Power Output

Tuschy, I. ., Althaus, R. ., Gerdes, R. ., & Keller-Sornig, P. . (2002). CAES with High Efficiency and Power Output. In Energiespeicher (Bd. 1734). Düsseldorf: VDI-Verlag.
Suche auf Google Scholar
Exportformate

BibTeX

EndNote X3 XML

EndNote 7 XML

EndNote tagged

RIS
Weiterführende Links
Personenseiten

Tuschy, Ilja
Filter Tags
2002

Conference Paper

Ilja Tuschy

Rolf Althaus

Ralf Gerdes

Peter Keller-Sornig
The Future of Compressed Air Energy Storage: High Efficiency and Power Output with Reliable Turbine Technology

Tuschy, I. ., Althaus, R. ., Gerdes, R. ., & Keller-Sornig, P. . (2002). The Future of Compressed Air Energy Storage: High Efficiency and Power Output with Reliable Turbine Technology. In G. . Tsatsaronis (Hrsg.), ECOS 2002 15th International Conference on Efficiency, Costs, Optimization, Simulation and Environmental Impact of Energy Systems: Proceedings (Bd. 2). Berlin: Technische Universität Berlin, Institute for Energy Engineering.
Suche auf Google Scholar
Exportformate

BibTeX

EndNote X3 XML

EndNote 7 XML

EndNote tagged

RIS
Weiterführende Links
Personenseiten

Tuschy, Ilja
Filter Tags
2002

Conference Paper

Ilja Tuschy

Rolf Althaus

Ralf Gerdes

Peter Keller-Sornig

George Tsatsaronis

Publikationen

2008

Abstract

Exportformate

Weiterführende Links

Filter Tags

2007

Exportformate

Weiterführende Links

Filter Tags

Exportformate

Weiterführende Links

Filter Tags

2006

Exportformate

Weiterführende Links

Filter Tags

Exportformate

Weiterführende Links

Filter Tags

Exportformate

Weiterführende Links

Filter Tags

2004

Exportformate

Weiterführende Links

Filter Tags

Exportformate

Weiterführende Links

Filter Tags

2002

Exportformate

Weiterführende Links

Filter Tags

Exportformate

Weiterführende Links

Filter Tags