The Ketchup Project: New Programming and Testing Techniques for Coordination Protocols
Start a new DMP in Loading
Modern computers can perform multiple computations simultaneously. Unfortunately, the coordination needed is very hard to program and test. In this project, I developed new techniques to make it simpler. Using mathematics as a solid foundation, I designed and implemented a new programming language and a new testing tool specifically tailored to coordination in software. A key contribution is that these new techniques support a significantly larger variety of coordination patterns than previous ones.
<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=nwo_________::aec08d409ae16db0e24ec9f73a19023c&type=result"></script>');
-->
</script> For further information contact us at helpdesk@openaire.eu