公開日 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.
公開日 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, 巻21(4): pp. 314-335
公開日 Bisimilarity as a Theory of Functional Programming Andy Gordon MFPS XI, Mathematical Foundations of Programming Semantics, Eleventh Annual Conference | March 1995
公開日 Cycletrees: Flexible Interconnection Graphs for Parallel Computing Margus Veanes, Jonas Barklund 97 | February 1995
公開日 Structure and Chance: Melding Logic and Probability for Software Debugging Lisa Burnell, Eric Horvitz MSR-TR-95-12 | February 1995
公開日 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
公開日 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
公開日 Group Membership Protocol: Specification and Verification Yuri Gurevich, Raghu Mani 1995 Oxford University Press book, Specification and Validation Methods | January 1995
公開日 On Subtyping and Matching Martin Abadi, Luca Cardelli European Conference on Object-Oriented Programming (ECOOP), Lecture Notes in Computer Science | January 1995
公開日 Evolving Algebras 1993: Lipari Guide Yuri Gurevich Specification and Validation Methods | Oxford University Press による投稿 | 1995