[an error occurred while processing this directive] [an error occurred while processing this directive] BibTeX for 2005 [an error occurred while processing this directive]

BibTeX for 2005

@inproceedings{AspiDGilmSHSS2005:CASSIS,
  volume = {3362},
  location = {Marseille},
  pdf = {http://groups.inf.ed.ac.uk/mrg/publications/mrg/cassis2004.pdf},
  author = {David Aspinall and Stephen Gilmore and Martin Hofmann and Donald Sannella
    and Ian Stark},
  series = {LNCS},
  booktitle = {Construction and Analysis of Safe, Secure, and Interoperable Smart Devices:
    Proceedings of the International Workshop CASSIS 2004},
  url = {http://www.springerlink.com/link.asp?id=f0p7u1repyl4pxyg},
  title = {Mobile Resource Guarantees for Smart Devices},
  publisher = {Springer},
  pages = {1--26},
  year = {2005},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2005}
}


@inproceedings{BeriLHofmMMS2005:LPAR,
  volume = {3452},
  pdf = {lpar.pdf},
  author = {Beringer, L. and Hofmann, M. and Momigliano, A. and Shkaravska, O.},
  series = {LNCS},
  booktitle = {LPAR 2004 --- Logic for Programming, Artificial Intelligence, and Reasoning},
  editor = {Franz Baader, Andrei Voronkov},
  title = {{Automatic Certification of Heap Consumption}},
  address = {Montevideo, Uruguay, March 14--18},
  publisher = {Springer},
  pages = {347--362},
  year = {2005},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2005}
}


@inproceedings{HammK2005:CEFP,
  bibsource = {DBLP, http://dblp.uni-trier.de},
  author = {Kevin Hammond},
  booktitle = {CEFP},
  title = {Exploiting Purely Functional Programming to Obtain Bounded Resource
    Behaviour: The Hume Approach},
  pages = {100-134},
  ee = {http://dx.doi.org/10.1007/11894100_4},
  year = {2005}
}


@incollection{HammK2005,
  volume = {4},
  author = {Kevin Hammond},
  series = {Trends in Functional Programming},
  booktitle = {Trends in Functional Programming, Volume 4},
  editor = {Stephen Gilmore},
  title = {Is it Time for Real-Time Functional Programming?},
  isbn = {1-84150-122-0},
  publisher = {Intellect},
  pages = {1-14},
  year = {2005},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2005}
}


@inproceedings{HammKDyckRFHHJLMSW2005:TFP,
  author = {Kevin Hammond and Roy Dyckhoff and Christian Ferdinand and Reinhold
    Heckmann and Martin Hofmann and Steffen Jost and Hans-Wolfgang Loidl
    and Greg Michaelson and Jocelyn S\'erot and Andy Wallace},
  note = {Online},
  keywords = {hume,embounded},
  booktitle = {Proc. 6th Symposium on Trends in Functional Programming (TFP 2005),
    Tallinn, Estonia, 23-24 September 2005},
  url = {http://www.cs.ioc.ee/tfp-icfp-gpce05/tfp-proc/},
  title = {The EmBounded project (project paper)},
  publisher = {Institute of Cybernetics},
  year = {2005},
  pages = {220-235},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2005}
}


@inproceedings{HofmMLoidHB2005,
  author = {M. Hofmann and H-W. Loidl and L. Beringer},
  note = {Marktoberdorf Summer School, Aug 2-13, 2005},
  url = {http://www.tcs.informatik.uni-muenchen.de/\~{}hwloidl/publications/mdorf.pdf},
  title = {{Certification of Quantitative Properties of Programs}},
  publisher = {IOS Press},
  year = {2005},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2005}
}


@incollection{MichGHammKS2005,
  volume = {4},
  author = {Greg Michaelson and Kevin Hammond and Jocelyn S{\'e}rot},
  series = {Trends in Functional Programming},
  keywords = {hume,embounded},
  booktitle = {Trends in Functional Programming, Volume 4},
  editor = {Stephen Gilmore},
  title = {{FSM-Hume} is Finite State},
  isbn = {1-84150-122-0},
  publisher = {Intellect},
  pages = {19-28},
  year = {2005},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2005}
}


This page was last modified on Friday 8 May 2009 17:04:38. This site is maintained by Robert Rothenberg (rr@cs.st-andrews.ac.uk).