Halfs: a haskell filesystem Export

@inproceedings{citeulike:342265, abstract = {In the course of developing a web server for an embedded operating system, we had need of a filesystem which was small enough to alter to our needs and written in a high-level language so that we could show certain high assurance properties about its behavior. Since we had already ported the Haskell runtime to this operating system, Haskell was the obvious language of choice.This presentation will give a brief overview of the design principals of Halfs, present the Halfs library interface and its integration with the Linux FUSE module, and show basic tasks such as reading and writing to the filesystem.}, address = {New York, NY, USA}, author = {Jones, Isaac}, booktitle = {Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell}, citeulike-article-id = {342265}, citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=1088348.1088360}, citeulike-linkout-1 = {http://dx.doi.org/10.1145/1088348.1088360}, doi = {10.1145/1088348.1088360}, isbn = {159593071X}, keywords = {embedded-systems, functional-programming, haskell, operating-systems}, pages = {116}, posted-at = {2005-10-06 08:08:06}, priority = {2}, publisher = {ACM Press}, title = {Halfs: a haskell filesystem}, url = {http://dx.doi.org/10.1145/1088348.1088360}, year = {2005} }

TY - CONF ID - citeulike:342265 L3 - citeulike-article-id:342265 N2 - In the course of developing a web server for an embedded operating system, we had need of a filesystem which was small enough to alter to our needs and written in a high-level language so that we could show certain high assurance properties about its behavior. Since we had already ported the Haskell runtime to this operating system, Haskell was the obvious language of choice.This presentation will give a brief overview of the design principals of Halfs, present the Halfs library interface and its integration with the Linux FUSE module, and show basic tasks such as reading and writing to the filesystem. SN - 159593071X AD - New York, NY, USA EP - 116 TI - Halfs: a haskell filesystem PB - ACM Press T2 - Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell SP - 116 KW - embedded-systems KW - functional-programming KW - haskell KW - operating-systems AU - Jones, Isaac PY - 2005/// UR - http://dx.doi.org/10.1145/1088348.1088360 ER -