Bernd Braßel
From MaRDI portal
Person:2873789
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Lazy call-by-value evaluation Proceedings of the 12th ACM SIGPLAN international conference on Functional programming | 2014-07-21 | Paper |
| Declaring numbers Electronic Notes in Theoretical Computer Science | 2014-03-26 | Paper |
| A framework for interpreting traces of functional logic computations Electronic Notes in Theoretical Computer Science | 2014-01-24 | Paper |
| Transforming functional logic programs into monadic functional programs Functional and Constraint Logic Programming | 2011-05-27 | Paper |
| Computing and Visualizing Closure Objects Using Relation Algebra and RelView Computer Algebra in Scientific Computing | 2009-11-10 | Paper |
| Denotation by Transformation Logic-Based Program Synthesis and Transformation | 2009-01-22 | Paper |
| On a Tighter Integration of Functional and Logic Programming Programming Languages and Systems | 2008-05-15 | Paper |
| A Relation Algebraic Semantics for a Lazy Functional Logic Language Relations and Kleene Algebra in Computer Science | 2008-05-15 | Paper |
| Run-Time Profiling of Functional Logic Programs Logic Based Program Synthesis and Transformation | 2008-04-24 | Paper |
| A Program Transformation for Tracing Functional Logic Computations Logic-Based Program Synthesis and Transformation | 2007-09-10 | Paper |
| Logic Programming Lecture Notes in Computer Science | 2006-06-27 | Paper |
| scientific article; zbMATH DE number 5007864 (Why is no real title available?) | 2006-02-21 | Paper |
Research outcomes over time
This page was built for person: Bernd Braßel
