@string{jan = "January"} @string{aosd = "International Conference on Aspect-Oriented Software Development"} @string{ase = "IEEE International Symposium on Automated Software Engineering"} @string{cacm = "Communications of the ACM"} @string{cbse = "ICSE Workshop on Component-Based Software Engineering"} @string{computing-surveys = "ACM Computing Surveys"} @string{dsl = "USENIX Conference on Domain-Specific Languages"} @string{ecoop = "European Conference on Object-Oriented Programming"} @string{esop = "European Symposium on Programming"} @string{esec/fse = "Joint European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering"} @string{fool = "Foundations of Object-Oriented Languages"} @string{fse = "ACM SIGSOFT International Symposium on the Foundations of Software Engineering"} @string{gcse = "International Symposium on Generative and Component-Based Software Engineering"} @string{ic = "Information \& Computation"} @string{icalp = "International Conference on Automata, Languages and Programming"} @string{icfp = "ACM SIGPLAN International Conference on Functional Programming"} @string{icse = "International Conference on Software Engineering"} @string{icsr = "International Conference on Software Reuse"} @string{jcss = "Journal of Computer and System Sciences"} @string{jfp = "Journal of Functional Programming"} @string{lasc = "Lisp and Symbolic Computation"} @string{lfp = "ACM Symposium on Lisp and Functional Programming"} @string{monterey2001 = "Monterey Workshop on Engineering Automation for Software Intensive System Integration"} @string{oopsla = "ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages \& Applications"} @string{padl = "Symposium on the Practical Aspects of Declarative Languages"} @string{pepm = "ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation"} @string{pldi = "ACM SIGPLAN Conference on Programming Language Design and Implementation"} @string{plilp = "International Symposium on Programming Languages: Implementations, Logics, and Programs"} @string{plop = "Pattern Languages of Program Design"} @string{popl = "ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages"} @string{sigplan-notices = "ACM SIGPLAN Notices"} @string{sosp = "Symposium on Operating System Principles"} @string{spe = "Software--Practice and Experience"} @string{spin-sw-mc = "SPIN Workshop on Software Model Checking"} @string{swconfmgmt = "International Workshop on Software Configuration Management"} @string{tcs = "Theoretical Computer Science"} @string{tocs = "ACM Transactions on Computer Systems"} @string{tools-symp = "Technology of Object-Oriented Languages and Systems"} @string{toplas = "ACM Transactions on Programming Languages and Systems"} @string{tosem = "ACM Transactions on Software Engineering and Methodology"} @string{ieee-software = "IEEE Software"} @string{ieee-tose = "IEEE Transactions on Software Engineering"} @string{acm = "Association for Computing Machinery"} @string{addison-wesley = "Addison-Wesley"} @string{addison-wesley-longman = "Addison Wesley Longman"} @string{cup = "Cambridge"} @string{fsf = "Free Software Foundation"} @string{mit-press = "MIT Press"} @string{springer = "Springer-Verlag"} @string{prentice-hall = "Prentice-Hall"} @string{pws = "PWS Publishing"} @string{mcgraw-hill = "McGraw-Hill"} @string{wiley = "Wiley"} @string {mit-lcs = "MIT Laboratory for Computer Science"} @string{manuscript = "Unpublished manuscript"} @string{personal = "Personal communication"} @string{tr = "Technical Report"} @string{lncs = "Springer Lecture Notes in Computer Science"} @string{w3c = "{W}orld {W}ide {W}eb {C}onsortium"}