Selected Scientific Publications

Export 2 results:
Author Title Type [ Year(Asc)]
Filters: Author is S. Doaitse Swierstra  [Clear All Filters]
1999
King A, Smaus J-G, Hill PM.  1999.  Quotienting Share for Dependency Analysis. Proceedings of the European Symposium on Programming. 1576:59–73.
1996
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.