Publication Meta-programming with Theory Systems Jonas Barklund, Katrin Boberg, Pierangelo Dell'Acqua, Margus Veanes 106 | May 1995 This paper appears as a chapter in Metalogics and Logic Programming, edited by K. Apt and F. Turini, and published by MIT Press in 1995.
Publication Alice: Rapid prototyping system for virtual reality Randy Pausch, Tommy Burnette, A.C. Capeheart, Matthew Conway, Dennis Cosgrove, Robert DeLIne, Jim Durbin, Rich Gossweiler, Shuichi Koga, Jeff White IEEE Computer Graphics and Applications | May 1995, Vol 15: pp. 8-11
Publication Abstractions for software architecture and tools to support them Mary Shaw, Robert DeLine, Daniel Klein, Theodore Ross, David Young, Gregory Zelesnik, Robert DeLIne IEEE Transactions on Software Engineering | April 1995, Vol 21(4): pp. 314-335
Publication Bisimilarity as a Theory of Functional Programming Andy Gordon MFPS XI, Mathematical Foundations of Programming Semantics, Eleventh Annual Conference | March 1995
Publication Structure and Chance: Melding Logic and Probability for Software Debugging Lisa Burnell, Eric Horvitz MSR-TR-95-12 | February 1995
Publication Cycletrees: Flexible Interconnection Graphs for Parallel Computing Margus Veanes, Jonas Barklund 97 | February 1995
Publication Time and space profiling for non-strict higher-order functional languages Patrick M. Sansom, Simon Peyton Jones 22nd ACM Symposium on Principles of Programming Languages (POPL’95) | January 1995
Publication The Bakery Algorithm: Yet Another Specification and Verification Egon Börger, Yuri Gurevich, Dean Rosenzweig 1995 Oxford University Press book, Specification and Validation Methods | January 1995
Publication The hBPi/-tree: A Modified hB-tree Supporting Concurrency, Recovery and Node Consolidation Georgio Evangelidis, David Lomet, Betty Salzberg January 1995
Publication Evolving Algebras 1993: Lipari Guide Yuri Gurevich Specification and Validation Methods | Published by Oxford University Press | 1995 | Specification and Validation Methods edition
