- Subscribe to this page:
- RSS
- Email Alert
Christian-Albrechts-Universitat zu Kiel
(9 results)-
White Papers
CurryBrowser: A Generic Analysis Environment for Curry Programs
February 1, 2008, 12:00am PST
The authors present CurryBrowser, a generic analysis environment for the declarative multi-paradigm language Curry. CurryBrowser supports browsing through the program code of an application...
Provided by Christian-Albrechts-Universitat zu Kiel
-
White Papers
A Simulation-Based Treatment of Authenticated Message Exchange
July 28, 2009, 12:00am PDT
Simulation-based security notions for cryptographic protocols are regarded as highly desirable, primarily because they admit strong composability and, consequently, a modular design. In this...
Provided by Christian-Albrechts-Universitat zu Kiel
-
White Papers
Computationally Secure Two-Round Authenticated Message Exchange
January 11, 2010, 12:00am PST
The authors prove secure a concrete and practical two-round authenticated message exchange protocol which reflects the authentication mechanisms for web services discussed in various...
Provided by Christian-Albrechts-Universitat zu Kiel
-
White Papers
Implementing Equational Constraints in a Functional Language
August 29, 2011, 12:00am PDT
KiCS2 is a new system to compile functional logic programs of the source language Curry into purely functional Haskell programs. The implementation is based on the idea to represent the search...
Provided by Christian-Albrechts-Universitat zu Kiel
-
White Papers
KiCS2: A New Compiler From Curry to Haskell
May 10, 2011, 12:00am PDT
In this paper, the authors present their first steps towards a new system to compile functional logic programs of the source language Curry into purely functional Haskell programs. Their...
Provided by Christian-Albrechts-Universitat zu Kiel
-
White Papers
Lazy and Enforceable Assertions for Functional Logic Programs
October 29, 2010, 12:00am PDT
Assertions or contracts are an important technique to improve the quality of software. Thus, assertions are also desirable for functional logic programming. Unfortunately, there is no established...
Provided by Christian-Albrechts-Universitat zu Kiel
-
White Papers
Transforming Functional Logic Programs into Monadic Functional Programs
November 21, 2010, 12:00am PST
The authors present a high-level transformation scheme to translate lazy functional logic programs into pure Haskell programs. This transformation is based on a recent proposal to efficiently...
Provided by Christian-Albrechts-Universitat zu Kiel
-
White Papers
Constructing a Bidirectional Transformation Between BPMN and BPEL With a Functional Logic Programming Language
October 26, 2010, 12:00am PDT
In this paper, the authors show how functional logic programming techniques can be used to construct a bidirectional transformation between structured process models of the Business Process...
Provided by Christian-Albrechts-Universitat zu Kiel
-
White Papers
Reporting Failures in Functional Logic Programs
October 9, 2006, 12:00am PDT
Computing with failures is a typical programming technique in functional logic programs. However, there are also situations where a program should not fail (e.g., in a deterministic top-level...
Provided by Christian-Albrechts-Universitat zu Kiel
-
White Papers
Reporting Failures in Functional Logic Programs
October 9, 2006, 12:00am PDT
Computing with failures is a typical programming technique in functional logic programs. However, there are also situations where a program should not fail (e.g., in a deterministic top-level...
Provided by Christian-Albrechts-Universitat zu Kiel
-
White Papers
Constructing a Bidirectional Transformation Between BPMN and BPEL With a Functional Logic Programming Language
October 26, 2010, 12:00am PDT
In this paper, the authors show how functional logic programming techniques can be used to construct a bidirectional transformation between structured process models of the Business Process...
Provided by Christian-Albrechts-Universitat zu Kiel
-
White Papers
Transforming Functional Logic Programs into Monadic Functional Programs
November 21, 2010, 12:00am PST
The authors present a high-level transformation scheme to translate lazy functional logic programs into pure Haskell programs. This transformation is based on a recent proposal to efficiently...
Provided by Christian-Albrechts-Universitat zu Kiel
-
White Papers
Lazy and Enforceable Assertions for Functional Logic Programs
October 29, 2010, 12:00am PDT
Assertions or contracts are an important technique to improve the quality of software. Thus, assertions are also desirable for functional logic programming. Unfortunately, there is no established...
Provided by Christian-Albrechts-Universitat zu Kiel
-
White Papers
KiCS2: A New Compiler From Curry to Haskell
May 10, 2011, 12:00am PDT
In this paper, the authors present their first steps towards a new system to compile functional logic programs of the source language Curry into purely functional Haskell programs. Their...
Provided by Christian-Albrechts-Universitat zu Kiel
-
White Papers
Implementing Equational Constraints in a Functional Language
August 29, 2011, 12:00am PDT
KiCS2 is a new system to compile functional logic programs of the source language Curry into purely functional Haskell programs. The implementation is based on the idea to represent the search...
Provided by Christian-Albrechts-Universitat zu Kiel
-
White Papers
Computationally Secure Two-Round Authenticated Message Exchange
January 11, 2010, 12:00am PST
The authors prove secure a concrete and practical two-round authenticated message exchange protocol which reflects the authentication mechanisms for web services discussed in various...
Provided by Christian-Albrechts-Universitat zu Kiel
-
White Papers
A Simulation-Based Treatment of Authenticated Message Exchange
July 28, 2009, 12:00am PDT
Simulation-based security notions for cryptographic protocols are regarded as highly desirable, primarily because they admit strong composability and, consequently, a modular design. In this...
Provided by Christian-Albrechts-Universitat zu Kiel
-
White Papers
CurryBrowser: A Generic Analysis Environment for Curry Programs
February 1, 2008, 12:00am PST
The authors present CurryBrowser, a generic analysis environment for the declarative multi-paradigm language Curry. CurryBrowser supports browsing through the program code of an application...
Provided by Christian-Albrechts-Universitat zu Kiel
Keep Up with TechRepublic
Upcoming Webcasts
Upcoming webcasts from leading IT vendors
-
2012-05-24 at 11:00 am PT | 2:00 pm ET
Live Webcast: The 2012 Guide to Better Business Benefits from Data Analytics
Sponsored by Tableau Software
-
2012-06-05 at 11:00 am PT | 2:00 pm ET
Live Webcast: Getting to Microsoft Office 365: The right migration for your business
Sponsored by Microsoft
-
2012-06-12 at 9:00 am PT | 12:00 pm ET
Live Webcast: WebSphere DataPower for Mobile Application Security
Sponsored by IBM
Submit a Paper
Get your content listed in our directory!
Our directory is the largest library of vendor-supplied technical content on the Web. It’s also the first place IT decision makers turn to when researching technology solutions. Our members are already finding your competitors’ papers here - shouldn’t they find yours, too? It's FREE so click here and submit your white paper, case study, data sheet, research report, or other document today!
