ProFun -- a Language for Executable Specifications (1996) [2 citations — 1 self]
Download:
|
|
by Thomas Gehrke, Michaela Huhn
Proceedings of the 8th International Symposium on Programming Languages: Implementations, Logics and Programs (PLILP '96), volume 1140 of Lecture Notes in Computer Science
http://www.ips.cs.tu-bs.de/~gehrke/plilp.ps.gz
Add To MetaCart
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
@INPROCEEDINGS{Gehrke96profun--,author = {Thomas Gehrke and Michaela Huhn},
title = {ProFun -- a Language for Executable Specifications},
booktitle = {Proceedings of the 8th International Symposium on Programming Languages: Implementations, Logics and Programs (PLILP '96), volume 1140 of Lecture Notes in Computer Science},
year = {1996},
pages = {304--318},
publisher = {Springer}
}
Years of Citing Articles
Abstract:
Abstract. We present a new programming language ProFun which is aimed for the specification and prototype implementation of reactive systems. ProFun combines the paradigms of concurrent and functional programming. A formal operational semantics is developed as a basis for verification techniques. We have implemented a ProFun-compiler which uses C++ as its target language.
