Selected Scientific Publications

Export 2 results:
Author Title Type [ Year(Desc)]
Filters: Author is S. Doaitse Swierstra  [Clear All Filters]
Bagnara R.  1996.  A Reactive Implementation of Pos Using ROBDDs. Programming Languages: Implementations, Logics and Programs, Proceedings of the Eighth International Symposium. 1140:107–121.
King A, Smaus J-G, Hill PM.  1999.  Quotienting Share for Dependency Analysis. Proceedings of the European Symposium on Programming. 1576:59–73.