Hans Wolfgang Loidl

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
Reasoning about resources in the embedded systems language Hume Foundational and Practical Aspects of Resource Analysis	2016-01-07	Paper
Static determination of quantitative resource usage for higher-order programs Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2015-06-11	Paper
Parallel and symbolic model checking for fixpoint logic with chop	2013-09-25	Paper
Improvements to a resource analysis for Hume Foundational and Practical Aspects of Resource Analysis	2010-09-14	Paper
Characterising effective resource analyses for parallel and distributed coordination Foundational and Practical Aspects of Resource Analysis	2010-09-14	Paper
Semi-explicit parallel programming in a purely functional style: GpH	2009-03-09	Paper
A program logic for resources Theoretical Computer Science	2007-12-14	Paper
Theorem Proving in Higher Order Logics Lecture Notes in Computer Science	2005-08-18	Paper
Comparing parallel functional languages: Programming and performance Higher-Order and Symbolic Computation	2004-03-15	Paper
scientific article; zbMATH DE number 2000445 (Why is no real title available?)	2003-11-03	Paper
Parallel and Distributed Haskells Journal of Functional Programming	2002-11-13	Paper
scientific article; zbMATH DE number 1691456 (Why is no real title available?)	2002-01-15	Paper
Algorithm + strategy = parallelism Journal of Functional Programming	1999-05-18	Paper

Research outcomes over time

This page was built for person: Hans Wolfgang Loidl