Searching for "TAPSOFT'97 Theory and Practice of Software Development" – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Action Refinement as an Implementation Relation
- … in this paper. We give an illustrative example. Appeared in: TAPSOFT '97: Theory and Practice of Software…
- Cited by 4 (2 self) – Add To MetaCart
-
Editorial
- … Development and Theorem Proving in M. Bidoit, M. Dauchet (eds.): , TAPSOFT 97: Theory and Practice…
- Add To MetaCart
-
Let-Polymorphism and Eager Type Schemes
- … to ? This paper appears in the proceedings of TAPSOFT '97: Theory and Practice of Software Development, Springer…
- Cited by 6 (3 self) – Add To MetaCart
-
Inclusion Constraints over Non-empty Sets of Trees
- …: Max Dauchet, ed., Proc. of CAAP'97 as part of TAPSOFT'97, Theory and Practice of Software Development…
- Cited by 11 (5 self) – Add To MetaCart
-
Informatica
- …, ooeers their ��rst issue. (WWW) ffl TAPSOFT97 (Theory and Practice of Software Development) . April 14…
- Add To MetaCart
-
Type- and Flow-Directed Compilation for Specialized Data Representations
- … Dimock, Robert Muller, and Franklyn Turbak which appears in \TAPSOFT' 97, Theory and Practice of Software…
- Add To MetaCart
Showing 1 through 6.
