Publication

×

Error message

  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Deprecated function: implode(): Passing glue string after array is deprecated. Swap the parameters in drupal_get_feeds() (line 394 of /var/www/html/site-publications/includes/common.inc).
Filet-o-fish: practical and dependable domain-specific languages for OS development.
Pierre-Évariste Dagand, Andrew Baumann, and Timothy Roscoe
Operating Systems Review, January 2009
@article{abc,
	author = {Pierre-{\'E}variste Dagand and Andrew Baumann and Timothy Roscoe},
	journal = {Operating Systems Review},
	title = {Filet-o-fish: practical and dependable domain-specific languages for OS development.},
	url = {http://doi.acm.org/10.1145/1713254.1713263},
	year = {2009}
}