Documents Related by Co-Citation

1305 Monads for functional programming – Philip Wadler - 1995
455 Comprehending Monads – Philip Wadler - 1992
1316 Refactoring: Improving the Design of Existing Code – M Fowler, K Beck, J Brant, W Opdyke, D Roberts - 1999
15 The Quest for Correct Systems: Model Checking of Diagrams and Datatypes – Jan Philipps, Oscar Slotosch
298 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
46 Tool support for refactoring functional programs – Huiqing Li, Claus Reinke, Simon Thompson - 2003
17 Specification Based Test Sequence Generation with Propositional Logic – G. Wimmel, H. Lötzbeyer , A. Pretschner, O. Slotosch - 2000
406 The inductive approach to verifying cryptographic protocols – Lawrence C. Paulson - 1998
17 Tool supported Specification and Simulation of Distributed Systems – Franz Huber, Sascha Molterer, Andreas Rausch, Bernhard Schätz, Marc Sihling, Oscar Slotosch - 1998
7 Quest: Overview over the Project – Oscar Slotosch
10 Security Modelling for Electronic Commerce: The Common Electronic Purse Specifications – Jan Jürjens, Guido Wimmel - 2001
9 Extended Description Techniques For Security Engineering – Guido Wimmel, Alexander Wisspeintner - 2001
95 Specification and Development of Interactive Systems – M Broy, K Stølen - 2001
27 Sorting Morphisms – Lex Augusteijn - 1998
382 Refactoring Object-Oriented Frameworks – William F. Opdyke - 1992
569 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
51 Typed Combinators for Generic Traversal – Ralf Lämmel, Joost Visser - 2002
72 Rules and Strategies for Transforming Functional and Logic Programs – A. Pettorossi, M. Proietti, R. Dicembre - 1996
17 Reuse by Program Transformation – Ralf Lämmel - 2000