Extending Camelot with Mutable State and Concurrency

Research output: Chapter in Book/Report/Conference proceedingConference contribution


Camelot is a resource-bounded functional programming language which compiles to Java byte code to run on the Java Virtual Machine. We extend Camelot to include language support for Camelot-level threads which are compiled to native Java threads. We extend the existing Camelot resource-bounded type system to provide safety guarantees about the heap usage of Camelot threads.
Original languageEnglish
Title of host publicationComputational Science - ICCS 2004
Subtitle of host publication4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part III
EditorsMarian Bubak, Geert Dick Albada, Peter M. A. Sloot, Jack Dongarra
PublisherSpringer-Verlag GmbH
Number of pages8
ISBN (Electronic)978-3-540-24688-6
ISBN (Print)978-3-540-22116-6
Publication statusPublished - 2004

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Dive into the research topics of 'Extending Camelot with Mutable State and Concurrency'. Together they form a unique fingerprint.

Cite this