@inproceedings{Lhot_spark,
author = "Ond\v{r}ej Lhot\'ak and Laurie Hendren",
title = "{Scaling Java Points-to Analysis Using Spark}",
booktitle = {Compiler Construction, 12th International Conference},
pages = {153--169},
month = {April},
year = {2003},
editor = {G. Hedin},
volume = {2622},
series = {LNCS},
address = {Warsaw, Poland},
publisher = {Springer},
}
# ------------------------ MATCOM ------------------------
@misc{MATCOM,
author = "MathTools Ltd.",
title = "{MATCOM} Compiler",
year = "1999",
url = "http://www.mathtools.com/"
}
# MATCOM: A MATLAB to C++ Translator and Support Libraries ¨C Keren - 1995
# ------------------------ Scilab ------------------------
@url{Scilab,
author = "INRIA",
title = "Scilab",
year = "2009",
note = "\url{http://www.scilab.org/platform/}"
}
# ------------------------ MATLAB ------------------------
@url{MATLAB_doc,
author = "MathWorks",
title = "{MATLAB Documentation}",
year = "2010",
note = "\url{http://www.mathworks.com/}"
}
# ------------------------ Octave ------------------------
@BOOK{eaton:2002,
author = "John W. Eaton",
title = "{GNU Octave Manual}",
publisher = "Network Theory Limited",
year = "2002",
isbn = "0-9541617-2-6"
}
# ------------------------ MATCH / MAGICA / Project ------------------------
@misc{MAT2C,
author = "Pramod G. Joisha",
title = "a {MATLAB-to-C} translator",
year = "2003",
note = "\url{http://www.ece.northwestern.edu/cpdc/pjoisha/MAT2C/}"
}
@article{MAGICA,
author = {Joisha, Pramod G. and Banerjee, Prithviraj},
title = "{An algebraic array shape inference system for MATLAB}\textregistered",
journal = {ACM Trans. Program. Lang. Syst.},
volume = {28},
number = {5},
year = {2006},
issn = {0164-0925},
pages = {848--907},
doi = {http://doi.acm.org/10.1145/1152649.1152651},
publisher = {ACM},
address = {New York, NY, USA},
}
@inproceedings{Joisha03,
author = {Joisha, Pramod G. and Banerjee, Prithviraj},
title = "{Static array storage optimization in MATLAB}",
booktitle = {PLDI '03: Proceedings of the ACM SIGPLAN 2003 conference on Programming Language Design and Implementation},
year = {2003},
isbn = {1-58113-662-5},
pages = {258--268},
location = {San Diego, California, USA},
doi = {http://doi.acm.org/10.1145/781131.781160},
publisher = {ACM},
address = {New York, NY, USA},
}
@phdthesis{1023072,
author = {Joisha, Pramod G.},
note = {Adviser-Banerjee, Prithviraj},
title = "{A type inference system for MATLAB with applications to code optimization}",
year = {2003},
order_no = {AAI3118555},
publisher = {Northwestern University},
address = {Evanston, IL, USA},
}
@inproceedings{magica,
author = {Joisha,, Pramod G. and Banerjee,, Prithviraj},
title = "{Correctly detecting intrinsic type errors in typeless languages such as MATLAB}",
booktitle = {APL '01: Proceedings of the 2001 conference on APL},
year = {2001},
isbn = {1-58113-419-3},
pages = {7--21},
location = {New Haven, Connecticut},
doi = {http://doi.acm.org/10.1145/570407.570408},
publisher = {ACM},
address = {New York, NY, USA},
}
@article{Joisha02,
author = {Pramod G. Joisha and Prithviraj Banerjee},
title = "{MAGICA: A Software Tool for Inferring Types in MATLAB}",
school = "{Department of Electrical and Computer Engineering, Northwestern University}",
year = {2002},
}
@article{322181,
author = {Kaplan, Marc A. and Ullman, Jeffrey D.},
title = "{A Scheme for the Automatic Inference of Variable Types}",
journal = {J. ACM},
volume = {27},
number = {1},
year = {1980},
issn = {0004-5411},
pages = {128--145},
doi = {http://doi.acm.org/10.1145/322169.322181},
publisher = {ACM},
address = {New York, NY, USA},
}
@inproceedings{Haldar00matchvirtual,
author = {Haldar, Malay and Nayak, Anshuman and Kanhere, Abhay and Joisha, Pramod and Shenoy, Nagaraj and Choudhary, Alok and Banerjee, Prithviraj},
title = "{Match Virtual Machine: An Adaptive Runtime System to Execute MATLAB in Parallel}",
booktitle = {ICPP '00: Proceedings of the Proceedings of the 2000 International Conference on Parallel Processing},
year = {2000},
isbn = {0-7695-0768-9},
pages = {145},
publisher = {IEEE Computer Society},
address = {Washington, DC, USA},
}
@inproceedings{Banerjee00amatlab,
author = {R Banerjee and N. Shenoy and A. Choudhary and S. Hauck and C. Bachmann and M. Haldar and R Joisha and A. Jones and A. Kanhare and A. Nayak and S. Periyacheri and M. Walkden and D. Zuretsky},
title = "{A MATLAB Compiler for Distributed, Heterogeneous, reconfigurable Computing Systems}",
booktitle = {},
year = {2000},
pages = {39--48}
}
@MISC{Malay_alibrary,
author = {Anshuman Nayak Malay and Malay Haldar and Abhay Kanhere and Pramod Joisha and Nagaraj Shenoy and Alok Choudhary and Prithviraj Banerjee},
title = "{A Library based compiler to execute MATLAB Programs on a Heterogeneous Platform}",
year = {2000}
}
# ------------------------ FALCON Project ------------------------
@article{falcon,
author = {Luiz De Rose and David Padua},
title = "{Techniques for the translation of MATLAB programs into Fortran 90}",
journal = {ACM Trans. Program. Lang. Syst.},
volume = {21},
number = {2},
year = {1999},
issn = {0164-0925},
pages = {286--323},
doi = {http://doi.acm.org/10.1145/316686.316693},
publisher = {ACM},
address = {New York, NY, USA},
}
@techreport{871027,
author = {Luiz A. DeRose},
title = "{Compiler techniques for MATLAB programs}",
year = {1996},
source = {http://www.ncstrl.org:8900/ncstrl/servlet/search?formname=detail\&id=oai%3Ancstrlh%3Auiuc_cs%3Ancstrl.uiuc_cs%2F%2FUIUCDCS-R-96-1956},
publisher = {University of Illinois at Urbana-Champaign},
address = {Champaign, IL, USA},
}
@inproceedings{237627,
author = {Luiz De Rose and David Padua},
title = "{A MATLAB to Fortran 90 translator and its effectiveness}",
booktitle = {ICS '96: Proceedings of the 10th international conference on Supercomputing},
year = {1996},
isbn = {0-89791-803-7},
pages = {309--316},
location = {Philadelphia, Pennsylvania, United States},
doi = {http://doi.acm.org/10.1145/237578.237627},
publisher = {ACM},
address = {New York, NY, USA},
}
@inproceedings{ derose95falcon,
author = "Luiz DeRose and Kyle Gallivan and Efstratios Gallopoulos and Bret A. Marsolf and David A. Padua",
title = "{FALCON}: A {MATLAB} Interactive Restructuring Compiler",
booktitle = "Languages and Compilers for Parallel Computing",
pages = "269-288",
year = "1995",
url = "citeseer.ist.psu.edu/article/derose95falcon.html" }
# ------------------------ MaJIC project ------------------------
@inproceedings{MaJIC,
author = {George Alm\'{a}si and David Padua},
title = "{MaJIC: compiling MATLAB for speed and responsiveness}",
booktitle = {PLDI '02: Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation},
year = {2002},
isbn = {1-58113-463-0},
pages = {294--303},
location = {Berlin, Germany},
doi = {http://doi.acm.org/10.1145/512529.512564},
publisher = {ACM},
address = {New York, NY, USA},
}
@article{231411,
author = {Engler, Dawson R.},
title = "{VCODE: a retargetable, extensible, very fast dynamic code generation system}",
journal = {SIGPLAN Not.},
volume = {31},
number = {5},
year = {1996},
issn = {0362-1340},
pages = {160--170},
doi = {http://doi.acm.org/10.1145/249069.231411},
publisher = {ACM},
address = {New York, NY, USA},
}
# ------------------------ Menhir project ------------------------
@inproceedings{745866,
author = {St\'{e}phane Chauveau and Fran\c{c}ois Bodin},
title = "{Menhir: An Environment for High Performance Matlab}",
booktitle = {LCR '98: Selected Papers from the 4th International Workshop on Languages, Compilers, and Run-Time Systems for Scalable Computers},
year = {1998},
isbn = {3-540-65172-1},
pages = {27--40},
publisher = {Springer-Verlag},
address = {London, UK},
}
# ------------------------ Otter project ------------------------
@inproceedings{879565,
title = "{Preliminary Results from a Parallel MATLAB Compiler}",
booktitle = {IPPS '98: Proceedings of the 12th. International Parallel Processing Symposium on International Parallel Processing Symposium},
year = {1998},
pages = {81},
publisher = {IEEE Computer Society},
address = {Washington, DC, USA},
}
@INPROCEEDINGS{Quinn98preliminaryresults,
author = {Michael J. Quinn and Alexey Malishevsky and Nagajagadeswar Seelam and Yan Zhao},
title = "{Preliminary Results from a Parallel MATLAB Compiler}",
booktitle = {Proc. Int. Parallel Processing Symp. (IPPS},
year = {1998},
pages = {81--87},
publisher = {IEEE CS Press}
}
# ------------------------ LAPACK, ScaLAPACK ------------------------
@book{323215,
author = {Anderson, E. and Bai, Z. and Bischof, C. and Blackford, L. S. and Demmel, J. and Dongarra, Jack J. and Du Croz, J. and Hammarling, S. and Greenbaum, A. and McKenney, A. and Sorensen, D.},
title = "{LAPACK Users' guide (third ed.)}",
year = {1999},
isbn = {0-89871-447-8},
publisher = {Society for Industrial and Applied Mathematics},
address = {Philadelphia, PA, USA},
}
@techreport{898821,
author = {Choi, J. and Demmel, J. and Dhillon, I. and Dongarra, J. and Ostrouchov, S. and Petitet, A. and Staney, K. and Walker, D. and Whaley, R. C.},
title = "{LAPACK Working Note 95: ScaLAPACK: A Portable Linear Algebra Library for Distributed Memory Computers -- Design Issues and Performance}",
year = {1995},
source = {http://www.ncstrl.org:8900/ncstrl/servlet/search?formname=detail\&id=oai%3Ancstrlh%3Autk_cs%3Ancstrl.utk_cs%2F%2FUT-CS-95-283},
publisher = {University of Tennessee},
address = {Knoxville, TN, USA},
}
# ------------------------ Parallel Programming ------------------------
@inproceedings{661031,
author = {Ramaswamy, Shankar and Hodges,IV, Eugene W. and Banerjee, Prithviraj},
title = "{Compiling MATLAB Programs to ScaLAPACK: Exploiting Task and Data Parallelism}",
booktitle = {IPPS '96: Proceedings of the 10th International Parallel Processing Symposium},
year = {1996},
isbn = {0-8186-7255-2},
pages = {613--619},
publisher = {IEEE Computer Society},
address = {Washington, DC, USA},
}
@article{10.1109/2.546612,
author = {William Blume and Ramon Doallo and Rudolf Eigenmann and John Grout and Jay Hoeflinger and Thomas Lawrence and Jaejin Lee and David Padua and Yunheung Paek and Bill Pottenger and Lawrence Rauchwerger and Peng Tu},
title = "{Parallel Programming with Polaris}",
journal = {Computer},
volume = {29},
number = {12},
year = {1996},
issn = {0018-9162},
pages = {78-82},
doi = {http://doi.ieeecomputersociety.org/10.1109/2.546612},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
# ------------------------ Multi-core ------------------------
@misc{ wiki:multi-core,
author = "Wikipedia",
title = "{Multi-core --- Wikipedia{,} The Free Encyclopedia}",
year = "2008",
url = "http://en.wikipedia.org/w/index.php?title=Multi-core&oldid=197359597",
note = "[Online; accessed 14-March-2008]"
}
# ------------------------ M. Wolfe ------------------------
@book{533087,
author = {Michael Joseph Wolfe},
title = "{Optimizing Supercompilers for Supercomputers}",
year = {1990},
isbn = {0262730820},
publisher = {MIT Press},
address = {Cambridge, MA, USA},
}
@inproceedings{wolfe91tiny,
author = "Michael Wolfe",
title = "{The Tiny Loop Restructuring Research Tool}",
booktitle = "Proceedings of the 1991 International Conference on Parallel Processing",
volume = "II, Software",
publisher = "CRC Press",
address = "Boca Raton, FL",
pages = "II--47--II--53",
year = "1991",
url = "citeseer.ist.psu.edu/wolfe90tiny.html"
}
# ------------------------ Menon / Vectorization ------------------------
@inproceedings{331972,
author = {Menon, Vijay and Pingali, Keshav},
title = "{A case for source-level transformations in MATLAB}",
booktitle = {PLAN '99: Proceedings of the 2nd conference on Domain-specific languages},
year = {1999},
isbn = {1-58113-255-7},
pages = {53--65},
location = {Austin, Texas, United States},
doi = {http://doi.acm.org/10.1145/331960.331972},
publisher = {ACM},
address = {New York, NY, USA},
}
@inproceedings{305230,
author = {Menon, Vijay and Pingali, Keshav},
title = "{High-level semantic optimization of numerical codes}",
booktitle = {ICS '99: Proceedings of the 13th international conference on Supercomputing},
year = {1999},
isbn = {1-58113-164-X},
pages = {434--443},
location = {Rhodes, Greece},
doi = {http://doi.acm.org/10.1145/305138.305230},
publisher = {ACM},
address = {New York, NY, USA},
}
@inproceedings{Menon97multimatlab:integrating,
author = {Vijay Menon and Anne E. Trefethen},
title = "{MultiMATLAB: Integrating MATLAB with High-Performance Parallel Computing}",
booktitle = {In Proceedings of Supercomputing '97},
year = {1997},
pages = {1--18}
}
@inproceedings{1252535,
author = {Neil Birkbeck and Jonathan Levesque and Jose Nelson Amaral},
title = "{A Dimension Abstraction Approach to Vectorization in Matlab}",
booktitle = "{CGO '07: Proceedings of the International Symposium on Code Generation and Optimization}",
year = {2007},
isbn = {0-7695-2764-7},
pages = {115--130},
doi = {http://dx.doi.org/10.1109/CGO.2007.1},
publisher = {IEEE Computer Society},
address = {Washington, DC, USA},
}
#----------------------------------- Library Function Selection ----------------------
@inproceedings{citeulike:2463199,
author = {Mcfarlin, D. and Chauhan, A.},
booktitle = "{Parallel and Distributed Processing Symposium, 2007. IPDPS 2007. IEEE International}",
citeulike-article-id = {2463199},
citeulike-linkout-0 = {http://dx.doi.org/10.1109/IPDPS.2007.370645},
citeulike-linkout-1 = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=4228373},
doi = {10.1109/IPDPS.2007.370645},
journal = {Parallel and Distributed Processing Symposium, 2007. IPDPS 2007. IEEE International},
keywords = {array, blas, compiling, libraries, octave},
pages = {1--8},
posted-at = {2008-03-04 05:10:38},
priority = {2},
title = "{Library Function Selection in Compiling Octave}",
url = {http://dx.doi.org/10.1109/IPDPS.2007.370645},
year = {2007}
}
#----------------------------------- APL, SETL ----------------------
@inproceedings{805380,
author = {Weiss, Zvi and Saal, Harry J.},
title = "{Compile time syntax analysis of APL programs}",
booktitle = {APL '81: Proceedings of the international conference on APL},
year = {1981},
isbn = {0-89791-035-4},
pages = {313--320},
location = {San Francisco, California, United States},
doi = {http://doi.acm.org/10.1145/800142.805380},
publisher = {ACM},
address = {New York, NY, USA},
}
@inproceedings{801218,
author = {Budd, Timothy A.},
title = "{An APL compiler for the UNIX timesharing system}",
booktitle = {APL '83: Proceedings of the international conference on APL},
year = {1983},
isbn = {0-89791-095-8},
pages = {205--209},
location = {Washington, D.C., United States},
doi = {http://doi.acm.org/10.1145/800062.801218},
publisher = {ACM},
address = {New York, NY, USA},
}
# Bauer A. M. and Saal H. J., "Does APL really need run-time checking?", Software-Practice and Experience, 4, 129-138(1974)
@article{9934,
author = {Ching, W-M},
title = "{Program analysis and code generation in an APL/370 compiler}",
journal = {IBM J. Res. Dev.},
volume = {30},
number = {6},
year = {1986},
issn = {0018-8646},
pages = {594--602},
publisher = {IBM Corp.},
address = {Riverton, NJ, USA},
}
@article{361235,
author = {Schwartz, J. T.},
title = "{Automatic data structure choice in a language of very high level}",
journal = {Commun. ACM},
volume = {18},
number = {12},
year = {1975},
issn = {0001-0782},
pages = {722--728},
doi = {http://doi.acm.org/10.1145/361227.361235},
publisher = {ACM},
address = {New York, NY, USA},
}
@inproceedings{224648,
author = {Tu, Peng and Padua, David},
title = "{Gated SSA-based demand-driven symbolic analysis for parallelizing compilers}",
booktitle = {ICS '95: Proceedings of the 9th international conference on Supercomputing},
year = {1995},
isbn = {0-89791-728-6},
pages = {414--423},
location = {Barcelona, Spain},
doi = {http://doi.acm.org/10.1145/224538.224648},
publisher = {ACM},
address = {New York, NY, USA},
}
#----------------------------------- McLAB----------------------
@MastersThesis{Andrew_Metalexer,
author = {Casey, Andrew},
title = "{The Metalexer Lexer Specification Language}",
school = "{School of Computer Science, McGill University}",
year = {2009},
address = "{Montr\'eal, Canada}",
}
@MastersThesis{Maxime_McVM,
author = {Chevalier-Boisvert, Maxime},
title = "{McVM: An Optimizing Virtual Machine For The MATLAB Programming Language}",
school = "{School of Computer Science, McGill University}",
year = {2009},
address = "{Montr\'eal, Canada}",
}
@inproceedings{McVM_CC2010,
author = {Chevalier-Boisvert, Maxime and Hendren, Laurie and Verbrugge, Clark},
title = "{Optimizing MATLAB through Just-In-Time Specialization}",
booktitle = {CC 2010: International Conference on Compiler Construction},
year = {2010},
}
# author = "{Maxime Chevalier-Boisvert, Laurie Hendren, and Clark Verbrugge}",
@article{1321798,
author = {Ekman, Torbj\"{o}rn and Hedin, G\"{o}rel},
title = "{The JastAdd system --- modular extensible compiler construction}",
journal = {Sci. Comput. Program.},
volume = {69},
number = {1-3},
year = {2007},
issn = {0167-6423},
pages = {14--26},
doi = {http://dx.doi.org/10.1016/j.scico.2007.02.003},
publisher = {Elsevier North-Holland, Inc.},
address = {Amsterdam, The Netherlands, The Netherlands},
}
@book{Numerical_Recipes,
author = {William Press, Saul Teukolsky, William Vetterling and Brian Flannery},
title = "{Numerical Recipes: the art of scientific computing}",
year = {2007},
isbn = {0521880688},
publisher = {Cambridge University Press},
}
@article{29875,
author = {Randy Allen and Ken Kennedy},
title = "{Automatic translation of {Fortran} programs to vector form}",
journal = {ACM Trans. Program. Lang. Syst.},
volume = {9},
number = {4},
year = {1987},
issn = {0164-0925},
pages = {491--542},
doi = {http://doi.acm.org/10.1145/29873.29875},
publisher = {ACM},
address = {New York, NY, USA},
}
@BOOK{allen02optimizing,
author = {Randy Allen and Ken Kennedy},
title = "{Optimizing Compilers for Modern Architectures: A
Dependence-Based Approach}",
publisher = {Morgan Kaufmann},
year = {2002}
}
@mastersthesis{Beu05,
author = {Remko van Beusekom},
title = "{A Vectorizer for Octave}",
school = {Utrecht University},
year = 2005,
address = {Utrecht, The Netherlands},
month = {February},
note = {INF/SRC-04-53},
urlpdf = {http://www.cs.uu.nl/~visser/ftp/Beu05.pdf},
project = {Stratego},
}
@inproceedings{977673,
author = {Lattner, Chris and Adve, Vikram},
title = "{LLVM: A Compilation Framework for Lifelong Program Analysis \& Transformation}",
booktitle = {CGO '04: Proceedings of the international symposium on Code generation and optimization},
year = {2004},
isbn = {0-7695-2102-9},
pages = {75},
location = {Palo Alto, California},
publisher = {IEEE Computer Society},
address = {Washington, DC, USA},
}
@MastersThesis{llvm,
author = {Chris Lattner},
title = "{LLVM: An Infrastructure for Multi-Stage Optimization}",
school = "{Computer Science Dept., University of Illinois at Urbana-Champaign}",
year = {2002},
address = {Urbana, IL},
month = {Dec},
note = {{\em See {\tt http://llvm.cs.uiuc.edu}.}}
}
@misc{MatlabOrigins,
author = "Cleve Moler",
title = "{The Origins of MATLAB}",
note =
"\url{http://www.mathworks.com/company/newsletters/news_notes/clevescorner/dec04.html}"
}
@misc{MatlabGrowth,
author = "Cleve Moler",
title = "{{The Growth of MATLAB and The MathWorks over Two Decades}}",
note =
"\url{http://www.mathworks.com/company/newsletters/news_notes/clevescorner/jan06.pdf}"
}
@misc{MatlabCoder,
author = "MathWorks",
title = "{{ MATLAB Coder}}",
note = "\url{http://www.mathworks.com/products/matlab-coder/}"
}
@mastersthesis{SoroushThesis,
author = {Soroush Radpour},
title = {{Understanding and Refactoring MATLAB}},
month = {January},
year = {2012},
school = {McGill University}
}
@mastersthesis{JesseThesis,
author = {Jesse Doherty},
title = {{McSAF: An Extensible Static Analysis Framework for the
MATLAB Language}},
month = {December},
year = {2011},
school = {McGill University}
}
@inproceedings{McSAFecoop12,
author = {Doherty, Jesse and Hendren, Laurie J.},
booktitle = {Proceedings of the 26th European Conference on Object-Oriented
Programming},
pages = {132-155},
title = {{McSAF}: A Static Analysis Framework for {MATLAB}},
volume = 7313,
year = 2012
}
@inproceedings{KindAnalysis,
author = "Jesse Doherty and Laurie Hendren and Soroush Radpour",
title = "Kind Analysis for {MATLAB}",
booktitle = "In Proceedings of OOPSLA 2011",
pages= "99-118",
year = "2011"
}
@inproceedings{CC2011,
author = {Nurudeen Lameed and Laurie J. Hendren},
title = {Staged Static Techniques to Efficiently Implement Array
Copy Semantics in a {MATLAB} {JIT} Compiler},
booktitle = {Proceedings of the International Compiler Conference (CC11)},
year = {2011},
pages = {22-41},
}
@inproceedings{megha,
author = {Prasad, Ashwin and Anantpur, Jayvant and Govindarajan, R.},
title = {Automatic compilation of {MATLAB} programs for synergistic execution on heterogeneous processors},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} conference on Programming Language Design and Implementation},
series = {PLDI '11},
year = {2011},
isbn = {978-1-4503-0663-8},
location = {San Jose, California, USA},
pages = {152--163},
numpages = {12},
url = {http://doi.acm.org/10.1145/1993498.1993517},
doi = {10.1145/1993498.1993517},
acmid = {1993517},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {compiling for gpus, data parallelism, gpgpu, matlab},
}
@String{OOPSLA = "OOPSLA"}
@String{AOSD = "AOSD"}
@String{PLDI = "PLDI"}
@String{ECOOP = "ECOOP"}
@String{ICSE = "ICSE"}
@String{ASE = "ASE"}
@String{LNCS = "LNCS"}
@String{ISSTA = "ISSTA"}
@String{CC = "CC"}
@String{RV = "RV"}
@String{ENTCS = "ENTCS"}
@String{FSE = "FSE"}
@String{PACT = "PACT"}
@TechReport{jimple,
author = {Raja Vall{\'e}e-Rai and Laurie Hendren},
title = {Jimple: Simplifying Java Bytecode for Analyses and Transformations},
institution = {Sable Research Group},
year = {1998},
number = {1998-4},
month = jul,
}
@Article{Brzozowski,
author = {J.A. Brzozowski},
title = {Canonical regular expressions and minimal state graphs for definite events},
journal = {Mathematical theory of Automata},
year = {1962},
volume = {12},
pages = {529--561},
series = {MRI Symposia Series},
publisher = {Polytechnic Press, Polytechnic Institute of Brooklyn, N.Y.}
}
@TechReport{abc-2008-2,
author = {Eric Bodden and Feng Chen and Grigore Ro\c{s}u},
title = {{\shorttitle\ (Extended version)}},
institution = {\url{http://www.aspectbench.org/}},
year = 2008,
month = {March},
number = {abc-2008-2}
}
@inproceedings{daj,
author = {Karl Lieberherr and David H. Lorenz},
title = {Coupling Aspect-Oriented and Adaptive Programming},
pages = {145--164},
crossref= {:aosdbook05},
}
@book{:aosdbook05,
publisher = {Addison-Wesley},
title = {Aspect-Oriented Software Development},
booktitle = {Aspect-Oriented Software Development},
editor = {Robert E. Filman and Tzilla Elrad and Siobh\'an Clarke and Mehmet {Ak{\c s}it}},
year = 2005,
isbn = {0-321-21976-7}
}
@book{prolog,
author = {W. F. Clocksin and
Chris Mellish},
title = {Programming in Prolog, 5th Edition},
publisher = {Springer},
year = {2003},
isbn = {3-540-00678-8},
}
@inproceedings{chen07mop,
author = {Feng Chen and Grigore Ro\c{s}u},
title = {{MOP}: an efficient and generic runtime verification framework},
booktitle = OOPSLA,
year = {2007},
pages = {569-588},
ee = {http://doi.acm.org/10.1145/1297027.1297069},
crossref = {DBLP:conf/oopsla/2007},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/oopsla/2007,
title = OOPSLA,
booktitle = OOPSLA,
month = oct,
publisher = {ACM Press},
year = {2007},
isbn = {978-1-59593-786-5},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{chen-rosu-2003-rv,
author={Feng Chen and Grigore Ro\c{s}u},
title={Towards Monitoring-Oriented Programming: A Paradigm Combining Specification and Implementation},
booktitle= RV,
volume={89(2)},
pages = {108--127},
series= ENTCS,
month=jul,
year={2003}
}
@InProceedings{naeem08extending,
author = {Nomair A. Naeem and Ond\v{r}ej Lhot\'ak},
title = {Typestate-like analysis of multiple interacting objects},
booktitle = {OOPSLA '08: Proceedings of the 23rd ACM SIGPLAN conference on Object oriented programming systems languages and applications},
year = {2008},
isbn = {978-1-60558-215-3},
pages = {347--366},
location = {Nashville, TN, USA},
doi = {http://doi.acm.org/10.1145/1449764.1449792},
publisher = {ACM},
address = {New York, NY, USA},
}
@inproceedings{bodden08finding,
author = {Eric Bodden and Patrick Lam and Laurie Hendren},
title = {Finding programming errors earlier by evaluating runtime monitors ahead-of-time},
booktitle = FSE,
year = {2008},
isbn = {978-1-59593-995-1},
pages = {36--47},
location = {Atlanta, Georgia},
doi = {http://doi.acm.org/10.1145/1453101.1453109},
publisher = {ACM},
address = {New York, NY, USA},
}
@article{damm99lscs,
author = {Werner Damm and David Harel},
title = {{LSCs}: {Breathing} Life into Message Sequence Charts},
journal = {Formal Methods in System Design},
volume = {19},
number = {1},
year = {1999},
pages = {45--80},
publisher = {Springer Netherlands},
}
@inproceedings{bodden08relational,
author = {Eric Bodden and Reehan Shaikh and Laurie Hendren},
title = {Relational aspects as tracematches},
booktitle = AOSD,
month = mar,
year = {2008},
pages = {84--95},
location = {Brussels, Belgium},
publisher = {ACM Press},
}
@inproceedings{Maoz06s2a,
author = {Shahar Maoz and David Harel},
title = {From multi-modal scenarios to code: compiling {LSCs} into {AspectJ}},
booktitle = FSE,
month = nov,
year = {2006},
isbn = {1-59593-468-5},
pages = {219--230},
location = {Portland, Oregon, USA},
doi = {http://doi.acm.org/10.1145/1181775.1181802},
publisher = {ACM Press},
}
@inproceedings{kr06m2aspects,
author = {Ingolf H. Kr\"{u}ger and Gunny Lee and Michael Meisinger},
title = {Automating software architecture exploration with {M2Aspects}},
booktitle = {SCESM},
monty = may,
year = {2006},
isbn = {1-59593-394-8},
pages = {51--58},
location = {Shanghai, China},
doi = {http://doi.acm.org/10.1145/1138953.1138964},
publisher = {ACM Press},
}
@inproceedings{kniesel04logicaj,
author = {G\"unter Kniesel and Tobias Rho and Stefan Hanenberg},
title = {Evolvable Pattern Implementations Need Generic Aspects},
booktitle = {ECOOP 2004 Workshop on Reflection, AOP and Meta-Data for Software Evolution},
month = jun,
year = {2004},
}
@inproceedings{bodden08racer,
author = {Eric Bodden and Klaus Havelund},
TITLE = {Racer: Effective Race Detection Using {AspectJ}},
booktitle = ISSTA,
MONTH = jul,
YEAR = "2008",
pages = {155--165},
publisher = {ACM Press}
}
@book{JLS3,
author = {James Gosling and Bill Joy and Guy Steele and Gilad Bracha},
title = {The Java(TM) Language Specification, Third Edition},
year = {2005},
isbn = {0321246780},
publisher = {Addison-Wesley Professional},
}
@inproceedings{dlf04typestates,
author = {Robert DeLine and
Manuel F{\"a}hndrich},
title = {Typestates for Objects},
booktitle = {ECOOP},
year = {2004},
pages = {465-490},
ee = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3086{\&}spage=465},
crossref = {DBLP:conf/ecoop/2004},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/ecoop/2004,
title = {ECOOP 2004 - Object-Oriented Programming, 18th European
Conference, Oslo, Norway, June 14-18, 2004, Proceedings},
booktitle = {ECOOP},
publisher = {Springer},
series = LNCS,
volume = {3086},
year = {2004},
isbn = {3-540-22159-X},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{ba07modular,
author = {Kevin Bierhoff and Jonathan Aldrich},
title = {Modular typestate checking of aliased objects},
booktitle = OOPSLA,
year = {2007},
isbn = {978-1-59593-786-5},
pages = {301--320},
location = {Montr\'{e}al, Qu\'{e}bec, Canada},
doi = {http://doi.acm.org/10.1145/1297027.1297050},
publisher = {ACM Press},
}
@inproceedings{bnk+07tracking,
author = {Michael D. Bond and Nicholas Nethercote and Stephen W. Kent and Samuel Z. Guyer and Kathryn S. McKinley},
title = {Tracking bad apples: reporting the origin of null and undefined value errors},
booktitle = OOPSLA,
year = {2007},
isbn = {978-1-59593-786-5},
pages = {405--422},
location = {Montr\'{e}al, Qu\'{e}bec, Canada},
}
@InProceedings{dwyer-purandare-07-residual,
author = {Matthew B. Dwyer and Rahul Purandare},
title = {Residual Dynamic Typestate Analysis: Exploiting Static Analysis Results to
Reformulate and Reduce the Cost of Dynamic Analysis},
booktitle = ASE,
pages = {124--133},
year = {2007},
publisher = {ACM Press},
}
@inproceedings{xu-07-dynamic,
author = {Haiying Xu and Christopher J. F. Pickett and Clark Verbrugge},
title = {Dynamic Purity Analysis for {Java} Programs},
booktitle = {PASTE'07: Proceedings of the 7th {ACM} {SIGPLAN}-{SIGSOFT} Workshop on Program Analysis for Software Tools and Engineering},
month = jun,
year = {2007},
location = {San Diego, California, USA},
publisher = {ACM Press},
address = {New York, NY, USA},
}
@INPROCEEDINGS{bockisch:aosd04,
author = {Christoph Bockisch and Michael Haupt and Mira Mezini and Klaus
Ostermann},
title = {Virtual machine support for dynamic join points},
pages = {83-92},
crossref = {:aosd04},
}
@PROCEEDINGS{:aosd04,
editor = {Karl Lieberherr},
month = mar,
year = 2004,
title = {Proc. 3rd Int' Conf. on Aspect-Oriented Software Development
{({AOSD}-2004)}},
booktitle = {Proc. 3rd Int' Conf. on Aspect-Oriented Software Development
{({AOSD}-2004)}},
publisher = {ACM Press},
location = {Lancaster, England}
}
@inproceedings{Bodden06Efficient,
author = {Eric Bodden, Volker Stolz},
title = {Efficient temporal pointcuts through dynamic advice deployment},
month = {03},
year = {2006},
booktitle = {Workshop on Open Aspect Languages, Bonn, Germany},
url = {http://www.bodden.de/publications},
}
@article{Hatcliff00Slicing,
author = {John Hatcliff and Matthew B. Dwyer and Hongjun Zheng},
title = {Slicing Software for Model Construction},
journal = {Higher-Order and Symbolic Computation},
volume = "13",
number = "4",
year = "2000",
issn = "1388-3690",
pages = "315-353",
doi = {http://dx.doi.org/10.1023/A:1026599015809},
publisher = {Kluwer Academic Publishers},
address = {Hingham, MA, USA},
}
@INPROCEEDINGS{balzarotti:aosd-foal04,
author = {David Balzarotti and Mattia Monga},
title = {Using Program Slicing to Analyze Aspect Oriented Composition},
pages = {25-30},
crossref = {:aosd-foal04}
}
@PROCEEDINGS{:aosd-foal04,
editor = {Curtis Clifton and Ralf {L{\"a}mmel} and Gary T. Leavens},
month = mar,
year = 2004,
title = {FOAL: Foundations Of Aspect-Oriented Languages},
booktitle = {FOAL: Foundations Of Aspect-Oriented Languages},
url = {http://www.cs.iastate.edu/FOAL/},
city = {Lancaster, England}
}
@BOOK{Clarke99Model,
author = {Edmund M. Clarke and Orna Grumberg and Doron A. Peled},
year = 1999,
title = {Model Checking},
publisher = {The {MIT} Press},
address = {Cambridge, Massachusetts},
isbn = 0262032708,
topic = {model-checking;program-verification;}
}
@INPROCEEDINGS{Muller88Weak,
author = {David E. Muller and Ahmed Saoudi and Paul E. Schupp},
editor = {Yuri Gurevich},
month = {July},
year = 1988,
title = {Weak Alternating Automata Give a Simple Explanation of Why Most
Temporal and Dynamic Logics are Decidable in Exponential Time},
booktitle = {Proceedings of the Third Annual IEEE Symp. on Logic in Computer
Science, {LICS} 1988},
pages = {},
publisher = {IEEE Computer Society Press},
location = {Edinburgh, Scotland, UK}
}
@unpublished{termProverContest,
author = "Termination Competition",
title = "Annual International Competition of Termination Tools",
note = "\url{http://www.lri.fr/~marche/termination-competition/}",
year = "2006"}
@INPROCEEDINGS{Pnu77TheTemporal,
author = {Amir Pnueli},
year = 1977,
title = {The temporal logic of programs},
booktitle = {Proceedings of the 18th IEEE Symposium on the Foundations of
Computer Science},
pages = {46--57},
publisher = {IEEE Computer Society Press}
}
@unpublished{aprove06,
author = "AProVE",
title = "Automated {P}rogram {V}erification {E}nvironment",
note = "\url{http://aprove.informatik.rwth-aachen.de/}",
year = "2006"}
@unpublished{sloccount06,
author = "David Wheeler",
title = "{SLOCCount}",
note = "\url{http://www.dwheeler.com/sloccount/}",
year = "2006"}
@unpublished{ajhotdraw06,
author = "Arie van Deursen and Leon Moonen and Marius Marin",
title = "{AJHotDraw}",
note = "\url{http://sourceforge.net/projects/ajhotdraw/}",
year = "2006"}
@unpublished{jigsaw,
author = "w3c",
title = "{Jigsaw}",
note = "\url{http://www.w3.org/Jigsaw/}",
year = "2006"}
mastersthesis{bodden05jlo,
author = {Eric Bodden},
title = {{J-LO - A tool for runtime-checking temporal assertions}},
month = {November},
year = {2005},
school = {{RWTH} {A}achen University},
url = {http://www.bodden.de/publications},
}
@article{jarzabek98,
author = "Stan Jarzabek",
title = "Design of Flexible Static Program Analyzers with {PQL}",
journal = "{IEEE} Transactions on Software Engineering",
volume = "24",
number = "3",
year = "1998",
pages = "197-215"}
@inproceedings{pldi05abc,
author = "Pavel Avgustinov and
Aske Simon Christensen and
Laurie Hendren and
Sascha Kuzins and
Jennifer Lhot{\'{a}}k and
Ond\v{r}ej Lhot{\'{a}}k and
Oege de Moor and
Damien Sereni and
Ganesh Sittampalam and
Julian Tibble",
title = "Optimising {AspectJ}",
booktitle = PLDI,
year = "2005",
pages = "117--128",
publisher = "ACM Press"}
@inproceedings{gpce05abc,
author = "Chris Allan and
Pavel Avgustinov and
Aske Simon Christensen and
Laurie Hendren and
Sascha Kuzins and
Jennifer Lhot{\'{a}}k and
Ond\v{r}ej Lhot{\'{a}}k and
Oege de Moor and
Damien Sereni and
Ganesh Sittampalam and
Julian Tibble",
title = "The {AspectBench Compiler} for {AspectJ}",
booktitle = "Generative Programming and Component Engineering",
publisher = "Springer",
series = "LNCS",
volume = "3676",
pages = "10--16",
year = "2005"
}
@inproceedings{aosd05abc,
author = "Pavel Avgustinov and
Aske Simon Christensen and
Laurie Hendren and
Sascha Kuzins and
Jennifer Lhot{\'{a}}k and
Ond\v{r}ej Lhot{\'{a}}k and
Oege de Moor and
Damien Sereni and
Ganesh Sittampalam and
Julian Tibble",
title = "{\em abc}: An Extensible {AspectJ} Compiler",
booktitle = AOSD,
month = mar,
year = "2005",
pages = "87--98",
publisher = "ACM Press"}
@inproceedings{oopsla05abc,
author = "Chris Allan and
Pavel Avgustinov and
Aske Simon Christensen and
Laurie Hendren and
Sascha Kuzins and
Ond\v{r}ej Lhot{\'{a}}k and
Oege de Moor and
Damien Sereni and
Ganesh Sittampalam and
Julian Tibble",
title = "{Adding Trace Matching with Free Variables to AspectJ}",
booktitle = OOPSLA,
month = oct,
year = "2005",
pages = "345-364",
publisher = "ACM Press"
}
@unpublished{recebli05,
author = "Elcin Re{\,{c}}ebli",
title = "Pure Aspects",
note = "MSc dissertation, University of Oxford.
Available from \url{http://aspectbench.org}",
year = "2005"}
@inproceedings{visser02,
AUTHOR = "Eelco Visser",
TITLE = "Meta-programming with concrete object syntax",
BOOKTITLE = "Generative programming and component engineering (GPCE)",
YEAR = "2002",
PAGES = "299-315"}
@inproceedings{lhotak04b,
AUTHOR = "Ondrej Lhotak and Laurie Hendren",
TITLE = "Jedd: A {BDD}-based relational extension of Java",
BOOKTITLE = "Programming Language Design and Implementation (PLDI)",
YEAR = "2004"}
@unpublished{fsharp,
AUTHOR = "Don Syme",
TITLE = "{$F^{\#}$}Home Page",
NOTE = "\url{http://research.microsoft.com/projects/ilx/fsharp.aspx}",
YEAR = "2005"}
@inproceedings{mycroft84,
AUTHOR = "Neil D. Jones and Alan Mycroft",
TITLE = "Stepwise Development of Operational and Denotational
Semantics for Prolog",
BOOKTITLE = "Symposium on Logic Programming",
YEAR = "1984",
PAGES = "281-288"}
@book{sestoft04,
AUTHOR = "Peter Sestoft and Henrik I. Hansen",
TITLE = "{$C^{\#}$} Precisely",
YEAR = "2004",
PUBLISHER = "{MIT} Press"}
@inproceedings{ekman04b,
AUTHOR = "Torbj{\"o}rn Ekman and G{\"o}rel Hedin",
TITLE = "Rewritable Reference Attributed Grammars",
BOOKTITLE = "European Conference on Object-Oriented Programming",
EDITOR = "Martin Odersky",
PAGES = "144-169",
YEAR = "2004"}
@inproceedings{horwitz92,
AUTHOR = "Susan Horwitz and Thomas Reps",
TITLE = "The use of program dependence graphs in software engineering",
BOOKTITLE = "International Conference on Software Engineering ({ICSE})",
YEAR = "1992",
PAGES = "392-411"}
@inproceedings{ettinger04,
AUTHOR = "Ran Ettinger and Mathieu Verbaere",
TITLE = "Untangling: a slice extraction refactoring",
BOOKTITLE = "Aspect-Oriented Software Development (AOSD)",
EDITOR = "Gail C. Murphy and Karl J. Lieberherr",
YEAR = "2004",
PAGES = "93-101"}
@inproceedings{wadler85,
AUTHOR = "Philip Wadler",
TITLE = "How to replace failure by a list of successes: a method
for exception handling, backtracking and pattern matching
in lazy functional languages",
EDITOR = "Jean-Pierre Jouannaud",
BOOKTITLE = "Functional Programming Languages and Computer Architecture",
SERIES = "Lecture Notes in Computer Science",
VOLUME = "201",
PAGES = "113-128",
YEAR = "1985"}
@unpublished{ettinger05,
AUTHOR = "Ran Ettinger and Mathieu Verbaere",
TITLE = "Refactoring bugs in {Eclipse, IDEA and VS}",
NOTE = "\url{http://progtools.comlab.ox.ac.uk/refactoring/bugreports}",
YEAR = "2005"}
@book{kerievsky05,
AUTHOR = "Joshua Kerievsky",
TITLE = "Refactoring to Patterns",
PUBLISHER = "Addison Wesley",
YEAR = "2005"}
@book{wake03,
AUTHOR = "William C. Wake",
TITLE = "Refactoring Workbook",
PUBLISHER = "Addison Wesley",
YEAR = "2003"}
@unpublished{fowler05,
AUTHOR = "Martin Fowler",
TITLE = "Refactoring Home Page",
NOTE = "\url{http://www.refactoring.com}",
YEAR = "2005"}
@inproceedings{hanus95,
AUTHOR = "Michael Hanus and Herbert Kuchen and Juan J. Moreno-Navarro",
TITLE = "Curry: A truly functional logic language",
BOOKTITLE = "{ILPS} '95 Workshop on Visions for the Future of
Logic Programming",
PAGES = "95--107",
YEAR = "1995"}
@inproceedings{robinson82,
AUTHOR = "J. A. Robinson and E. E. Sibert",
TITLE = "{LOGLISP}: Motivation, design and implementation",
EDITOR = "K. L. Clark and S. A. T{\"{a}}nlund",
BOOKTITLE = "Logic Programming",
PUBLISHER = "Academic Press",
YEAR = "1982",
PAGES = "299--313"}
@techreport{liu05,
AUTHOR = "Yanhong Annie Liu and Scott D. Stoller",
TITLE = "Querying Complex Graphs",
INSTITUTION = "SUNY at Stony Brook",
NUMBER = "Technical report LS 05",
YEAR = "2005"}
@inproceedings{mens02,
AUTHOR = "Tom Mens and Serge DeMeyer and Dirk Janssens",
TITLE = "Formalising Behaviour Preserving Program Transformations",
BOOKTITLE = "Graph Transformation",
SERIES = "Lecture Notes in Computer Science",
VOLUME = "2505",
PAGES = "286--301",
YEAR = "2002"}
@article{mens05,
AUTHOR = "Tom Mens and Gabriele Taentzer and Olga Runge",
TITLE = "Detecting Structural Refactoring Conflicts Using Critical Pair Analysis",
JOURNAL = "Electronic Notes in Theoretical Computer Science",
VOLUME = "127",
NUMBER = "3",
YEAR = "2005"}
@inproceedings{donovan04,
AUTHOR = "Alan Donovan and Adam Kiezun and Matthew S. Tschantz and
Michael D. Ernst",
TITLE = "Converting Java Programs to use Generic Libraries",
BOOKTITLE = "Object-Oriented Programming, Systems and Languages",
YEAR = "2004",
PAGES = "15-34"}
@inproceedings{tip03,
AUTHOR = "Frank Tip",
TITLE = "Refactoring for generalization using type constraints",
BOOKTITLE = "Object-Oriented Programming, Systems and Languages",
YEAR = "2003",
PAGES = "13--26"}
@inproceedings{lerner03,
AUTHOR = "Lerner, Sorin and Millstein, Todd and Chambers, Craig",
TITLE = "Automatically Proving the Correctness of Compiler Optimizations",
BOOKTITLE = "{ACM} Conference on Programming Language Design and
Implementation",
YEAR = "2003",
PAGES = "220--231"}
@inproceedings{engler97,
AUTHOR = "Engler, Dawson R.",
TITLE = "Incorporating application semantics and control into compilation",
BOOKTITLE = "Proceedings of the First Conference on Domain-Specific Languages",
PAGES = "103--118",
YEAR = "1987",
PUBLISHER = "USENIX"}
@incollection{assmann98,
AUTHOR = "A{\ss}mann, Uwe",
TITLE = "{OPTIMIX} --- A tool for Rewriting and Optimizing Programs",
BOOKTITLE = "Handbook of Graph Grammars and Computing by Graph Transformation.
Volume 2: Applications, Languages and Tools",
EDITOR = "Ehrig, H. and Engels, G. and Kreowski, H. J. and Rozenberg, G.",
YEAR = "1998",
PAGES = "307--318",
PUBLISHER = "World Scientific"}
@InProceedings{visser01b,
author = {Visser, Eelco},
title = {A Survey of Strategies in Program Transformation
Systems},
series = {Electronic Notes in Theoretical Computer Science},
volume = "57/2",
year = 2001,
editor = {B. Gramlich and S. Lucas},
address = {Utrecht, The Netherlands},
month = {May},
publisher = {Elsevier Science Publishers},
booktitle = {Workshop on Reduction Strategies in Rewriting and
Programming (WRS'01)}
}
@InProceedings{olmos02,
author = {Olmos, Karian and Visser, Eelco},
title = {Strategies for source-to-source constant propagation},
series = {Electronic Notes in Theoretical Computer Science},
volume = {70},
year = 2002,
editor = {B. Gramlich and S. Lucas},
month = {May},
publisher = {Elsevier Science Publishers},
booktitle = {Workshop on Reduction Strategies in Rewriting and
Programming (WRS'02)}
}
@techreport{olmos02tr,
author = {Olmos, Karina and Visser, Eelco},
title = {Strategies for source-to-source constant propagation},
number = {UU-CS-2002-042},
year = 2002,
institution = {Utrecht University},
note = "Available from URL: \url{http://www.cs.uu.nl/research/techreps/UU-CS-2002-042.html}",
publisher = {Elsevier Science Publishers},
booktitle = {Workshop on Reduction Strategies in Rewriting and
Programming (WRS'02)}
}
@inproceedings{lerner05,
author = {Sorin Lerner and Todd Millstein and Erika Rice and Craig Chambers},
title = {Automated soundness proofs for dataflow and analyses via local rules},
booktitle = {Principles of Programming Languages (POPL)},
pages = {364-377},
year = {2005}}
@article{cordy02,
author = "James R. Cordy and Thomas Dean and Andrew Milton and Kevin Schneider",
title = "Source transformation in software engineering using the {TXL} transformation
system",
journal = "Information and Software Technology",
volume = "44",
number = "3",
pages = "827-837",
year = "2002"}
@inproceedings{sittampalam04,
author = {Ganesh Sittampalam and De Moor, Oege and Larsen, Ken Friis},
title = {Incremental execution of transformation specifications},
booktitle = {Principles of Programming Languages (POPL)},
pages = {26-38},
year = {2005}}
@unpublished{guyerlin00a,
AUTHOR = "Guyer, S. Z. and Lin, C.",
TITLE = "Broadway: A Software Architecture for Scientific Computing",
YEAR = "2000",
NOTE = "Proceedings of the IFIPS Working Group 2.5 Working Conference on Software Architectures for Scientific Computing Applications. (to appear) October, 2000."}
@inproceedings{guyerlin00b,
AUTHOR = "Guyer, S. Z. and Lin, C.",
TITLE = "Optimizing High Performance Software Libraries",
YEAR = "2000",
BOOKTITLE = "Proceedings of the 13th International Workshop on Languages and Compilers for Parallel Computing. August, 2000." }
@article{whitfield94,
AUTHOR = "Whitfield, Deborah and Soffa, Mary Lou",
TITLE = "The design and implementation of Genesis",
JOURNAL = "Software --- Practice and Experience",
VOLUME = "24",
NUMBER = "3",
PAGES = "307--325",
YEAR = "1994"}
@inproceedings{whitfield90,
AUTHOR = "Whitfield, Deborah and Soffa, Mary Lou",
TITLE = "An approach to ordering optimizing transformations",
BOOKTITLE = "{ACM} Symposium on Principles and Practice of Parallel Programming",
PAGES = "137--147",
YEAR = "1990"}
@inproceedings{whitfield93,
AUTHOR = "Whitfield, Deborah and Soffa, Mary Lou",
TITLE = "Investigation of Properties of Code Transformations",
BOOKTITLE = "International Conference on Parallel Processing",
PAGES = "156--160",
YEAR = "1993"}
@inproceedings{whitfield91,
AUTHOR = "Whitfield, Deborah and Soffa, Mary Lou",
TITLE = "Automatic generation of global optimizers",
BOOKTITLE = "{ACM SIGPLAN} Conference on Programming Language Design and
Implementation",
PAGES = "120--129",
YEAR = "1991"}
@unpublished{jhotdraw,
author = "Erich Gamma",
title = "{JHotDraw}",
note = "Available from \url{http://sourceforge.net/projects/jhotdraw}",
year = "2004"}
@article{palsberg97,
author = "Jens Palsberg and Boaz {Patt-Shamir} and Lieberherr, Karl J.",
title = "A new approach to compiling adaptive programs",
journal = "Science of Computer Programming",
year = "1997",
pages = "303--326",
volume = "29",
number = "3"}
@inproceedings{lieberherr05,
author = "Lieberherr, Karl J. and Palm, Jeffrey and Sundaram, Ravi",
title = "Expressiveness and Complexity of Crosscut Languages",
booktitle = "Proceedings of the eth workshop on Foundations
of Aspect-Oriented Languages ({FOAL} '05)",
year = "2005"}
@inproceedings{goldsmith05,
author = "Simon Goldsmith and Robert O'Callahan and Alex Aiken",
title = "Relational Queries over Program Traces",
booktitle = OOPSLA,
month = oct,
pages = "385--402",
year = "2005",
publisher = {ACM Press}
}
@inproceedings{lam05,
author = "Martin, Michael and Livshits, Benjamin and Lam, Monica S.",
title = "Finding application errors using {PQL}: a Program Query Language",
month = oct,
booktitle = OOPSLA,
pages = "365--383",
issn = "0362-1340",
year = "2005"}
@inproceedings{hajiyev05,
author = "Elnar Hajiyev and Mathieu Verbaere and De Moor, Oege and
De Volder, Kris",
title = "CodeQuest with DataLog",
booktitle = "{OOPSLA} Companion",
year = "2005"}
@inproceedings{vanderperren05,
author = "Wim Vanderperren and Davy Suv{\'{e}} and
Mar{\'{i}}a Augustina Cibr{\'{a}}n and
Bruno De Fraine",
title = "Stateful aspects in {JAsCo}",
booktitle = "Workshop on Software Composition at {ETAPS}",
year = "2005"}
@inproceedings{fritz05,
author = "Thomas Fritz and Marc S{\'{e}}gura and
Mario S{\"{u}}dholt and Egon Wuchner and
Jean-Marc Menaud",
title = "An application of dynamic {AOP} to medical image generation",
booktitle = "2nd Dynamic Aspects Workshop ({DAW05})",
year = "2005",
pages = "5--12"}
@inproceedings{douence05,
author = "R{\'{e}}mi Douence and Thomas Fritz and
Nicolas Loriant and Jean-Marc Menaud and
Marc S{\'{e}}gura and Mario S{\"{u}}dholt",
title = "An expressive aspect language for system applications with
Arachne",
booktitle = "Aspect-Oriented Software Development",
year = "2005",
pages = "27-38"}
@inproceedings{bockish05,
author = "Christoph Bockisch and Mira Mezini and Klaus Ostermann",
title = "Quantifying over Dynamic Properties of Program Execution",
booktitle = "2nd Dynamic Aspects Workshop ({DAW05})",
year = "2005",
pages = "71--75"}
@inproceedings{ostermann05,
author = "Klaus Ostermann and Mira Mezini and Christoph Bockisch",
title = "Expressive pointcuts for increased modularity",
booktitle = "{ECOOP}",
year = "2005"}
@inproceedings{cibran05,
author = "Mar{\'{i}}a Augustina Cibr{\'{a}}n and Bart Verheecke",
title = "Dynamic Business Rules for Web Service Composition",
booktitle = "2nd Dynamic Aspects Workshop ({DAW05})",
year = "2005",
pages = "13--18"}
@unpublished{aarts92,
month = "September",
title = "A Relational Theory of Datatypes",
author = "Aarts, C. J. and Backhouse, R. C. and Hoogendijk, P. F. and Voermans, E. and Van der Woude, J. C. S. P.",
year = "1992",
note = "Available from URL \verb|http://www.win.tue.nl/win/cs/wp/papers/papers.html|"}
@unpublished{abc,
author = "abc",
title = "{The AspectBench Compiler}",
note = "Home page \url{http://aspectbench.org}",
url = "http://aspectbench.org"}
@phdthesis{adams91,
title = "Modular Attribute Grammars for Programming Language Prototyping",
author = "Adams, S.",
school = "University of Southampton",
year = "1991",
type = "Ph.\uppercase{D}. thesis"}
@book{aho85,
publisher = "Addison Wesley",
title = "Compilers: Principles, Techniques and Tools",
author = "Aho, A. V. and Sethi, R. and Ullman, J. D.",
year = "1985"}
@article{ahrens75,
journal = "Operations Research",
volume = "23",
title = "Merging and sorting applied to the 0-1 knapsack problem",
year = "1975",
pages = "1099--1109",
number = "6",
author = "Ahrens, J. H. and Finke, G."}
@Misc{ajc01,
author = {{the AspectJ team, Xerox Corporation}},
title = {The {AspectJ} Development Environment Guide},
howpublished = {http://dev.eclipse.org/viewcvs/indextech.cgi/~checkout~/aspectj-home/doc/devguide/index.html},
year = 2001
}
@Misc{aspectjhome,
author = {{AspectJ Eclipse Home}},
title = {The {AspectJ} Home page},
howpublished = {http://eclipse.org/aspectj/},
year = 2003
}
@Misc{aspectj5notebook,
author = "The AspectJ Team",
title = "{The AspectJ 5 Development Kit Developer's Notebook}",
howpublished = "\url{http://eclipse.org/aspectj/}
\url{doc/next/adk15notebook/}",
year = 2004}
@Misc{asberry02,
author = {R. Dale Asberry},
title = {Aspect Oriented Programming ({AOP}): Using {AspectJ}
to implement and enforce coding standards},
howpublished = {\url{http://www.daleasberry.com/newsletters/200210/20021002.shtml}},
year = 2002
}
@inproceedings{ball04,
author = "Thomas Ball and Byron Cook and Vladimir Levin and Sriram K. Rajamani",
title = "{SLAM} and Static Driver Verifier: Technology Transfer of Formal Methods
inside {Microsoft}",
booktitle = "Integrated Formal Methods",
editor = "Eerke Boiten and John Derrick and Graeme Smith",
pages = "1--20",
year = "2004"}
@Misc{Certrevsim00,
author = {Andr\'e Arnes},
title = {Certificate Revocations Performance Simulation Project},
howpublished = {\url{http://www.pvv.ntnu.no/~andrearn/certrev/sim.html}},
year = 2000
}
@Misc{AOSD_LoDCode03,
author = { Karl Lieberherr and David H. Lorenz and Pengcheng Wu },
title = {A Case for Statically Executable Advice: Checking the Law of Demeter with {AspectJ}},
howpublished = {Code available from URL: \url{http://www.ccs.neu.edu/home/lorenz/papers/aosd2003lod/}},
year = 2003
}
@inproceedings{aksit94,
volume = "791",
title = "Abstracting Object Interactions Using Composition Filters",
booktitle = "ECOOP '93 Workshop on Object-based Distributed Programming",
year = "1994",
editor = "R. Guerraoui and O. Nierstrasz and M. Riveill",
pages = "152--184",
publisher = "Springer",
author = "M. Aksit and K. Wakita and J. Bosch and L. Bergmans and A. Yonezawa",
series = "Lecture Notes in Computer Science"}
@techreport{aldrich04,
author = "Jonathan Aldrich",
title = "Open Modules: A proposal for modular reasoning in
aspect-oriented programming",
institution = "Institute for Software Research, Carnegie Mellon University",
number = "CMU-ISRI-04-108",
year = "2004"}
@inproceedings{aldrich05,
author = "Jonathan Aldrich",
title = "{Open Modules: Modular Reasoning about Advice}",
booktitle = "Proceedings of the European Conference on Object-Oriented
Programming",
publisher = "Springer",
volume = "3586",
pages = "144--168",
series = "LNCS",
year = "2005"}
@unpublished{andersen97,
title = "An introduction to binary decision diagrams",
author = "Andersen, H. R.",
year = "1997",
note = "Available at URL \url{http://www.itu.dk/people/hra/bdd97-abstract.html}"}
@inproceedings{andrews01,
volume = "2192",
title = "Process-algebraic Foundations of Aspect-oriented Programming",
booktitle = "Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns (Reflection 2001)",
year = "2001",
editor = "Akinori Yonezawa and Satoshi Matsuoka",
pages = "187--209",
publisher = "Springer",
author = "J. H. Andrews",
series = "Lecture Notes in Computer Science"}
@misc{aop01,
howpublished = "Volume 44:10",
title = "Communications of the {ACM}",
year = "2001",
month = "October",
key = "Communications of the {ACM}",
note = "Special issue on aspect-oriented programming"}
@misc{aosd04,
author = "aosd",
title = "{ACM} Conference on Aspect-Oriented Software Development",
url = "http://www.aosd.net"}
@book{appel98,
publisher = "Cambridge University Press",
title = "Modern Compiler Implementation in \uppercase{ML}",
author = "Appel, Andrew W.",
year = "1998"}
@book{asperti91,
publisher = "MIT Press",
title = "Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist",
author = "Asperti, A. and Longo, G.",
year = "1991",
series = "Foundations of Computing Series"}
@inproceedings{assmann96,
volume = "1060",
title = "How to Uniformly Specify Program Analysis and Transformation with Graph Rewrite Systems",
year = "1996",
booktitle = "Compiler Construction 1996",
editor = "P. Fritzson",
publisher = "Springer",
author = "Assmann, U.",
series = "Lecture Notes in Computer Science"}
@inproceedings{assmann99,
country = "Germany",
title = "{Aspect Weaving by Graph Rewriting}",
booktitle = "Generative Component-based Software Engineering (GCSE) ",
year = 1999,
editor = "Eisenecker, U. W. and Czarnecki, K.",
number = 1799,
address = "Erfurt",
author = "A{\ss}mann, Uwe and Ludwig, Andreas",
series = "Lecture Notes in Computer Science"}
@misc{atrack,
author = "atrack",
title = "The atrack bug-tracking system",
url = "https://atrack.dev.java.net/",
year = "2004"}
@misc{augusteijn00,
title = "Definition of the programming language Elegant",
author = "L. Augusteijn",
year = "2000",
note = "Release 7.1, Philips Research Laboratories, Eindhoven, the Netherlands, February 2000. URL: http://www.research.philips.com/generalinfo/special/elegant/elegant.html."}
@inproceedings{augusteijn92,
volume = "669",
title = "An Alternative Derivation of a Binary Heap Construction Function",
year = "1992",
booktitle = "Mathematics of Program Construction",
pages = "368--374",
editor = "Bird, R. S. and Morgan, C. C. and Woodcock, J. C. P.",
publisher = "Springer Verlag",
author = "Augusteijn, A.",
series = "Lecture Notes in Computer Science"}
@phdthesis{augusteijn93,
title = "Functional programming, program transformations and compiler construction",
author = "Augusteijn, A.",
school = "Department of Computing Science, Eindhoven University of Technology, The Netherlands",
year = "1993",
note = "See also: {\tt http://www.research.philips.com/generalinfo/special/elegant/elegant.html}"}
@article{augustsson94,
journal = "Journal of Functional Programming",
volume = "4",
title = "Functional Pearl: On Generating Unique Names",
author = "Augustsson, L. and Rittri, M. and Synek, D.",
year = "1994",
pages = "117--123"}
@incollection{bac77a,
volume = "52",
title = "Factor graphs, failure functions and bi-trees",
year = 1977,
booktitle = "Fourth Colloquium on Automata, Languages and Programming",
pages = "61--75",
editor = "A. Salomaa and M. Steinby",
month = "July",
publisher = "Springer Verlag",
author = "Backhouse, R.C. and Lutz, R.K. ",
organisation = "University of Turku, Finland",
series = "Lecture Notes in Computer Science"}
@inproceedings{backhouse01,
volume = "2028",
title = "Fusion on Languages",
year = "2001",
booktitle = "10th European Symposium on Programming, ESOP 2001",
pages = "107--121",
publisher = "Springer",
author = "Backhouse, R.",
series = "Lecture Notes in Computer Science"}
@article{backhouse75,
journal = "Journal of the Institute of Mathematics and its Applications",
volume = "15",
title = "Regular algebra applied to path-finding problems",
author = "Backhouse, R. C. and Carr{\'{e}}, B. A.",
year = "1975",
pages = "161--186"}
@phdthesis{backhouse75b,
title = "Closure algorithms and the star-height problem of regular languages",
author = "Backhouse, R. C.",
school = "Imperial College, London",
year = "1975",
type = "Ph.D. thesis"}
@article{backhouse89,
journal = "EATCS Bulletin",
volume = "38",
title = "Making formality work for us",
author = "Backhouse, R. C.",
year = "1989",
pages = "219--249"}
@inproceedings{backhouse91,
title = "Relational Catamorphisms",
year = "1991",
booktitle = "Constructing Programs from Specifications",
pages = "287--318",
editor = "B. M{\"o}ller",
publisher = "Elsevier Science Publishers",
author = "Backhouse, R. C. and De Bruin, P. and Malcolm, G. and Voermans, T. S. and Van der Woude, J. C. S. P."}
@inproceedings{backhouse92,
title = "Polynomial Relators",
year = "1992",
booktitle = "Algebraic Methodology and Software Technology",
pages = "303--362",
editor = "Nivat, M. and Rattray, C. S. and Rus, T. and Scollo, G.",
publisher = "Springer Verlag",
author = "Backhouse, R. C. and De Bruin, P. and Hoogendijk, P. F. and Malcolm, G. and Voermans, T. S. and Van der Woude, J. C. S. P.",
series = "Workshops in Computing"}
@article{backhouse93a,
journal = "Mathematical Structures in Computing Science",
volume = "3",
title = "Demonic Operators and Monotype Factors",
year = "1993",
pages = "417--433",
number = "4",
author = "Backhouse, R. C. and Van der Woude, J. C. S. P."}
@inproceedings{backhouse93b,
volume = "755",
title = "Elements of a Relational Theory of Datatypes",
year = "1993",
booktitle = "Formal Program Development",
pages = "7--42",
editor = "{M\"oller}, B. and Partsch, H. and Schuman, S.",
publisher = "Springer Verlag",
author = "Backhouse, R. C. and Hoogendijk, P. F.",
series = "Lecture Notes in Computer Science"}
@unpublished{backhouse93c,
title = "A Class of Commuting Relators",
author = "Backhouse, R. C. and Doornbos, H. and Hoogendijk, P.",
note = "Available from URL \verb|http://www.win.tue.nl/win/cs/wp/papers/papers.html|"}
@article{backus78,
journal = "Communications of the ACM",
volume = "21",
title = "Can programming be liberated from the \uppercase{V}on \uppercase{N}eumann style? A functional style and its algebra of programs",
author = "Backus, J.",
year = "1978",
pages = "613--641"}
@inproceedings{backus81,
volume = "107",
title = "The algebra of functional programs: Function level reasoning, linear equations and extended definitions",
year = "1981",
booktitle = "Formalization of Programming Concepts",
pages = "1--43",
editor = "D\'{\i}az, J. and Ramos, I.",
publisher = "Springer Verlag",
author = "Backus, J.",
series = "Lecture Notes in Computer Science"}
@inproceedings{backus85,
volume = "185",
title = "From function level semantics to program transformations and optimization",
year = "1985",
booktitle = "Mathematical Foundations of Software Development, Vol. 1",
pages = "60--91",
editor = "Ehrig, H. and Floyd, C. and Nivat, M. and Thatcher, J.",
publisher = "Springer Verlag",
author = "Backus, J.",
series = "Lecture Notes in Computer Science"}
@book{barr85,
volume = "278",
title = "Toposes, Triples and Theories",
year = "1985",
publisher = "Springer Verlag",
author = "Barr, M. and Wells, C.",
series = "Grundlehren der Mathematischen Wissenschaften"}
@book{barr90,
publisher = "Prentice Hall",
title = "Category Theory for Computing Science",
author = "Barr, M. and Wells, C.",
year = "1990",
series = "International Series in Computer Science"}
@article{batory02,
author = "Don Batory and Clay Johnson and Bob MacDonald and von Heeder, Dale",
title = "Achieving Extensibility through Product-lines and Domain-specific Languages: A Case Study",
journal = "{ACM} Transactions on Software Engineering and Methodology",
volume = "11",
number = "2",
month = "April",
year = "2002",
pages = "191--214"}
@inproceedings{bellegarde94,
volume = "816",
title = "A Transformation System Combining Partial Evaluation with Term Rewriting",
year = "1994",
booktitle = "Higher-Order Algebra, Logic and Term Rewriting",
pages = "40--55",
publisher = "Springer Verlag",
author = "Bellegarde, F.",
series = "Lecture Notes in Computer Science"}
@book{bellman57,
publisher = "Princeton University Press",
title = "Dynamic Programming",
author = "Bellman, R. E.",
year = "1957"}
@book{bellman62,
publisher = "Princeton University Press",
title = "Applied Dynamic Programming",
author = "Bellman, R. E. and Dreyfus, S. E.",
year = "1962"}
@inproceedings{benton98,
author = "Benton, Nick and Kennedy, Andrew and Russell, Claudio",
title = "Compiling Standard {ML} to {Java} bytecodes",
booktitle = "3rd {ACM SIGPLAN} conference on Functional Programming",
year = "1998"}
@article{berghammer86,
journal = "Theoretical Computer Science",
volume = "43",
title = "Relational algebraic semantics of deterministic and non-deterministic programs",
year = "1986",
pages = "123--147",
number = "2--3",
author = "Berghammer, R. and Zierer, H."}
@inproceedings{berghammer91,
volume = "54",
title = "Relation algebra and logic of programs",
year = "1991",
booktitle = "Algebraic Logic",
pages = "37--58",
editor = "Andreka, H. and Monk, J. D.",
publisher = "North-Holland",
author = "Berghammer, R. and Kempf, P. and Schmidt, G. and Str{\"{o}}hlein, T.",
series = "Colloquia Mathematica Societatis Janos Bolyai"}
@inproceedings{berghammer95,
volume = "947",
title = "Formal Derivation of \uppercase{CSP} Programs from Temporal Specifications",
year = "1995",
booktitle = "Mathematics of Program Construction",
pages = "180--196",
publisher = "Springer Verlag",
author = "Berghammer, R. and Von Karger, B.",
series = "Lecture Notes in Computer Science"}
@techreport{bik97,
title = "Transformation mechanisms in MT1",
author = "Bik, A. J. C and Brinkhaus, P. J. and Knijnenburg, P. M. W. and Wijshoff, H. A. G.",
year = "1998",
type = "Technical Report",
institution = "Leiden Institute of Advanced Computer Science"}
@article{bird80,
journal = "Computing Surveys",
volume = "12",
title = "Tabulation Techniques for Recursive Programs",
year = "1980",
pages = "403--417",
number = "4",
month = "December",
author = "Bird, R. S."}
@article{bird84,
journal = "ACM Transactions on Programming Languages and Systems",
volume = "6",
title = "The Promotion and Accumulation Strategies in Functional Programming",
year = "1984",
pages = "487--504",
number = "4",
author = "Bird, R. S"}
@article{bird84b,
journal = "Acta Informatica",
volume = "21",
title = "Using Circular Programs to Eliminate Multiple Traversals of Data",
author = "Bird, R. S",
year = "1984",
pages = "239--250"}
@article{bird86,
journal = "Science of Computer Programming",
volume = "6",
title = "Transformational Programming and the Paragraph Problem",
year = "1986",
pages = "159--189",
number = "2",
author = "Bird, R. S."}
@inproceedings{bird87a,
volume = "36",
title = "An Introduction to the Theory of Lists",
year = "1987",
booktitle = "Logic of Programming and Calculi of Discrete Design",
pages = "3--42",
editor = "Broy, M.",
publisher = "Springer Verlag",
author = "Bird, R. S.",
series = "NATO ASI Series F"}
@article{bird87b,
journal = "Science of Computer Programming",
volume = "8",
title = "A formal development of an efficient supercombinator compiler",
year = "1987",
pages = "113--137",
number = "2",
author = "Bird, R. S."}
@inproceedings{bird87c,
title = "Two Exercises found in a Book on Algorithmics",
year = "1987",
booktitle = "Program Specification and Transformation",
pages = "451--458",
editor = "Meertens, L.",
publisher = "North-Holland",
author = "Bird, R. S. and Meertens, L."}
@book{bird88,
publisher = "Prentice Hall",
title = "Introduction to Functional Programming",
author = "Bird, R. S. and Wadler, P.",
year = "1988",
series = "International Series in Computer Science"}
@article{bird89a,
journal = "Science of Computer Programming",
volume = "12",
title = "Formal Derivation of a Pattern Matching Algorithm",
year = "1989",
pages = "93--104",
number = "2",
author = "Bird, R. S. and Gibbons, J. and Jones, G."}
@article{bird89b,
journal = "Computer Journal",
volume = "32",
title = "Algebraic identities for program calculation",
year = "1989",
pages = "122--126",
number = "2",
author = "Bird, R. S."}
@inproceedings{bird89c,
volume = "55",
title = "Lectures on Constructive Functional Programming",
year = "1989",
booktitle = "Constructive Methods in Computing Science",
pages = "151--216",
editor = "Broy, M.",
publisher = "Springer Verlag",
author = "Bird, R. S.",
series = "NATO ASI Series F"}
@inproceedings{bird90,
title = "A Calculus of Functions for Program Derivation",
year = "1990",
booktitle = "Research Topics in Functional Programming",
pages = "287--308",
editor = "Turner, D. A.",
publisher = "Addison-Wesley",
author = "Bird, R. S.",
series = "University of Texas at Austin Year of Programming Series"}
@inproceedings{bird91,
title = "Knuth's Problem",
year = "1991",
booktitle = "Constructing Programs from Specifications",
pages = "1--8",
editor = "M{\"o}ller, B.",
publisher = "Elsevier Science Publishers",
author = "Bird, R. S."}
@article{bird92a,
journal = "Science of Computer Programming",
volume = "18",
title = "The Smallest Upravel",
year = "1992",
pages = "281--292",
number = "3",
author = "Bird, R. S."}
@article{bird92b,
journal = "Journal of Functional Programming",
volume = "2",
title = "Two Greedy Algorithms",
year = "1992",
pages = "237--244",
number = "2",
author = "R. S. Bird"}
@article{bird93c,
journal = "Journal of Functional Programming",
volume = "2",
title = "Unravelling Greedy Algorithms",
year = "1992",
pages = "375--385",
number = "3",
author = "R. S. Bird"}
@article{bird93d,
journal = "Formal Aspects of Computing",
volume = "5",
title = "List Partitions",
year = "1993",
pages = "61--78",
number = "1",
author = "Bird, R. S. and De Moor, O."}
@inproceedings{bird93e,
volume = "669",
title = "Solving Optimisation Problems with Catamorphisms",
year = "1993",
booktitle = "Mathematics of Program Construction",
pages = "45--66",
editor = "Bird, R. S. and Morgan, C. C. and Woodcock, J. C. P.",
publisher = "Springer Verlag",
author = "Bird, R. S. and De Moor, O.",
series = "Lecture Notes in Computer Science"}
@inproceedings{bird93f,
volume = "755",
title = "From Dynamic Programming to Greedy Algorithms",
year = "1993",
booktitle = "Formal Program Development",
pages = "43--61",
editor = "M{\"o}ller, B. and Partsch, H. and Schuman, S.",
publisher = "Springer Verlag",
author = "Bird, R. S. and De Moor, O.",
series = "Lecture Notes in Computer Science"}
@incollection{bird94,
title = "Relational Program Derivation and Context-free Language Recognition",
year = "1994",
booktitle = "A Classical Mind: Essays dedicated to C.A.R. Hoare",
pages = "17--35",
editor = "Roscoe, A. W.",
publisher = "Prentice Hall International",
author = "Bird, R. S. and De Moor, O."}
@article{bird96a,
journal = "Journal of Functional Programming",
volume = "6",
title = "Generic Programming with Relations and Functors",
year = "1996",
number = "1",
author = "Bird, R. S. and Hoogendijk, P. F. and De Moor, O."}
@book{bird96b,
publisher = "Prentice Hall",
title = "Algebra of Programming",
author = "Bird, R. S. and De Moor, O.",
year = "1996",
series = "International Series in Computer Science"}
@book{bird98,
publisher = "Prentice Hall",
title = "Introduction to Functional Programming in Haskell",
author = "Bird, R. S.",
year = "1998",
series = "International Series in Computer Science"}
@book{birkhoff67,
volume = "25",
title = "Lattice Theory",
year = "1967",
edition = "3rd",
publisher = "AMS",
author = "Birkhoff, G.",
series = "American Mathematical Society Colloquium Publications"}
@techreport{bleeker94,
title = "The Calculus of Minimals",
author = "Bleeker, A. M.",
year = "1994",
type = "M.Sc. thesis",
note = "Available from URL \verb|http://www.cwi.nl/~annette/Papers/calculus_minimals.ps|",
number = "INF/SCR-1994-01",
institution = "Department of Computer Science, Utrecht University, The Netherlands"}
@inproceedings{bobrow86,
volume = "791",
title = "CommonLoops: merging Common Lisp and object-oriented programming",
booktitle = "ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA)",
year = "1986",
editor = "Norman K. Meyrowitz",
pages = "152--184",
publisher = "ACM Press",
author = "D. G. Bobrow and K. Kahn and G. Kiczales and L. Masinter and M. Stefik and F. Zdybel"}
@unpublished{Bodden05Concern,
author = {Eric Bodden},
title = {Concern specific languages and their implementation with abc},
note = {{SPLAT} workshop at AOSD. Download: http://www.bodden.de/publications},
year = {2005}
}
@article{boiten92,
journal = "Science of Computer Programming",
volume = "18",
title = "Improving recursive functions by inverting the order of evaluation",
year = "1992",
pages = "139--179",
number = "2",
author = "Boiten, E. A."}
@article{bonzon70,
journal = "Journal of the ACM",
volume = "17",
title = "Necessary and sufficient conditions for dynamic programming of combinatorial type",
year = "1970",
pages = "675--682",
number = "4",
author = "Bonzon, P."}
@techreport{boyle70,
title = "A Transformational Component for Programming Languages Grammar",
author = "Boyle, J. M.",
year = "1970",
type = "Technical Report",
number = "ANL-7690",
institution = "Argonne National Laboratory, IL"}
@inproceedings{boyle87,
title = "Deriving Sequential and Parallel Programs from Pure \uppercase{LISP} Specifications by Program Transformation",
year = "1987",
booktitle = "Proceedings of the \uppercase{IFIP TC2/ WG 2.1} working conference on Program Specification and Transformation",
pages = "1--19",
editor = "Meertens, L. G. L. T.",
publisher = "North-Holland",
author = "Boyle, J. M. and Dritz, K. W. and Muralidharan, M. M. and Taylor, R."}
@inproceedings{boyle89,
publisher = "Addison-Wesley",
title = "Abstract programming and program transformation",
author = "Boyle, J. M.",
year = "1989",
booktitle = "Software Reusability Volume 1",
pages = "361--413"}
@article{boyle92,
journal = "Journal of Functional Programming",
volume = "2",
title = "A Practical Functional Program for the \uppercase{CRAY X-MP}",
year = "1992",
pages = "81--126",
number = "1",
author = "Boyle, J. M. and Harmer, T. J."}
@inproceedings{boyle92b,
volume = "634",
title = "The construction of numerical mathematical software for the \uppercase{AMT DAP} by program transformation",
year = "1992",
booktitle = "Proceedings of \uppercase{CONPAR VAPP V}",
pages = "761--767",
publisher = "Springer",
author = "Boyle, J. M. and Clint, M. and Fitzpatrick, S. and Harmer, T. J.",
series = "Lecture Notes in Computer Science"}
@book{brink96,
publisher = "Springer Verlag",
title = "Relational Methods in Computer Science",
year = "1996",
editor = "Brink, C. and Schmidt, G.",
note = "Supplemental Volume of the Journal {\em Computing}, to appear"}
@article{brinkmann69,
journal = "Journal of Algebra",
volume = "13",
title = "Relations for exact categories",
author = "Brinkmann, H. B.",
year = "1969",
pages = "465--480"}
@book{brook77,
volume = "9",
title = "Order and Recursion in Topoi",
year = "1977",
publisher = "Department of Mathematics, Australian National University, Canberra",
author = "Brook, T.",
series = "Notes on Pure Mathematics"}
@inproceedings{broome94,
publisher = "MIT Press",
title = "Combinatory logic programming: computing in relation calculi",
author = "Broome, P. and Lipton, J.",
year = "1994",
booktitle = "Logic Programming",
editor = "Bruynooghe, M."}
@inproceedings{brown94,
publisher = "IEEE Computer Society Press",
title = "Categories, Allegories and Circuit Design",
author = "Brown, C. and Hutton, G.",
year = "1994",
booktitle = "Logic in Computer Science",
pages = "372--381"}
@misc{brukman03,
author = "Brukman, Michael and Myers, Andrew C.",
title = "{PPG}: a parser generator for extensible grammars",
note = "Available at \url{www.cs.cornell.edu/Projects/polyglot/ppg.html}",
year = "2003",
}
@article{brzozowski64,
journal = "Journal of the ACM",
volume = "11",
title = "Derivatives of regular expressions",
author = "Brzozowski, J. A.",
year = "1964",
pages = "481--494"}
@unpublished{buddy01,
title = "Buddy 2.0",
author = "Lind-Nielsen, J.",
year = "2001",
note = "Available at URL \url{http://www.itu.dk/research/buddy/}"}
@article{buneman00,
journal = "VLDB Journal",
volume = "9",
title = "UnQL: A Query Language and Algebra for Semistructured Data Based on Structural Recursion",
year = "2000",
pages = "76--110",
number = "1",
author = "Buneman, P. and Fernandez, M. and Suciu, D."}
@article{burke90,
journal = "IEEE Transactions on Software Engineering",
volume = "16",
title = "A Critical Analysis of Incremental Iterative Dataflow Analysis Algorithms",
author = "Burke, M. and Ryder, B. G.",
year = "1990"}
@article{burke90b,
journal = "ACM Transactions on Programming Languages and Systems",
volume = "12",
title = "An interval-based approach to exhaustive and incremental interprocedural data flow analysis algorithms",
year = "1990",
pages = "341--395",
number = "3",
author = "Burke, M."}
@inproceedings{burstall69,
volume = "4",
title = "Programs and their proofs: an algebraic approach",
year = "1969",
booktitle = "Machine Intelligence",
pages = "17--43",
publisher = "American Elsevier",
author = "Burstall, R. M. and Landin, P. J."}
@article{burstall77,
journal = "Journal of the ACM",
volume = "24",
title = "A Transformation System for Developing Recursive Programs",
year = "1977",
pages = "44--67",
number = "1",
author = "Burstall, R. M. and Darlington, J."}
@misc{caml,
title = "The {Caml} Language",
year = "2002",
key = "caml",
note = "\url{http://caml.inria.fr/}"}
@article{carboni84,
journal = "Journal of Pure and Applied Algebra",
volume = "33",
title = "Bicategories of Spans and Relations",
year = "1984",
pages = "259--267",
number = "3",
author = "Carboni, A. and Kasangian, S. and Street, R."}
@article{carboni86,
journal = "Pacific Journal of Mathematics",
volume = "124",
title = "Order Ideals in Categories",
year = "1986",
pages = "275--288",
number = "2",
author = "Carboni, A. and Street, R."}
@article{carboni87,
journal = "Journal of Pure and Applied Algebra",
volume = "49",
title = "Cartesian Bicategories \uppercase{I}",
year = "1987",
pages = "11--32",
number = "1--2",
author = "Carboni, A. and Walters, R. F. C."}
@article{carboni91,
journal = "Cahiers de Topologie et Geometrie Differentielle Categoriques",
volume = "32",
title = "A 2-Categorical Approach to Geometric Morphisms \uppercase{I}",
year = "1991",
pages = "47--95",
number = "1",
author = "Carboni, A. and Kelly, G. M. and Wood, R. J."}
@article{carboni93,
journal = "Journal of Pure and Applied Algebra",
volume = "84",
title = "Introduction to extensive and distributive categories",
year = "1993",
pages = "145--158",
number = "2",
author = "A. Carboni and S. Lack and R. F. C. Walters"}
@inproceedings{carroll88,
publisher = "ACM Press",
title = "Incremental data flow analysis via dominator and attribute updates",
author = "Carroll, M. D. and Ryder, B. G.",
year = "1988",
booktitle = "Fifteenth Annual ACM Symposium on Principles of Programming Languages",
pages = "274--284"}
@article{chen90,
journal = "Science of Computer Programming",
volume = "15",
title = "Program Inversion: More Than Fun!",
year = "1990",
pages = "1--13",
number = "1",
author = "W. Chen and J. T. Udding"}
@inproceedings{chiba03,
author = "Shigeru Chiba and Muga Nishizawa",
title = "An easy-to-use toolkit for efficient {Java} bytecode translators",
booktitle = "2nd International coference on Generative Programming and
Component Engineering ({GPCE} '03)",
series = "Springer Lecture Notes in Computer Science",
volume = "2830",
pages = "364--376",
year = "2003"}
@inproceedings{chiba04,
author= "Muga Nishizawa and Shigeru Chiba and Michiaki Tatsubori",
title= "Remote Pointcut --- A language construct for distributed {AOP}",
booktitle = "3rd International Conference on Aspect-oriented Software
Development",
editor = "K. Lieberherr",
year = "2004",
pages = "7--15"}
@inproceedings{chiba04b,
author= "Shigeru Chiba and Kiyoshi Nakagawa",
title= "Josh: an open {AspectJ-like} language",
booktitle = "3rd International Conference on Aspect-oriented Software
Development",
editor = "K. Lieberherr",
year = "2004",
pages = "102--111"}
@inproceedings{chin95,
publisher = "World Scientific",
title = "Fusion and Tupling Transformations: Synergies and Conflicts (Invited Paper)",
author = "Chin, W. N.",
year = "1995",
booktitle = "Fuji International Workhsop on Functional and Logic Programming",
pages = "176--195"}
@book{cip85,
volume = "183",
title = "The \uppercase{M}unich Project \uppercase{CIP}. Volume \uppercase{I}: The Wide Spectrum Language \uppercase{CIP-L}",
year = "1985",
publisher = "Springer Verlag",
author = "Bauer, F. L. and Berghammer, R. and Broy, M. and Dosch, W. and Geiselbrechtinger, F. and Gnatz, R. and Hangel, E. and Hesse, W. and Krieg-Br{\"u}ckner, B. and Laut, A. and Matzner, T. and M{\"o}ller, B. and Nickl, F. and Partsch, H. and Pepper, P. and Samelson, K. and Wirsing, M. and W{\"o}ssner, H.",
series = "Lecture Notes in Computer Science"}
@book{cip87,
volume = "292",
title = "The {\uppercase{M}}unich Project {\uppercase{CIP}}. Volume {\uppercase{II}}: The Program Transformation System {\uppercase{CIP-S}}",
year = "1987",
publisher = "Springer Verlag",
author = "Bauer, F. L. and Ehler, H. and Horsch, A. and M{\"o}ller, B. and Partsch, H. and Paukner, O. and Pepper. P.",
series = "Lecture Notes in Computer Science"}
@article{clark80,
journal = "Computer Journal",
volume = "23",
title = "Algorithm Classification through Synthesis",
year = "1980",
pages = "61--65",
number = "1",
author = "Clark, K. L. and Darlington, J."}
@techreport{clifton01,
author = "Clifton, Curtis",
title = "{MultiJava}: Design, implementation and evaluation of
a {Java-compatible} language supporting modular open classes
and symmetric multiple dispatch",
type = "Technical Report",
number = "01-10",
institution = "Department of Computer Science, Iowa State University,
Ames, Iowa",
year = "2001"}
@techreport{clifton03,
author = "Clifton, Curtis and Leavens, Gary T. and Wand, Mitchell",
title = "Parameterized Aspect Calculus: A core calculus for the
direct study of aspect-oriented languages",
type = "Technical Report",
number = "03-13",
year = "2003"}
@article{coady01,
journal = "Communications of the ACM",
volume = "44",
title = "Using {AspectC} to improve the modularity of path-specific customisation in operating system code",
year = "2001",
pages = "79--82",
number = "10",
month = "October",
author = "Yvonne Coady and Gregor Kiczales and Mike Feeley and Greg Smolyn"}
@article{cockett90,
journal = "Journal of Pure and Applied Algebra",
volume = "66",
title = "List-arithmetic distributive categories: locoi",
year = "1990",
pages = "1--29",
number = "1",
author = "Cockett, J. R. B."}
@techreport{cockett91a,
title = "About \uppercase{C}harity",
author = "Cockett, J. R. B. and Fukushima, T.",
year = "1991",
note = "Available from URL \verb|http://www.cpsc.ucalgary.ca/projects/charity/home.html|",
number = "92/480/18",
institution = "Department of Computer Science, University of Calgary, Canada"}
@inproceedings{cockett91b,
title = "Conditional Control is not quite Categorical Control",
year = "1991",
booktitle = "Higher-order Workshop",
pages = "190--217",
editor = "Birtwistle, G.",
publisher = "Springer Verlag",
author = "Cockett, J. R. B.",
series = "Workshops in Computing"}
@inproceedings{cockett92,
volume = "13",
title = "Strong Categorical Datatypes \uppercase{I}",
year = "1992",
booktitle = "Category Theory 1991",
pages = "141--169",
editor = "Seely, R. A. G.",
publisher = "Canadian Mathematical Society",
author = "Cockett, J. R. B. and Spencer, D.",
series = "CMS Conference Proceedings"}
@article{cockett93,
journal = "Mathematical Structures in Computer Science",
volume = "3",
title = "Introduction to Distributive Categories",
year = "1993",
pages = "277--307",
number = "3",
author = "Cockett, J. R. B."}
@inproceedings{cohen79,
publisher = "Association for Computing Machinery",
title = "Characterization and Elimination of Redundancy in Recursive Programs",
author = "Cohen, N. H.",
year = "1979",
booktitle = "Principles of Programming Languages",
pages = "143--157"}
@inproceedings{colyer04,
publisher = "Association for Computing Machinery",
title = "Large-scale {AOSD} for Middleware",
author = "Colyer, Adrian and Clement, Andrew",
year = "2004",
booktitle = "3rd International Conference on Aspect-oriented
Software Development",
pages = "56--65"}
@book{colyer04b,
title = "Eclipse {AspectJ}: Aspect-Oriented Programming with {AspectJ}
and the {Eclipse} {AspectJ} development tools",
author = "Colyer, Adrian and Clement, Andy and Harley, George and Webster, Matthew",
year = "2004",
publisher = "Addison-Wesley"}
@book{conway71,
publisher = "Chapman and Hall",
title = "Regular Algebra and Finite Machines",
author = "Conway, J. H.",
year = "1971"}
@inproceedings{cooper84,
publisher = "ACM Press",
title = "Efficient computation of flow insensitive interprocedural summary information",
author = "Cooper, K. and Kennedy, K.",
year = "1984",
booktitle = "Proceedings of the ACM SIGPLAN Symposium on Compiler Construction",
pages = "247--258"}
@book{cormen90,
publisher = "MIT Press",
title = "Introduction to Algorithms",
author = "Cormen, T. H. and Leiserson, C. E. and Rivest, R. L.",
year = "1990",
series = "The MIT electrical engineering and computer science series"}
@misc{correnson98generic,
title = "Generic programming by program composition",
author = "L. Correnson and E. Duris and D. Parigot and G. Roussel",
year = "1998",
booktitle = "Workshop on Generic Programming, Marstrand, Sweden, June 1998"}
@inproceedings{correnson99declarative,
title = "Declarative Program Transformation: A Deforestation Case-Study",
author = "Loic Correnson and Etienne Duris and Didier Parigot and Gilles Roussel",
year = "1999",
booktitle = "Principles and Practice of Declarative Programming",
pages = "360-377"}
@inproceedings{correnson99equational,
volume = "1694",
title = "Equational semantics",
editors = "A. Cortesi and G. File",
year = "1999",
booktitle = "Symposium on Static Analysis SAS '99",
pages = "264--283",
publisher = "Springer Verlag",
author = "L. Correnson and E. Duris and D. Parigot",
series = "Lecture Notes in Computer Science"}
@article{crochemore86,
journal = "Theoretical Computer Science",
volume = "45",
title = "Transducers and Repetitions",
year = "1986",
pages = "63--86",
number = "1",
author = "Crochemore, M."}
@inproceedings{curien96,
volume = "1103",
title = "Efficient Second-order Matching",
year = "1996",
booktitle = "7th International Conference on Rewriting Techniques and Applications",
pages = "317--331",
publisher = "Springer Verlag",
author = "Curien, R. and Qian, Z. and Shi, H.",
series = "Lecture Notes in Computer Science"}
@inproceedings{curtis95,
volume = "947",
title = "A Graphical Calculus",
year = "1995",
booktitle = "Mathematics of Program Construction",
pages = "214--231",
editor = "M{\"o}ller, B.",
publisher = "Springer Verlag",
author = "Curtis, S. and Lowe, G.",
series = "Lecture Notes in Computer Science"}
@phdthesis{curtis96,
title = "A relational approach to optimization problems",
year = "1996",
author = "Curtis, S.",
school = "Computing Laboratory, Oxford, UK",
type = "D.\uppercase{P}hil. thesis",
note = "Available from URL \verb|http://www.comlab.ox.ac.uk/oucl/users/sharon.curtis/publications.html|"}
@article{darlington78,
journal = "Acta Informatica",
volume = "11",
title = "A Synthesis of Several Sorting Algorithms",
year = "1978",
pages = "1--30",
number = "1",
author = "Darlington, J."}
@inproceedings{das02,
author = "Manuvir Das and Sorin Lerner and Mark Seigle",
title = "{ESP:} path-sensitive program verification in polynomial time",
booktitle = "{ACM SIGPLAN} 2002 Conference on Programming Language Design and Implementation",
pages = "56--68",
year = "2002"}
@book{davey90,
publisher = "Cambridge University Press",
title = "Introduction to Lattices and Order",
author = "Davey, B. A. and Priestley, H. A.",
year = "1990",
series = "Cambridge Mathematical Textbooks"}
@book{davie92,
volume = "27",
title = "Introduction to Functional Programming Systems using Haskell",
year = "1992",
publisher = "Cambridge University Press",
author = "Davie, A. J. T.",
series = "Computer Science Texts"}
@inproceedings{dawson96,
publisher = "ACM Press",
title = "Practical Program Analysis Using General Purpose Logic Programming Systems",
author = "Dawson, S. and Ramakrishnan, C. R. and Warren, D. S.",
year = "1996",
booktitle = "ACM Symposium on Programming Language Design and Implementation",
pages = "117--126"}
@article{db97,
journal = {Theoretical Computer Science},
volume = {179(1--2)},
title = {A Calculation Approach to Mathematical Induction},
author = {Doornbos, H. and Backhouse, R.C. and van der Woude, J.},
year = 1997,
pages = {103--135}}
@inproceedings{debakker73,
title = "A Calculus for recursive program schemes",
year = "1973",
booktitle = "Automata, Languages and Programming",
pages = "167--196",
editor = "Nivat, M.",
publisher = "North-Holland",
author = "De Bakker, J. W. and De Roever, W. P."}
@inproceedings{debakker76,
title = "Semantics and Termination of Nondeterministic Recursive Programs",
year = "1976",
booktitle = "Automata, Languages and Programming",
pages = "435--477",
editor = "Michaelson, S. and Milner, R.",
publisher = "Edinburgh University Press",
author = "De Bakker, J. W."}
@inproceedings{demers81,
publisher = "ACM Press",
title = "Incremental Evaluation for Attribute Grammars with Applications to Syntax-directed Editors",
author = "Demers, A. and Reps, T. and Teitelbaum, T.",
year = "1981",
booktitle = "Proceedings of the ACM Symposium on Principles of Programming Languages",
pages = "105--116"}
@article{demoor00,
journal = "Informatica",
volume = "24",
title = "First-class Attribute Grammars",
author = "de Moor, O. and Backhouse, K. and Swierstra, S. D.",
year = "2000",
pages = "329--341"}
@article{demoor01c,
journal = "Theoretical Computer Science",
volume = "269",
title = "Higher-order pattern matching for program transformation",
year = "2001",
pages = "135--162",
number = "1-2",
author = "De Moor, O. and Sittampalam, G."}
@article{demoor02a,
journal = "Higher-Order and Symbolic Computation",
title = "Universal Regular Path Queries",
author = "de Moor, O.",
year = "to appear"}
@unpublished{demoor02b,
title = "Incremental Program Analysis via Language Factors",
author = "de Moor, O. and Drape, S. and Lacey, D. and Sittampalam, G.",
year = "2002",
note = "submitted for publication"}
@techreport{demoor92a,
title = "Categories, Relations and Dynamic Programming",
author = "De Moor, O.",
year = "1992",
type = "D.Phil.\ thesis. Technical Monograph",
number = "PRG-98",
institution = "Computing Laboratory, Oxford, UK"}
@article{demoor92b,
journal = "Information Processing Letters",
volume = "43",
title = "Inductive Data Types for Predicate Transformers",
year = "1992",
pages = "113--118",
number = "3",
author = "De Moor, O."}
@article{demoor94,
journal = "Mathematical Structures in Computing Science",
volume = "4",
title = "Categories, Relations and Dynamic Programming",
author = "De Moor, O.",
year = "1994",
pages = "33--69"}
@inproceedings{demoor95,
volume = "982",
title = "A Generic Program for Sequential Decision Processes",
year = "1995",
booktitle = "Programming Languages: Implementations, Logics, and Programs",
editor = "Hermenegildo, M. and Swierstra, D. S.",
publisher = "Springer Verlag",
author = "De Moor, O.",
series = "Lecture Notes in Computer Science"}
@inproceedings{demoor98,
title = "Generic Program Transformation",
year = "1998",
booktitle = "Advanced Functional Programming",
pages = "116-149",
publisher = "Springer Verlag",
author = "de Moor, O. and Sittampalam, G.",
series = "Lecture Notes in Computer Science"}
@unpublished{demoor99,
title = "First-class Attribute Grammars: Haskell code",
author = "De Moor, O.",
year = "1999",
note = "Only local access at \verb|/users/oege/papers/waga|"}
@inproceedings{demoor99b,
title = "Aspect-oriented Compilers",
year = "1999",
booktitle = "First International Symposium on Generative and Component-based Software Engineering",
publisher = "Springer Verlag",
author = "De Moor, O. and Peyton-Jones, S. and Van Wyk, E.",
series = "Lecture Notes in Computer Science"}
@article{demorgan60,
journal = "Transactions of the Cambridge Philosophical Society",
volume = "10",
title = "On the syllogism, no. \uppercase{IV}, and on the logic of relations",
year = "1860",
pages = "331--358",
author = "De Morgan, A.",
note = "Reprinted in: \cite{demorgan66}"}
@book{demorgan66,
publisher = "Yale University Press",
title = "``On the syllogism'' and other logical writings",
author = "De Morgan, A.",
year = "1966"}
@book{denardo82,
publisher = "Prentice Hall",
title = "Dynamic Programming -- Models and Applications",
author = "E. V. Denardo",
year = "1982"}
@book{deransart88,
volume = "322",
title = "Attribute grammars --- Definitions, systems and bibliography",
year = "1988",
publisher = "Springer Verlag",
author = "Deransart, P. and Jourdan, M. and Lorho, B.",
series = "Lecture Notes in Computer Science"}
@incollection{deroever72,
publisher = "{S\'{e}minaires} IRIA",
title = "A Formalization of Various Parameter Mechanisms as Products of Relations within a Calculus of Recursive Program Schemes",
author = "De Roever, W. P.",
year = "1972",
booktitle = "{Th\'{e}orie} des Algorithmes, des Langages et de la Programmation",
pages = "55--88"}
@techreport{deroever76,
title = "Recursive Program Schemes: Semantics and Proof Theory",
author = "De Roever, W. P.",
year = "1976",
type = "Mathematical Centre Tracts",
number = "70",
institution = "Mathematisch Centrum, Amsterdam, The Netherlands"}
@article{desharnais93,
journal = "Science of Computer Programming",
volume = "20",
title = "On the mathematics of sequential decompositions",
year = "1993",
pages = "253--289",
number = "3",
author = "Desharnais, J. and Mili, A. and Mili, F."}
@book{dijkstra76,
publisher = "Prentice Hall",
title = "A Discipline of Programming",
author = "Dijkstra, E. W.",
year = "1976",
series = "Series in Automatic Computation"}
@inproceedings{dijkstra79,
volume = "69",
title = "Program Inversion",
year = "1979",
booktitle = "Program Construction",
pages = "54--57",
editor = "Bauer, F. L. and Broy, M.",
publisher = "Springer Verlag",
author = "Dijkstra, E. W.",
series = "Lecture Notes in Computer Science"}
@book{dijkstra90,
publisher = "Springer Verlag",
title = "Predicate Calculus and Program Semantics",
author = "Dijkstra, E. W. and Scholten, C. S.",
year = "1990",
series = "Texts and Monographs in Computer Science"}
@article{dilworth39,
journal = "Transactions of the American Mathematical Society",
volume = "46",
title = "Non-commutative residuated lattices",
author = "Dilworth, R. P.",
year = "1939",
pages = "426--444"}
@inproceedings{doornbos95,
volume = "947",
title = "Induction and Recursion on Datatypes",
year = "1995",
booktitle = "Mathematics of Program Construction",
pages = "242--256",
editor = "B. M{\"o}ller",
publisher = "Springer Verlag",
author = "Doornbos, H. and Backhouse, R. C.",
series = "Lecture Notes in Computer Science"}
@phdthesis{doornbos96,
title = "Reductivity Arguments and Program Construction",
author = "Doornbos, H.",
school = "Department of Computing Science, Eindhoven University of Technology, The Netherlands",
year = "1996",
type = "Ph.\uppercase{D}. Thesis"}
@inproceedings{douence01,
volume = "2192",
title = "A Formal Definition of Crosscuts",
booktitle = "Reflection 2001",
year = "2001",
editor = "Akinori Yonezawa and Satoshi Matsuoka",
pages = "170--186",
publisher = "Springer",
author = {R{\'{e}}mi Douence and Olivier Motelet and Mario S\"{u}dholt},
series = "Lecture Notes in Computer Science"}
@inproceedings{douence02,
title = {A framework for the detection and resolution of aspect interactions},
author = {R{\'{e}}mi Douence and Pascal Fradet and Mario S{\"u}dholt},
booktitle = {Proceedings of the ACM SIGPLAN/SIGSOFT Conference on Generative Programming and Component Engineering (GPCE'02)},
pages = "173--188",
year = 2002}
@incollection{douence04,
title = {Trace-based aspects},
author = {R{\'{e}}mi Douence and Pascal Fradet and Mario S\"{u}dholt},
booktitle = {Aspect-oriented Software Development},
publisher = {Addison-Wesley},
pages = "141--150",
year = 2004}
@inproceedings{douence04b,
title="Composition, Reuse and Interaction Analysis of Stateful Aspects",
author = {R\'{e}mi Douence and Pascal Fradet and Mario S\"{u}dholt},
booktitle = "3rd International Conference on Aspect-oriented Software
Development",
year = "2004",
pages = "141--150",
editor = "Karl Lieberherr"}
@book{dreyfus77,
volume = "130",
title = "The Art and Theory of Dynamic Programming",
year = "1977",
publisher = "Academic Press",
author = "Dreyfus, S. E. and Law, A. M.",
series = "Mathematics in Science and Engineering"}
@book{dsl97,
publisher = "USENIX",
title = "Proceedings of the Usenix conference on Domain-Specific Languages '97",
author = "Ramming (editor), C. ",
year = "1997"}
@article{dueck90,
journal = "Computing Journal",
volume = "33",
title = "Modular Attribute Grammars",
author = "Dueck, G. D. P. and Cormack, G. V.",
year = "1990",
pages = "164--172"}
@inproceedings{dufour04,
author = {Bruno Dufour and Karel Driesen and Laurie Hendren and Clark Verbrugge},
title = {Dynamic metrics for {Java}},
booktitle = {Proceedings of the 18th {ACM} {SIGPLAN} conference on Object-oriented programing, systems, languages, and applications},
year = {2003},
isbn = {1-58113-712-5},
pages = {149--168},
location = {Anaheim, California, USA},
doi = {http://doi.acm.org/10.1145/949305.949320},
publisher = {ACM Press},
}
@inproceedings{dutchyn02,
author = {Chris Dutchyn and Gregor Kiczales and Hidehiko Masuhara},
title = {Tutorial: {AOP} Language Exploration using the {Aspect Sand Box}},
booktitle = {1st International Conference on Aspect-oriented Software
Development},
year = {2002},
}
@inproceedings{eichberg04,
author = "Michael Eichberg and Mira Mezini and Klaus Ostermann",
title = "Pointcuts as functional queries",
booktitle = "Second {ASIAN} Symposium on Programming Languages and
Systems ({APLAS} 2004)",
series = "Springer Lecture Notes in Computer Science",
year = "2004"}
@article{eilenberg67,
journal = "Information and Control",
volume = "11",
title = "Automata in General Algebras",
year = "1967",
pages = "452--470",
number = "4",
author = "Eilenberg, S. and Wright, J. B."}
@inproceedings{elliott98,
volume = "???",
title = "Functional Implementations of Continuous Modeled Animation",
editors = "Levi, G. and Palamidessi, C. and Gabrielli, M.",
year = "1998",
booktitle = "Proceedings of PLILP/ALP '98",
pages = "??--??",
author = "Elliott, C.",
series = "Lecture Notes in Computer Science"}
@book{enderton77,
publisher = "Academic Press",
title = "Elements of Set Theory",
author = "Enderton, H. B.",
year = "1977"}
@inproceedings{engler02,
author = "Hallem, Seth and Chelf, Benjamin and Xie, Yichen and Engler, Dawson",
title = "A system and language for building system-specific, static analyses",
booktitle = "{ACM SIGPLAN} Conference on Programming Language Design and Implementation",
pages="69--82",
year = "2002"}
@inproceedings{engler01,
title = "Lightweight, System-Specific Optimizations",
author = "Chelf, B. and Engler, D. R. and Hallem, S. and Hu, Y. P. and Huang, W.",
year = "2001",
booktitle = "Principles of Programming Languages"}
@inproceedings{engler97,
publisher = "USENIX",
title = "Incorporating application semantics and control into compilation",
author = "Engler, Dawson R.",
year = "1987",
booktitle = "Proceedings of the First Conference on Domain-Specific Languages",
pages = "103--118"}
@article{engler99,
journal = "IEEE Transactions on Software Engineering",
volume = "25",
title = "Interface Compilation: Steps toward compiling program interfaces as languages",
year = "1999",
pages = "387--400",
number = "3",
author = "Engler, D. R."}
@article{eppstein92a,
journal = "Journal of the ACM",
volume = "39",
title = "Sparse Dynamic Programming \uppercase{I}: Linear Cost Functions",
year = "1992",
pages = "546--567",
number = "2",
author = "Eppstein, D. and Galil, Z. and Giancarlo, R. and Italiano, G. F."}
@article{eppstein92b,
journal = "Journal of the ACM",
volume = "39",
title = "Sparse Dynamic Programming \uppercase{II}: \uppercase{C}onvex and Concave Cost Functions",
year = "1992",
pages = "546--567",
number = "3",
author = "D. Eppstein and Z. Galil and R. Giancarlo and G. F. Italiano"}
@unpublished{epsrc01,
title = "International review of UK research in computer science",
author = "EPSRC",
year = "2001",
note = "Available from URL: \url{http://www.iee.org/Policy/CSreport/}"}
@inproceedings{erosa94,
title = "Taming control flow: a structured approach to eliminating {GOTO} statements",
author = "Erosa, A. M. and Hendren, L. J.",
year = "1994",
booktitle = "International Conference on Computer Languages",
pages = "229--240"}
@inproceedings{faith97,
title = "\uppercase{KHEPERA}: A system for rapid implementation of domain-specific languages",
author = "Faith, R. E. and Nyland, L. S. and Prins, J. F.",
year = "1997",
booktitle = "Proceedings \uppercase{USENIX} Conference on Domain-Specific Languages",
pages = "243--255"}
@inproceedings{farrow86,
title = "Automatic generation of fixed-point-finding evaluators for circular, but well-defined, attribute grammars",
author = "Farrow, R.",
year = "1986",
booktitle = "Proceedings of the SIGPLAN symposium on Compiler Construction",
pages = "85--98"}
@inproceedings{farrow92,
publisher = "ACM Press",
title = "Composable Attribute Grammars: Support for Modularity in Translator Design and Implementation",
author = "Farrow, R. and Marlowe, T. J. and Yellin, D. M.",
year = "1992",
booktitle = "Proceedings of the ACM Symposium on Principles of Programming Languages",
pages = "223--234"}
@inproceedings{feferman69,
volume = "106",
title = "Set-theoretical foundations of category theory",
year = "1969",
booktitle = "Reports of the Midwest Category Seminar III",
pages = "201--247",
publisher = "Springer Verlag",
author = "Feferman, S.",
series = "Lecture Notes in Mathematics"}
@inproceedings{fegaras92,
volume = "607",
title = "Uniform Traversal Combinators: Definition, Use and Properties",
year = "1992",
booktitle = "Automated Deduction",
pages = "148--162",
editor = "Kapur, D.",
publisher = "Springer Verlag",
author = "Fegaras, L. and Sheard, T. and Stemple, D.",
series = "Lecture Notes in Computer Science"}
@book{field88,
publisher = "Addison-Wesley",
title = "Functional Programming",
author = "Field, A. J. and Harrison, P. G.",
year = "1988",
series = "International computer science series"}
@book{filman04,
publisher = "Addison Wesley",
title = "Aspect-Oriented Software Development",
author = "Robert Filman and Tzilla Elrad and Siobhan Clarke and Mehmet Aksit",
year = "2004",
series = "Addison Wesley Professional"}
@article{fokkinga91,
journal = "Science of Computer Programming",
volume = "16",
title = "An exercise in transformational programming: Backtracking and Branch-and-bound",
year = "1991",
pages = "19--48",
number = "1",
author = "Fokkinga, M. M."}
@article{fokkinga92a,
journal = "Formal Aspects of Computing",
volume = "4",
title = "Calculate categorically!",
year = "1992",
pages = "673--692",
number = "4",
author = "Fokkinga, M. M."}
@inproceedings{fokkinga92b,
title = "A Gentle Introduction to Category Theory -- the calculational approach",
year = "1992",
booktitle = "Lecture Notes of the STOP 1992 Summerschool on Constructive Algorithmics",
pages = "1--72",
publisher = "University of Utrecht",
author = "Fokkinga, M. M.",
note = "Available from URL \verb|http://hydra.cs.utwente.nl/~fokkinga/mmf92b.html|"}
@phdthesis{fokkinga92c,
title = "Law and order in algorithmics",
year = "1992",
author = "Fokkinga, M. M.",
school = "Technical University Twente, The Netherlands",
type = "Ph.\uppercase{D}. thesis",
note = "Available from URL \verb|http://hydra.cs.utwente.nl/~fokkinga/mmfphd.html|"}
@article{fokkinga96,
journal = "Mathematical Structures in Computer Science",
volume = "6",
title = "Datatype Laws without Signatures",
author = "Fokkinga, M. M.",
year = "1996",
pages = "1--32"}
@book{fowler00,
publisher = "Addison Wesley",
title = "Refactoring: improving the design of existing code",
author = "Martin Fowler",
year = "2000"}
@book{freyd90,
volume = "39",
title = "Categories, Allegories",
year = "1990",
publisher = "North-Holland",
author = "Freyd, P. J. and {\v{S}\v{c}edrov}, A.",
series = "Mathematical Library"}
@book{friedman01,
publisher = "MIT Press",
title = "Essentials of Programming Languages",
author = "D. P. Friedman and M. Wand and C. T. Haynes",
year = "2001",
edition = "second"}
@article{futamura71,
journal = "Higher-order and Symbolic Computation",
volume = "12",
title = "Partial Evaluation of Computation Process --- an approach to a compiler-compiler",
year = "1999",
pages = "381--391",
number = "4",
author = "Yoshihiko Futamura",
note = "Reprinted from {\it Systems, Computers, Controls} 2(5):45--50, 1971"}
@article{galil89,
journal = "Theoretical Computer Science",
volume = "64",
title = "Speeding up dynamic programming with applications to molecular biology",
author = "Galil, Z. and Giancarlo, R.",
year = "1989",
pages = "107--118"}
@book{gamma95,
publisher = "Addison Wesley",
title = "Design Patterns: Elements of Reusable Object-Oriented Software",
author = "Erich Gamma and Richard Helm and Ralph Johnson and John Vlissides",
year = "1995"}
@inproceedings{ gagnon00,
author = "Etienne Gagnon and Laurie J. Hendren and Guillaume Marceau",
title = "Efficient Inference of Static Types for {Java} Bytecode",
booktitle = "Static Analysis Symposium",
pages = "199--219",
year = "2000",
url = "www.sable.mcgill.ca/publications"
}
@article{ganzinger84,
journal = "SIGPLAN Notices",
volume = "19",
title = "Attribute coupled grammars",
author = "Ganzinger, H. and Giegerich, R.",
year = "1984",
pages = "157--170"}
@article{gardiner94,
journal = "Science of Computer Programming",
volume = "22",
title = "An Algebraic Construction of Predicate Transformers",
year = "1994",
pages = "21--44",
number = "1-2",
author = "Gardiner, P. H. B. and Martin, C. E. and De Moor, O."}
@techreport{gibbons91,
title = "Algebras for Tree Algorithms",
author = "Gibbons, J.",
year = "1991",
type = "D.\uppercase{P}hil.\ thesis. Technical Monograph",
number = "PRG-94",
institution = "Computing Laboratory, Oxford, UK"}
@article{gibbons94,
journal = "Science of Computer Programming",
volume = "23",
title = "Efficient Parallel Algorithms for Tree Accumulations",
author = "Gibbons, J. and Cai, W. and Skillicorn, D. B.",
year = "1994",
pages = "1--18"}
@inproceedings{gibbons95,
volume = "947",
title = "An initial-algebra approach to directed acyclic graphs",
year = "1995",
booktitle = "Mathematics of Program Construction",
pages = "282--303",
editor = "M{\"o}ller, B.",
publisher = "Springer Verlag",
author = "Gibbons, J.",
series = "Lecture Notes in Computer Science"}
@inproceedings{gibbons98,
title = "The Under-appreciated Unfold",
author = "Gibbons, J. and Jones, G.",
year = "1998",
booktitle = "3rd ACM SIGPLAN International Conference on Functional Programming 1998",
pages = "??--??"}
@article{giegerich95,
journal = "Science of Computer Programming",
volume = "25",
title = "A Comparison of Purely Functional Suffix Tree Constructions",
author = "Giegerich, R. and Kurtz, S.",
year = "1995",
pages = "187--218"}
@inproceedings{gjones90,
title = "Circuit Design in \uppercase{R}uby",
year = "1990",
booktitle = "Formal Methods for VLSI Design",
pages = "13--70",
editor = "J. Staunstrup",
publisher = "Elsevier Science Publications",
author = "Jones, G. and Sheeran, M."}
@inproceedings{gjones93,
volume = "669",
title = "Designing arithmetic circuits by refinement in \uppercase{R}uby",
year = "1993",
booktitle = "Mathematics of Program Construction",
pages = "208--232",
editor = "Bird, R. S. and Morgan, C. C. and Woodcock, J. C. P.",
publisher = "Springer Verlag",
author = "Jones, G. and Sheeran, M.",
series = "Lecture Notes in Computer Science"}
@inproceedings{goguen80,
volume = "87",
title = "How to prove inductive hypotheses without induction",
year = "1980",
booktitle = "Automated Deduction",
pages = "356--373",
editor = "Bibel, W. and Kowalski, R.",
author = "Goguen, J. A.",
series = "Lecture Notes in Computer Science"}
@article{goguen83,
journal = "Journal of Computer and System Sciences",
volume = "27",
title = "Correctness of Recursive Parallel Nondeterministic Flow Programs",
year = "1983",
pages = "268--290",
number = "2",
author = "Goguen, J. A. and Meseguer, J."}
@book{goldblatt86,
volume = "98",
title = "Topoi -- The Categorial Analysis of Logic",
year = "1986",
publisher = "North-Holland",
author = "Goldblatt, R.",
series = "Studies in Logic and the Foundations of Mathematics"}
@techreport{gondow93,
title = "Attribute grammars as record calculus",
author = "Gondow, K. and Katayama, T.",
year = "1993",
type = "Technical report",
number = "93TR-0047",
institution = "Tokyo Institute of Technology"}
@book{gradecki03,
author = "Gradecki, Joseph D. and Lesiecki, Nicholas",
title = "Mastering {AspectJ}: Aspect-Oriented Programming in {Java}",
publisher = "Wiley",
year = "2003"}
@article{gray92,
journal = "Communications of the ACM",
volume = "35",
title = "Eli: A Complete, Flexible Compiler Construction System",
author = "Gray, R. W. and Heuring, V. P. and Levi, S. P. and Sloane, A. M. and Waite, W. M.",
year = "1992",
pages = "121--131"}
@book{gries81,
publisher = "Springer Verlag",
title = "The Science of Programming",
author = "Gries, D.",
year = "1981",
series = "Texts and Monographs in Computer Science"}
@article{gries84,
journal = "Science of Computer Programming",
volume = "2",
title = "A note on a standard strategy for developing loop invariants and loops",
author = "D. Gries",
year = "1984",
pages = "207--214"}
@incollection{gries90a,
publisher = "Addison-Wesley",
title = "The Maximum-Segment Sum Problem",
author = "Gries, D.",
year = "1990",
booktitle = "Formal Development of Programs and Proofs",
editor = "E. W. Dijkstra"}
@incollection{gries90b,
publisher = "Springer Verlag",
title = "Binary to Decimal, One More Time",
author = "Gries, D.",
year = "1990",
booktitle = "Beauty is our Business: A Birthday Salute to Edsger W. Dijkstra",
pages = "141--148"}
@book{gries93,
publisher = "Springer Verlag",
title = "A Logical Approach to Discrete Math",
author = "Gries, D. and Schneider, F. B.",
year = "1993",
series = "Texts and Monographs in Computer Science"}
@incollection{grillet70,
volume = "236",
title = "Regular Categories",
year = "1970",
booktitle = "Exact Categories and Categories of Sheaves",
pages = "121--222",
editor = "Barr, M. and Grillet, P. A. and Van Osdol, D. H.",
publisher = "Springer Verlag",
author = "Grillet, P. A.",
series = "Lecture Notes in Mathematics"}
@inproceedings{grove97,
publisher = "ACM Press",
title = "Call graph construction in object-oriented languages",
author = "D. Grove and G. Furrow and J. Dean and C. Chambers",
year = "1997",
booktitle = "ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA)"}
@inproceedings{gupta04,
author = "Zhang, X. and Gupta, R.",
title = "Cost effective dynamic program slicing",
booktitle = "{ACM SIGPLAN} Conference on Programming Language Design and Implementation",
pages = "94--106",
year = "2004"}
@unpublished{guyerlin00a,
title = "Broadway: A Software Architecture for Scientific Computing",
author = "Guyer, Sam Z. and Lin, Calvin",
year = "2000",
note = "Proceedings of the IFIPS Working Group 2.5 Working Conference on Software Architectures for Scientific Computing Applications. (to appear) October, 2000."}
@inproceedings{guyerlin00b,
title = "Optimizing High Performance Software Libraries",
author = "Guyer, S. Z. and Lin, C.",
year = "2000",
booktitle = "Proceedings of the 13th International Workshop on Languages and Compilers for Parallel Computing. August, 2000."}
@inproceedings{guyerlin99,
publisher = "USENIX",
title = "An Annotation Language for Optimizing Software Libraries",
author = "Guyer, S. Z. and Lin, C.",
year = "199",
booktitle = "Second conference on Domain-Specific Languages",
pages = "39--52"}
@inproceedings{gybels03,
author= "Kris Gybels and Johan Brichau",
title = "Arranging language features for more robust pattern-based crosscuts",
booktitle= "2nd International Conference on Aspect-oriented Software Development",
pages = "60--69",
year= "2003",
publisher = "ACM Press"}
@techreport{hagino87a,
title = "Category Theoretic Approach to Data Types",
author = "Hagino, T.",
year = "1987",
type = "Ph.\uppercase{D}. thesis. Technical Report",
number = "ECS-LFCS-87-38",
institution = "Laboratory for Foundations of Computer Science, University of Edinburgh, UK"}
@inproceedings{hagino87b,
volume = "283",
title = "A typed lambda calculus with categorical type constructors",
year = "1987",
booktitle = "Category Theory and Computer Science",
pages = "140--157",
editor = "Pitt, D. H. and Poigne, A. and Rydeheard, D. E.",
publisher = "Springer Verlag",
author = "Hagino, T.",
series = "Lecture Notes in Computer Science"}
@article{hagino89,
journal = "Journal of Symbolic Computation",
volume = "8",
title = "Codatatypes in \uppercase{ML}",
author = "Hagino, T.",
year = "1989",
pages = "629--650"}
@incollection{hagino93,
volume = "4",
title = "A Categorical Programming Language",
year = "1993",
booktitle = "Advances in Software Science and Technology",
pages = "111--135",
editor = "Takeichi, M.",
publisher = "Academic Press",
author = "Hagino, T."}
@inproceedings{hanenberg03,
author = "Stefan Hanenberg and Rainer Unland",
title = "Parametric Introductions",
booktitle = "2nd International Conference on Aspect-Oriented Software Development (AOSD 2003)",
year = "2003",
pages = "80--89",
editor = "Mehmet Aksit"}
@inproceedings{hannemann02,
author = "Jan Hannemann and Gregor Kiczales",
title = "Design pattern implementation in {Java} and {AspectJ}",
booktitle = "OOPSLA",
pages = "161--173",
year = "2002"}
@article{hanson92,
journal = "ACM Letters on Programming Languages and Systems",
volume = "1",
title = "Engineering a Simple, Efficient Code Generator Generator",
year = "1992",
pages = "213--226",
number = "3",
author = "Hanson, D. and Fraser, C. W. and Proebsting, T. A."}
@article{hanson04,
journal = "Software --- Practice and Experience",
volume = "to appear",
year = "2004",
title = "A research {C$\#$} compiler",
author = "Hanson, David and Proebsting, Todd"}
@inproceedings{harbulot04,
author = {Bruno Harbulot and John R. Gurd},
title = {Using {AspectJ} to separate concerns in parallel scientific
{Java} code},
booktitle = {Proceedings of the 3rd international conference on Aspect-oriented software development},
year = {2004},
isbn = {1-58113-842-3},
pages = {122--131},
location = {Lancaster, UK},
doi = {http://doi.acm.org/10.1145/976270.976286},
publisher = {ACM Press},
}
@unpublished{harbulot05,
author = "Bruno Harbulot",
title = {{CFlowLevel extension for abc}},
note = "Description and downloads at
\url{http://www.cs.manchester.ac.uk/cnc/projects/loopsaj/cflowlevel/}",
url = "http://www.cs.manchester.ac.uk/cnc/projects/loopsaj/cflowlevel/",
year = 2005
}
@article{harrison88a,
journal = "Computer Journal",
volume = "31",
title = "Algebraic transformation techniques for functional languages",
year = "1988",
pages = "229--242",
number = "3",
author = "Harrison, P. G. and Khoshnevisan, H."}
@article{harrison88b,
journal = "Science of Computer Programming",
volume = "10",
title = "Linearisation: an optimisation for nonlinear functional programs",
year = "1988",
pages = "281--318",
number = "3",
author = "Harrison, P. G."}
@inproceedings{harrison91,
title = "Towards the Synthesis of Static Parallel Algorithms",
year = "1991",
booktitle = "Constructing Programs from Specifications",
pages = "49--69",
editor = "M{\"o}ller, B.",
publisher = "Elsevier Science Publishers",
author = "Harrison, P. G."}
@article{harrison92a,
journal = "Theoretical Computer Science",
volume = "93",
title = "A New Approach to Recursion Removal",
year = "1992",
pages = "91--113",
number = "1",
author = "Harrison, P. G. and Khoshnevisan, H."}
@article{harrison92b,
journal = "Acta Informatica",
volume = "29",
title = "On the Synthesis of Function Inverses",
year = "1992",
pages = "211--239",
number = "3",
author = "Harrison, P. G. and Khoshnevisan, H."}
@article{harrison92c,
journal = "The Computer Journal",
volume = "35",
title = "A Higher-Order Approach to Parallel Algorithms",
year = "1992",
pages = "555--566",
number = "5",
author = "Harrison, P. G."}
@inproceedings{harrison93,
title = "Subject-oriented Programming (A critique of pure objects)",
year = "1993",
booktitle = "ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA)",
editor = "A. Paepcke",
pages = "411--428",
publisher = "ACM Press",
author = "W. Harrison and H. Ossher"}
@inproceedings{hedin89,
publisher = "Cambridge University Press",
title = "An Object-oriented Notation for Attribute Grammars",
author = "Hedin, G.",
year = "1989",
booktitle = "Proceedings of the European Conference on Object-Oriented Programming, ECOOP'89"}
@inproceedings{ekman04,
author = "Ekman, {Torbj\"{o}rn} and Hedin, {G\"{o}rel}",
title = "Reusable language specifications in {JastAdd II}",
booktitle = "Evolution and Reuse of Language Specifications for {DSLs}
{(ERLS)}",
editor = "Cleenewerck, Thomas",
year = "2004",
note = "Available from: \url{http://prog.vub.ac.be/~thomas/ERLS/Ekman.pdf}"}
@article{helman85,
journal = "SIAM Journal on Algebraic and Discrete Methods",
volume = "6",
title = "A Comprehensive Model of Dynamic Programming",
year = "1985",
pages = "319--334",
number = "2",
author = "Helman, P. and Rosenthal, A."}
@article{helman86,
journal = "Journal of Mathematical Analysis and Applications",
volume = "119",
title = "The Principle of Optimality in the Design of Efficient Algorithms",
author = "Helman, P.",
year = "1986",
pages = "97--127"}
@article{helman89a,
journal = "Journal of the ACM",
volume = "36",
title = "A Common Schema for Dynamic Programming and Branch-and-Bound Algorithms",
year = "1989",
pages = "97--128",
number = "1",
month = "January",
author = "Helman, P."}
@techreport{helman89b,
title = "A Theory of Greedy Structures based on k-ary Dominance Relations",
author = "Helman, P.",
year = "1989",
type = "Technical report",
number = "CS89-11",
institution = "Department of Computer Science, The University of New Mexico, USA"}
@article{helman93,
journal = "SIAM Journal of Discrete Mathematics",
volume = "6",
title = "An Exact Characterization of Greedy Structures",
year = "1993",
pages = "274--283",
number = "2",
author = "Helman, P. and Moret, B. M. E. and Shapiro, H. D."}
@article{hendren00,
journal = "ACM SIG{\-}PLAN Notices",
volume = "35",
title = "Practical virtual method call resolution for {Java}",
year = "2000",
pages = "264--280",
number = "10",
url = "citeseer.nj.nec.com/article/sundaresan98practical.html",
author = "Vijay Sundaresan and Laurie Hendren and Chrislain Razafimahefa and Raja Vall{\'e}e-Rai and Patrick Lam and Etienne Gagnon and Charles Godin"}
@book{henson87,
publisher = "Blackwell Scientific Publications Ltd.",
title = "Elements of Functional Languages",
author = "Henson, M.",
year = "1987",
series = "Computer Science Texts"}
@inproceedings{hilsdale04,
author = "Erik Hilsdale and Jim Hugunin",
title = "Advice Weaving in {AspectJ}",
booktitle = AOSD,
month = mar,
year = "2004",
pages = "26--35",
publisher = "ACM Press"
}
@article{hirschberg87a,
journal = "SIAM Journal on Computing",
volume = "16",
title = "The Least Weight Subsequence Problem",
year = "1987",
pages = "628--638",
number = "4",
author = "Hirschberg, D. S. and Larmore, L. L."}
@article{hirschberg87b,
journal = "Journal of the Association for Computing Machinery",
volume = "34",
title = "New Applications of Failure Functions",
year = "1987",
pages = "616--625",
number = "3",
author = "Hirschberg, D. S. and Larmore, L. L."}
@article{hoare62,
journal = "Computer Journal",
volume = "5",
title = "Quicksort",
author = "Hoare, C. A. R.",
year = "1962",
pages = "10--15"}
@article{hoare86a,
journal = "Fundamenta Informaticae",
volume = "9",
title = "The Weakest Prespecification, \uppercase{I}",
year = "1986",
pages = "51--84",
number = "1",
author = "Hoare, C. A. R. and He, J."}
@article{hoare86b,
journal = "Fundamenta Informaticae",
volume = "9",
title = "The Weakest Prespecification, \uppercase{II}",
year = "1986",
pages = "217--251",
number = "2",
author = "Hoare, C. A. R. and He, J."}
@article{hoare87a,
journal = "Information Processing Letters",
volume = "24",
title = "The Weakest Prespecification",
year = "1987",
pages = "127--132",
number = "2",
author = "Hoare, C. A. R. and He, J."}
@article{hoare87b,
journal = "Information Processing Letters",
volume = "25",
title = "Prespecification in data refinement",
year = "1987",
pages = "71--76",
number = "2",
author = "Hoare, C. A. R. and He, J. and Sanders, J. W."}
@article{hochbaum89,
journal = "Information Processing Letters",
volume = "31",
title = "An {${\cal O}(n \log^2 n)$} algorithm for the maximum weighted tardiness problem",
author = "Hochbaum, D. S. and Shamir, R.",
year = "1989",
pages = "215--219"}
@article{hoogendijk94,
journal = "Science of Computer Programming",
volume = "22",
title = "Relational programming laws in the tree, list, bag, set hierarchy",
year = "1994",
pages = "67--105",
number = "1-2",
author = "Hoogendijk, P. F. and Backhouse, R. C."}
@phdthesis{hoogendijk96,
title = "A generic theory of datatypes",
author = "Hoogendijk, P. F.",
school = "Department of Computing Science, Eindhoven University of Technology, The Netherlands",
year = "1996",
type = "Ph.\uppercase{D}. Thesis"}
@article{hu82,
journal = "SIAM Journal on Computing",
volume = "11",
title = "Computation of Matrix Chain Products, Part \uppercase{I}",
year = "1982",
pages = "362--373",
number = "2",
author = "Hu, T. C. and Shing, M. T."}
@article{hu84,
journal = "SIAM Journal on Computing",
volume = "13",
title = "Computation of Matrix Chain Products, Part \uppercase{II}",
year = "1984",
pages = "228--251",
number = "2",
author = "Hu, T. C. and Shing, M. T."}
@techreport{hu96,
title = "Calculating Accumulations",
author = "Hu, Z. and Iwasaki, H. and Takeichi, M.",
year = "1996",
note = "Available from URL: \verb|http://www.ipl.t.u-tokyo.ac.jp/~hu/pub/tech.html|",
number = "METR 96-0-3",
institution = "Department of Mathematical Engineering, University of Tokyo, Japan"}
@inproceedings{hu97,
title = "Tupling Calculation Eliminates Multiple Data Traversals",
author = "Hu, Z. and Iwasaki, H. and Takeichi, M. and Takano, A.",
year = "1997",
booktitle = "2nd ACM SIGPLAN International Conference on Functional Programming (ICFP '97)",
pages = "164--175"}
@article{hudak96,
journal = "Journal of Functional Programming",
volume = "6",
title = "Haskore Music Notation --- an Algebra of Music",
author = "Hudak, P. and Makucevich, T. and Gadde, S. and Whong, B.",
year = "1996",
pages = "465--484"}
@article{hudak96b,
journal = "Computing Surveys",
volume = "28A",
title = "Building Domain-Specific Embedded Languages",
year = "1996",
number = "4",
author = "Hudak, P."}
@article{huet78,
journal = "Acta Informatica",
volume = "11",
title = "Proving and Applying Program Transformations Expressed with Second-Order Patterns",
author = "Huet, G. and Lang, B.",
year = "1978",
pages = "31--55"}
@inproceedings{hughes95,
volume = "1995",
title = "The Design of a Pretty-printing Library",
editors = "Jeuring, J. and Meijer, E.",
year = "1995",
booktitle = "Advanced Functional Programming",
pages = "53--96",
author = "Hughes, R. J. M.",
series = "Lecture Notes in Computer Science"}
@misc{hugunin04,
author = "Hugunin, Jim",
title = "Guide for Developers of the {AspectJ} Compiler and Weaver",
note = "Available at \url{http://dev.eclipse.org/ viewcvs/index.cgi/ ~checkout~/ org.aspectj/ modules/ docs/ developer/ compiler-weaver/ index.html? rev=1.1& content-type=text/html& cvsroot=Technology_Project}",
year = "2004",
}
@inproceedings{hui06,
author = "Peter Hui and James Riely",
title = "Temporal Aspects as Security Automata",
editors = "Curtis Clifton and Ralf {L\"{a}mmel} and Gary T. Leavens",
booktitle = "Foundations of Aspect-Oriented Languages (FOAL 2006),
Workshop at AOSD 2006",
series = "Technical Report {\#06-01}",
pages = "19--28",
publisher = "Iowa State University",
year = "2006",
url = "http://www.cs.iastate.edu/~leavens/FOAL/papers-2006/proceedings.pdf"
}
@techreport{hutton92,
title = "Between Functions and Relations in Calculating Programs",
author = "Hutton, G.",
year = "1992",
type = "Ph.\uppercase{D}. Thesis. Research report",
note = "Available from URL \verb|http://www.cs.nott.ac.uk/Department/Staff/gmh/|",
number = "FP-93-5",
institution = "Department of Computer Science, Glasgow University, UK"}
@unpublished{icfp04contest,
author = "ICFP 2004",
title = "{7th annual ICFP programming contest}",
note = "\url{http://www.cis.upenn.edu/~plclub/contest/}",
url = "http://www.cis.upenn.edu/~plclub/contest/"}
@inproceedings{jay94a,
title = "Matrices, monads and the fast Fourier transform",
author = "Jay, C. B.",
editors = "Leslie, N. and Perry, N",
year = "1994",
booktitle = "Proceedings of the Massey Functional Programming Workshop 1994",
pages = "71--80"}
@inproceedings{jay94b,
title = "Shapely types and shape polymorphism",
year = "1994",
booktitle = "Programming Languages and Systems -- ESOP '94",
pages = "302--316",
editor = "D. Sannella",
publisher = "Springer Verlag",
author = "Jay, C. B. and Cockett, J. R. B.",
series = "Lecture Notes in Computer Science"}
@inproceedings{jay95,
volume = "17",
title = "Polynomial Polymorphism",
year = "1995",
booktitle = "Proceedings of the Eighteenth Australasian Computer Science Conference: Glenelg, South Australia 1--3 February, 1995",
pages = "237--243",
editor = "Kotagiri, R.",
publisher = "A. C. S. Communications",
author = "Jay, C. B."}
@unpublished{jboss,
author = "jboss",
title = "{JBoss Aspect Oriented Programming}",
note = "Home page with downloads, documentation,
wiki.
\url{http://www.jboss.org/index.html?module=html&op=userdisplay&id=developers/projects/jboss/aop}"}
@inproceedings{jeuring89,
title = "Deriving algorithms on binary labelled trees",
year = "1989",
booktitle = "Computing Science in the Netherlands",
pages = "229--249",
editor = "Apers, P. M. G. and Bosman, D. and van Leeuwen, J.",
publisher = "SION",
author = "Jeuring, J. T."}
@inproceedings{jeuring90,
title = "Algorithms from Theorems",
year = "1990",
booktitle = "Programming Concepts and Methods",
pages = "247--266",
editor = "Broy, M. and Jones, C. B.",
publisher = "North-Holland",
author = "Jeuring, J. T."}
@inproceedings{jeuring91,
title = "The Derivation of Hierarchies of Algorithms on Matrices",
year = "1991",
booktitle = "Constructing Programs from Specifications",
pages = "9--32",
editor = "M{\"o}ller, B.",
publisher = "Elsevier Science Publishers",
author = "Jeuring, J. T."}
@phdthesis{jeuring93,
title = "Theories for algorithm calculation",
author = "Jeuring, J. T.",
school = "University of Utrecht, The Netherlands",
year = "1993",
type = "Ph.\uppercase{D}. thesis"}
@article{jeuring94,
journal = "Algorithmica",
volume = "11",
title = "The derivation of on-line algorithms, with an application to finding palindromes",
year = "1994",
pages = "146--184",
number = "2",
author = "Jeuring, J. T."}
@inproceedings{jeuring95,
title = "Polytypic pattern matching",
year = "1995",
booktitle = "Functional Programming Languages and Computer Architecture",
pages = "238--248",
editor = "Peyton-Jones, S.",
publisher = "Association for Computing Machinery",
author = "Jeuring, J. T."}
@inproceedings{johnsson87,
volume = "274",
title = "Attribute grammars as a functional programming paradigm",
year = "1987",
booktitle = "Functional Programming Languages and Computer Architecture",
pages = "154--173",
editor = "Kahn, G.",
publisher = "Springer Verlag",
author = "Johnsson, T.",
series = "Lecture Notes in Computer Science"}
@book{johnstone77,
volume = "10",
title = "Topos Theory",
year = "1977",
publisher = "Academic Press",
author = "Johnstone, P. T.",
series = "London Mathematical Society Monographs"}
@unpublished{jones01,
title = "Proving correctness of compiler transformations",
author = "Jones, N. and Lacey, D. and Van Wyk, E.",
note = "In preparation"}
@article{jones97,
journal = "Journal of functional programming",
volume = "7",
title = "Higher-order pattern matching for program transformation",
year = "1997",
pages = "541--547",
number = "5",
author = "Bird, R. S. and Jones, G. and de Moor, O."}
@article{jourdan84,
journal = "SIGPLAN Notices",
volume = "19",
title = "Strongly Non-circular Attribute Grammars and their Recursive Evaluation",
author = "Jourdan, M.",
year = "1984",
pages = "81--93"}
@inproceedings{jourdan90,
title = "Design, Implementation and Evaluation of the {FNC}-2 Attribute Grammar System",
year = "1990",
booktitle = "Conference on Programming Languages Design and Implementation",
pages = "209--222",
author = "Jourdan, M. and Parigot, D. and Juli{\'e} and Durin, O. and Le Bellec, C.",
note = "Published as {\sl ACM SIGPLAN Notices}, 25(6)"}
@misc{jourdan90implementation,
text = "M. Jourdan, D. Parigot, C. Juli'e, O. Durin, and C. Le Bellec. Design, implementation and evaluation of the FNC-2 attribute grammar system. In Conf. on Programming Languages Design and Implementation, pages 209--222, White Plains, NY, June 1990. Published as ACM SIGPLAN Notices, 25(6).",
title = "implementation and evaluation of the {FNC-2} attribute grammar system",
author = "M. Jourdan and D. Parigot and C. Juli\'e and O. Durin and C. Le Bellec",
year = "1990"}
@article{karp67,
journal = "SIAM Journal on Applied Mathematics",
volume = "15",
title = "Finite-State Processes and Dynamic Programming",
year = "1967",
pages = "693--718",
number = "3",
author = "Karp, R. M. and Held, M."}
@article{kastens80,
journal = "Acta Informatica",
volume = "13",
title = "Ordered Attribute Grammars",
author = "Kastens, U.",
year = "1980",
pages = "229--256"}
@book{kastens82,
volume = "141",
title = "GAG: A Practical Compiler Generator",
year = "1982",
publisher = "Springer Verlag",
author = "Kastens, U. and Hutt, B. and Zimmermann, E.",
series = "Lecture Notes in Computer Science"}
@inproceedings{kastens91a,
volume = "545",
title = "Attribute Grammars in a Compiler Construction Environment",
year = "1991",
booktitle = "Proceedings of the International Summer School on Attribute Grammars, Applications and Systems",
pages = "380--400",
author = "Kastens, U.",
series = "Lecture Notes in Computer Science"}
@inproceedings{kastens91b,
volume = "545",
title = "Attribute Grammars as a Specification Method",
year = "1991",
booktitle = "Proceedings of the International Summer School on Attribute Grammars, Applications and Systems",
pages = "16--47",
author = "Kastens, U.",
series = "Lecture Notes in Computer Science"}
@inproceedings{kastens91c,
volume = "545",
title = "Implementation of visit-oriented attribute evaluators",
year = "1991",
booktitle = "Proceedings of the International Summer School on Attribute Grammars, Applications and Systems",
pages = "114--139",
author = "Kastens, U.",
series = "Lecture Notes in Computer Science"}
@article{kastens94,
journal = "Acta Informatica",
volume = "31",
title = "Modularity and reusability in attribute grammars",
author = "Kastens, U. and Waite, W. M.",
year = "1994",
pages = "601--627"}
@article{kawahara73a,
journal = "Memoirs of the Faculty of Science, Kyushu University, Series A, Mathematics",
volume = "27",
title = "Notes on the universality of relational functors",
year = "1973",
pages = "275--289",
number = "3",
author = "Kawahara, Y."}
@article{kawahara73b,
journal = "Memoirs of the Faculty of Science, Kyushu University, Series A, Mathematics",
volume = "27",
title = "Relations in categories with pullbacks",
year = "1973",
pages = "149--173",
number = "1",
author = "Kawahara, Y."}
@article{kawahara90,
journal = "Theoretical Computer Science",
volume = "77",
title = "Pushout-complements and basic concepts of grammars in toposes",
year = "1990",
pages = "267--289",
number = "3",
author = "Kawahara, Y."}
@incollection{kawahara92,
volume = "4",
title = "Categorical Assertion Semantics in Topoi",
year = "1992",
booktitle = "Advances in Software Science and Technology",
pages = "137--150",
editor = "Takeichi, M.",
publisher = "Academic Press",
author = "Kawahara, Y. and Mizoguchi, Y."}
@book{kernighan88,
title = "The C Programming Language",
year = "1988",
edition = "Second",
publisher = "Prentice Hall",
author = "Kernighan, B. W. and Ritchie, D. M.",
series = "Software series"}
@article{khalil93,
journal = "\uppercase{RAIRO} Informatique Th{\'{e}}orique et Applications",
volume = "27",
title = "An Imperative Language based on Distributive Categories \uppercase{II}",
year = "1993",
pages = "503--522",
number = "6",
author = "W. Khalil and R. F. C. Walters"}
@inproceedings{kiczales01,
volume = "2072",
title = "An Overview of {AspectJ}",
year = "2001",
booktitle = "ECOOP",
pages = "327--353",
author = "Gregor Kiczales and Erik Hilsdale and Jim Hugunin
and Mik Kersten and Jeffrey Palm and William G. Griswold"
}
@article{kiczales01b,
author = {Gregor Kiczales and Erik Hilsdale and Jim Hugunin and Mik Kersten and Jeffrey Palm and William Griswold},
title = {Getting started with {AspectJ}},
journal = {Commun. ACM},
volume = {44},
number = {10},
year = {2001},
issn = {0001-0782},
pages = {59--65},
doi = {http://doi.acm.org/10.1145/383845.383858},
publisher = {ACM Press},
}
@unpublished{kiczales03,
author="Gregor Kiczales",
title = "The Fun Has Just Begun",
note = "Keynote address at AOSD. Available at
\url{aosd.net/archive/2003/kiczales-aosd-2003.ppt}",
year = "2003"}
@book{kiczales91,
publisher = "MIT Press",
title = "The Art of the Metaobject Protocol",
author = "G. Kiczales and des Rivieres, J.",
year = "1991"}
@article{kiczales96,
journal = "ACM Computing Surveys",
volume = "28A",
title = "Aspect-oriented programming",
year = "1996",
number = "4",
author = "G. Kiczales"}
@inproceedings{kiczales97,
volume = "1241",
title = "Aspect-oriented Programming",
year = "1997",
booktitle = "European Conference on Object-oriented Programming",
pages = "220--242",
editor = "Mehmet Aksit and Satoshi Matsuoka",
publisher = "Springer",
author = "Gregor Kiczales and John Lamping and Anurag Menhdekar and Chris Maeda and Cristina Lopes and Jean-Marc Loingtier and John Irwin",
series = "Lecture Notes in Computer Science"}
@inproceedings{kieburtz95,
volume = "925",
title = "Programming with algebras",
year = "1995",
booktitle = "Advanced Functional Programming",
pages = "267--307",
editor = "Jeuring, J. T. and Meijer, E.",
publisher = "Springer Verlag",
author = "Kieburtz, R. B. and Lewis, J.",
series = "Lecture Notes in Computer Science"}
@book{kiselev02,
author = "Kiselev, I.",
title = "Aspect-oriented programming with {AspectJ}",
publisher = "{SAMS}",
year = "2002"}
@book{kleene52,
volume = "1",
title = "Introduction to Metamathematics",
year = "1952",
publisher = "North-Holland",
author = "Kleene, S. C.",
series = "Bibliotheca Mathematica"}
@techreport{knapen93,
title = "Relational programming, program inversion and the derivation of parsing algorithms",
author = "Knapen, E.",
year = "1993",
type = "Computing Science Notes",
note = "Available from URL \verb|http://www.win.tue.nl/win/cs/wp/papers/papers.html|",
institution = "Department of Mathematics and Computing Science, Eindhoven University of Technology"}
@article{knaster28,
journal = "Annales de la Societ\'e Polonaise de Mathematique",
volume = "6",
title = "Un th\'eor\`eme sur les fonctions d'ensembles",
author = "Knaster, B.",
year = "1928",
pages = "133--134"}
@article{knoop96,
journal = "Journal of Programming Languages",
volume = "4",
title = "Towards a tool kit for the automatic generation of interprocedural data flow analyses",
author = "Knoop, J. and R{\"u}thing, O. and Steffen, B.",
year = "1996",
pages = "211--246"}
@article{knuth68,
journal = "Mathematical Systems Theory",
volume = "2",
title = "Semantics of Context-free Languages",
author = "Knuth, D. E.",
year = "1968",
pages = "127--146"}
@article{knuth81,
journal = "Software: Practice and Experience",
volume = "11",
title = "Breaking Paragraphs into Lines",
author = "Knuth, D. E. and Plass, M. F.",
year = "1981",
pages = "1119--1184"}
@incollection{knuth90,
title = "A simple program whose proof isn't",
year = "1990",
booktitle = "Beauty is Our Business -- A Birthday Salute to Edsger W. Dijkstra",
pages = "233--242",
editor = "Feijen, W. and Gries, D. and Van Gasteren, A. J. M.",
publisher = "Springer Verlag",
author = "Knuth, D. E."}
@article{kock72,
journal = "Archiv {f\"{u}r} Mathematik",
volume = "23",
title = "Strong Functors and Monoidal Monads",
author = "A. Kock",
year = "1972",
pages = "113--120"}
@book{korte91,
volume = "4",
title = "Greedoids",
year = "1991",
publisher = "Springer Verlag",
author = "Korte, B. and Lovasz, L. and Schrader, R.",
series = "Algorithms and combinatorics"}
@inproceedings{krishnamurthi02,
author = "Harry C. Li and Shriram Krishnamurthi and Kathi Fisler",
title = "Verifying Cross-cutting Features as Open Systems",
booktitle = "{ACM SIGSOFT} International Symposium on the Foundations of
Software Engineering",
year = "2002"}
@article{krishnamurthi03,
author = "Harry C. Li and Shriram Krishnamurthi and Kathi Fisler",
title = "Verifying Cross-cutting Features as Open Systems",
journal = "Automated Software Engineering: An International Journal",
year = "2003"}
@inproceedings{krishnamurthi04,
author = "Shriram Krishnamurthi and Kathi Fisler and Michael Greenberg",
title = "Verifying Aspect Advice Modularly",
booktitle = "{ACM SIGSOFT} International Symposium on the Foundations of
Software Engineering",
year = "2004"}
@book{laddad03,
author = "Ramnivas Laddad",
title = "{AspectJ} in Action",
publisher = "Manning",
year = "2003"}
@inproceedings{lacey02,
publisher = "ACM Press",
title = "Proving Correctness of Compiler Optimizations by Temporal Logic",
author = "Lacey, David and Jones, Neil D. and Van Wyk, Eric and Frederiksen, Carl Cristian",
year = "2002",
booktitle = "Proc. 29th ACM Symposium on Principles of Programming Languages",
pages = "283--294"}
@inproceedings{laceydemoor01,
volume = 2027,
title = "Imperative Program Transformation by Rewriting",
year = 2001,
booktitle = "Proceedings of the 10th International Conference on Compiler Construction",
pages = "52--68",
editor = "R. Wilhelm ",
publisher = "Springer Verlag",
author = "Lacey, D. and de Moor, O.",
series = "Lecture Notes in Computer Science"}
@article{lambek58,
journal = "American Mathematical Monthly",
volume = "65",
title = "The mathematics of sentence structure",
author = "Lambek, J.",
year = "1958",
pages = "154--170"}
@article{lambek68,
journal = "Mathematische Zeitschrift",
volume = "103",
title = "A Fixpoint Theorem for Complete Categories",
author = "Lambek, J.",
year = "1968",
pages = "151--161"}
@book{lambek86,
volume = "7",
title = "Introduction to Higher Order Categorical Logic",
year = "1986",
publisher = "Cambridge University Press",
author = "Lambek, J. and Scott, P. J.",
series = "Cambridge Studies in Advanced Mathematics"}
@inproceedings{lambek95,
volume = "222",
title = "Bilinear logic in algebra and linguistics",
year = "1995",
booktitle = "Advances in Linear Logic",
pages = "43--59",
editor = "Girard, J. Y. and Lafont, Y. and Regnier, L.",
publisher = "Cambridge University Press",
author = "Lambek, J.",
series = "London Mathematical Society Lecture Note Series"}
@article{lawler73,
journal = "Management Science",
volume = "19",
title = "Optimal sequencing of a single machine subject to precedence constraints",
year = "1973",
pages = "544--546",
number = "5",
month = "January",
author = "Lawler, E. L."}
@inproceedings{lawvere66,
title = "The category of categories as a foundation for mathematics",
year = "1966",
booktitle = "Categorical Algebra",
pages = "1--20",
editor = "Eilenberg, S. and Harrison, D. K. and Mac Lane, S. and R{\"{o}}hrl, H.",
publisher = "Springer Verlag",
author = "Lawvere, F. W."}
@article{lehmann81,
journal = "Mathematical Systems Theory",
volume = "14",
title = "Algebraic Specification of Data Types: A Synthetic Approach",
year = "1981",
pages = "97--139",
number = "2",
author = "Lehmann, D. J. and Smyth, M. B."}
@inproceedings{lhotak04,
author = "Jennifer Lhot\'ak and Ond\v{r}ej Lhot\'ak and Laurie Hendren",
title = "Integrating the {Soot} compiler infrastructure into an {IDE}",
booktitle = {Compiler Construction, 13th International Conference},
pages = {281--297},
month = {April},
year = {2004},
editor = {E. Duesterwald},
volume = {2985},
series = {LNCS},
address = {Barcelona, Spain},
publisher = {Springer},
}
@book{lieberherr96,
publisher = "PWS Publishing Company",
title = "Adaptive Object-Oriented Software: The Demeter Method with Propagation Patterns",
author = "K. J. Lieberherr",
year = "1996"}
@inproceedings{lipps88,
volume = "371",
title = "\uppercase{OPTRAN} -- a language/system for the specification of program transformations: system overview and experiences",
year = "1988",
booktitle = "Proceedings 2nd Workshop on Compiler Compilers and High Speed Compilation",
pages = "52--65",
author = "Lipps, P. and M{\"o}nke, U. and Wilhelm, R.",
series = "Lecture Notes in Computer Science"}
@inproceedings{liu02,
volume = "2386",
title = "Solving regular path queries",
year = "2002",
booktitle = "Proceedings of the 6th International Conference on Mathematics of Program Construction (MPC)",
pages = "195--208",
publisher = "Springer Verlag",
author = "Liu, Y. A. and Yu, F.",
series = {Lecture {N}otes in {C}omputer {S}cience}}
@article{maclane61,
journal = "Proceedings of the National Academy of Sciences",
volume = "47",
title = "An Algebra of Additive Relations",
author = "Mac Lane, S.",
year = "1961",
pages = "1043--1051"}
@inproceedings{maclane69,
volume = "106",
title = "One universe as a foundation for category theory",
year = "1969",
pages = "192--200",
publisher = "Springer Verlag",
author = "Mac Lane, S.",
series = "Lecture Notes in Mathematics"}
@book{maclane71,
volume = "5",
title = "Categories for the Working Mathematician",
year = "1971",
publisher = "Springer Verlag",
author = "Mac Lane, S.",
series = "Graduate Texts in Mathematics"}
@book{maclane92,
publisher = "Springer Verlag",
title = "Sheaves in Geometry and Logic: A First Introduction to Topos Theory",
author = "Mac Lane, S. and Moerdijk, I.",
year = "1992",
series = "Universitext"}
@article{maddux91,
journal = "Studia Logica",
volume = "50",
title = "The origin of relation algebras in the development and axiomatization of the calculus of relations",
year = "1991",
pages = "421--455",
number = "3--4",
author = "Maddux, R. D."}
@phdthesis{malcolm90a,
title = "Algebraic data types and program transformation",
author = "Malcolm, G. R.",
school = "Department of Computing Science, Groningen University, The Netherlands",
year = "1990",
type = "Ph.\uppercase{D}. Thesis"}
@article{malcolm90b,
journal = "Science of Computer Programming",
volume = "14",
title = "Data Structures and Program Transformation",
year = "1990",
pages = "255--279",
number = "2--3",
author = "Malcolm, G. R."}
@book{manes75,
volume = "26",
title = "Algebraic Theories",
year = "1975",
publisher = "Springer Verlag",
author = "Manes, E. G.",
series = "Graduate Texts in Mathematics"}
@book{manes86,
publisher = "Springer Verlag",
title = "Algebraic Approaches to Program Semantics",
author = "Manes, E. G. and Arbib, M. A.",
year = "1986",
series = "Texts and Monographs in Computer Science"}
@inproceedings{marlowe90,
publisher = "ACM Press",
title = "An efficient hybrid algorithm for incremental dataflow analysis",
author = "Marlowe, T. J. and Ryder, B. G.",
year = "1990",
booktitle = "Seventeenth Annual ACM Symposium on Principles of Programming Languages",
pages = "184--196"}
@inproceedings{marlowe91,
title = "Hybrid Incremental Alias Algorithms",
page = "428-437",
year = "1991",
booktitle = "Twenty-fourth Hawaii international conference on software systems",
month = "jan",
author = "Marlowe, T. J. and Ryder, B. G."}
@book{martello90,
publisher = "Wiley",
title = "Knapsack Problems: Algorithms and Computer Implementations",
author = "Martello, S. and Toth, P.",
year = "1990",
series = "Interscience Series in Discrete Mathematics and Optimization"}
@inproceedings{martin90,
title = "Automating \uppercase{S}quiggol",
year = "1990",
booktitle = "Programming Concepts and Methods",
pages = "223--236",
editor = "Broy, M. and Jones, C. B.",
publisher = "North-Holland",
author = "Martin, U. and Nipkow, T."}
@phdthesis{martin91,
title = "Preordered categories and predicate transformers",
author = "Martin, C. E.",
school = "Computing Laboratory, Oxford, UK",
year = "1991",
type = "D.\uppercase{P}hil. thesis"}
@inproceedings{masuhara03a,
title = "A Compilation and Optimization Model for Aspect-Oriented Programs",
editors = "G{\"{o}}rel Hedin",
booktitle = CC,
month = apr,
year = "2003",
pages = "46--60",
author = "Hidehiko Masuhara and Gregor Kiczales and Chris Dutchyn",
series = LNCS,
volume = "2622",
publisher = {Springer}
}
@inproceedings{masuhara03,
title = "Dataflow pointcut in aspect-oriented programming",
author = "Hidehiko Masuhara and Kazunori Kawauchi",
booktitle = "1st Asian Symposium on Programming Languages and Systems",
month = dec,
year = "2003",
pages = "105--121",
series = LNCS,
volume = "2895",
publisher = {Springer}
}
@inproceedings{masuhara04,
title = "Association Aspects",
author = "Kouhei Sakurai and Hidehiko Masuhara and Naoyasu Ubayashi and
Saeko Matsuura and Seiichi Komiya",
booktitle = AOSD,
month = mar,
year = "2004",
pages = "16--25",
}
@book{mclarty92,
volume = "21",
title = "Elementary Categories, Elementary Toposes",
year = "1992",
publisher = "Clarendon Press",
author = "McLarty, C.",
series = "Oxford Logic Guides"}
@inproceedings{mcphee96,
title = "Compositional Logic Programming",
year = "1996",
booktitle = "Proceedings of the JICSLP '96 post-conference workshop: Multi-paradigm logic programming",
pages = "115--127",
editor = "Chakravarty, M. and Guo, Y. and Ida, T.",
publisher = "Technische Universitat Berlin",
author = "R. McPhee and de Moor, O.",
series = "Report 96-28"}
@inproceedings{meertens87,
volume = "1",
title = "Algorithmics -- Towards Programming as a Mathematical Activity",
year = "1987",
booktitle = "Mathematics and Computer Science",
pages = "3--42",
editor = "De Bakker, J. W. and Hazewinkel, M. and Lenstra, J. K.",
publisher = "North-Holland",
author = "Meertens, L.",
series = "CWI Monographs"}
@inproceedings{meertens89,
volume = "375",
title = "Constructing a calculus of programs",
year = "1989",
booktitle = "Mathematics of Program Construction",
pages = "66--90",
editor = "Van de Snepscheut, J. L. A.",
publisher = "Springer Verlag",
author = "Meertens, L.",
series = "Lecture Notes in Computer Science"}
@article{meertens92,
journal = "Formal Aspects of Computing",
volume = "4",
title = "Paramorphisms",
year = "1992",
pages = "413--424",
number = "5",
author = "Meertens, L."}
@inproceedings{meertens96,
volume = "??",
title = "Polytypic crush",
year = "1996",
booktitle = "Proceedings of PLILP '96",
pages = "??",
editor = "??",
publisher = "Springer Verlag",
author = "Meertens, L.",
series = "Lecture Notes in Computer Science"}
@inproceedings{meijer91,
volume = "523",
title = "Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire",
year = "1991",
booktitle = "Proceedings of the 1991 ACM Conference on Functional Programming Languages and Computer Architecture",
pages = "124--144",
editor = "Hughes, J.",
publisher = "Springer Verlag",
author = "Meijer, E. and Fokkinga, M. and Paterson, R.",
series = "Lecture Notes in Computer Science"}
@phdthesis{meijer92,
title = "Calculating compilers",
author = "Meijer, E.",
school = "University of Nijmegen, The Netherlands",
year = "1992",
type = "Ph.\uppercase{D}. thesis"}
@inproceedings{meijer95,
title = "Bananas in space: extending fold and unfold to exponential types",
year = "1995",
booktitle = "Functional Programming Languages and Computer Architecture",
pages = "324--333",
editor = "Peyton-Jones, S.",
publisher = "Association for Computing Machinery",
author = "Meijer, E. and Hutton, G."}
@inproceedings{meijerjeuring95,
title = "Merging monads and folds for functional programming",
year = "1995",
booktitle = "Advanced Functional Programming",
pages = "228--266",
editor = "J. Jeuring and E. Meijer",
publisher = "Springer Verlag",
author = "Meijer, E. and Jeuring, J.",
series = {Lecture {N}otes in {C}omputer {S}cience 925}}
@inproceedings{miecznikowski02,
title = "Decompiling Java bytecode: problems, traps and pitfalls",
year = "2002",
booktitle = "Compiler Construction",
pages = "111--127",
editor = "R. N. Horspool",
publisher = "Springer Verlag",
author = "Miecnikowski, J. and Hendren, L. J.",
series = {Lecture {N}otes in {C}omputer {S}cience},
volume = "2304"}
@techreport{mikkelsen76,
title = "Lattice Theoretic and Logical Aspects of Elementary Topoi",
author = "Mikkelsen, C. J.",
year = "1976",
type = "Various Publications Series",
number = "25",
institution = "Matematisk Institut, Aarhus Universitet, Denmark"}
@book{miles04,
author = "Russell Miles",
title = "{AspectJ} cookbook",
year = "2004",
publisher = "O'Reilly"}
@article{mili83,
journal = "Acta Informatica",
volume = "20",
title = "A Relational Approach to the Design of Deterministic Programs",
year = "1983",
pages = "315--328",
number = "4",
author = "Mili, A."}
@article{mili87,
journal = "Acta Informatica",
volume = "24",
title = "Relational heuristics for the design of deterministic programs",
year = "1987",
pages = "239--276",
number = "3",
author = "A. Mili and J. Desharnais and F. Mili"}
@book{mili94,
publisher = "Oxford University Press",
title = "Computer Program Construction",
author = "Mili, A. and Desharnais, J. and Mili, F.",
year = "1994"}
@article{milner78,
journal = "Journal of Computer and System Sciences",
volume = "17",
title = "A Theory of Type Polymorphism in Programming",
author = "Milner, R.",
year = "1978",
pages = "348--375"}
@inproceedings{milo99,
volume = "1540",
title = "Index Structures for Path Expressions",
year = "1999",
booktitle = "International Conference on Database Theory '99",
pages = "277-295",
publisher = "Springer",
author = "Milo, T. and Suciu, D.",
series = "Lecture Notes in Computer Science"}
@inproceedings{millstein03,
author = "Todd Millstein and Mark Reay and Craig Chambers",
title = "Relaxed {MultiJava}: Balancing Extensibility and Modular
Typechecking",
booktitle = "Conference on Object-Oriented Programming, System,s Languages and Applications (OOPSLA 2003)",
pages = "224--240",
year = "2003",
publisher = "ACM Press"}
@inproceedings{millstein04,
author = "Todd Millstein",
title = "Practical Predicate Dispatch",
booktitle = "Conference on Object-oriented Programming, Systems, Languages and Applications (OOPSLA 2004)",
year = "2004",
publisher = "ACM Press"}
@inproceedings{mitchell93,
volume = "702",
title = "Notes on Sconing and Relators",
year = "1993",
booktitle = "Computer Science Logic '92, Selected Papers",
pages = "352--378",
editor = "E. Boerger",
author = "Mitchell, J. C. and {\v{S}}{\v{c}}edrov, A.",
series = "Lecture Notes in Computer Science"}
@article{mitten64,
journal = "Operations Research",
volume = "12",
title = "Composition principles for synthesis of optimal multistage processes",
author = "Mitten, L. G.",
year = "1964",
pages = "610--619"}
@techreport{mjones94,
title = "The implementation of the Gofer functional programming system",
author = "Jones, M. P.",
year = "1994",
type = "Research report",
note = "Available from URL \verb|http://www.cs.nott.ac.uk/Department/Staff/mpj/|",
number = "YALEU/DCS/RR-1030",
institution = "Yale University, New Haven, Connecticut, USA"}
@article{mjones95,
journal = "Journal of Functional Programming",
volume = "5",
title = "A system of constructor classes: overloading and implicit higher-order polymorphism",
year = "1995",
pages = "1--35",
number = "1",
author = "Jones, M. P."}
@techreport{mjones96,
title = "A Polymorphic Type System for Extensible Records and Variants",
author = "Gaster, B. R. and Jones, M. P.",
year = "1996",
type = "Technical report",
note = "Available from URL \verb|http://www.cs.nott.ac.uk/Department/Staff/mpj/polyrec.html|",
number = "NOTTCS-TR-96-3",
institution = "Department of Computer Science, University of Nottingham, UK"}
@inproceedings{moeller91,
title = "Relations as a Program Development Language",
year = "1991",
booktitle = "Constructing Programs from Specifications",
pages = "373--397",
editor = "M{\"{o}}ller, B.",
publisher = "North-Holland",
author = "M{\"{o}}ller, B."}
@inproceedings{moeller92,
volume = "755",
title = "Derivation of Graph and Pointer Algorithms",
year = "1993",
booktitle = "Formal Program Development",
pages = "123--160",
editor = "{M\"oller}, B. and Partsch, H. and Schuman, S.",
publisher = "Springer Verlag",
author = "M{\"o}ller, B.",
series = "Lecture Notes in Computer Science"}
@article{moeller94,
journal = "Science of Computer Programming",
volume = "22",
title = "Shorter paths to graph algorithms",
year = "1994",
pages = "157--180",
number = "1--2",
author = "B. M{\"o}ller and M. Russling"}
@article{moggi91,
journal = "Information and Computation",
volume = "93",
title = "Notions of Computation and Monads",
year = "1991",
pages = "55--92",
number = "1",
author = "Moggi, E."}
@article{montanari81,
journal = "Journal of the Association for Computing Machinery",
volume = "28",
title = "Dynamic Programming as Graph Searching: An Algebraic Approach",
year = "1981",
pages = "737--751",
number = "4",
author = "Gnesi, S. and Montanari, U. and Martelli, A."}
@inproceedings{moon86,
volume = "791",
title = "Object-oriented programming with Flavors",
booktitle = "ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA)",
year = "1986",
editor = "Norman K. Meyrowitz",
pages = "1--8",
publisher = "ACM Press",
author = "D. A. Moon"}
@inproceedings{moor02,
title = "Transforming the {.NET} intermediate language using
path logic programming",
author = "Drape, Stephen J. and de Moor, Oege and Sittampalam, Ganesh",
year = "2002",
booktitle = "Principles and practice of declarative programming ({PPDP})",
pages = "133-144"}
@article{moor02b,
title = "Universal regular path queries",
author = "de Moor, Oege and Lacey, David and Van Wyk, Eric",
year = "2003",
journal = "Higher-order and symbolic computation",
volume = "16",
number = "1-2",
pages = "15-35"
}
@unpublished{moor02c,
title = "Chip-chop theory",
author = "de Moor, O.",
year = "2002",
note = "Technical note. Available from \url{http://www.comlab.ox.ac.uk/research/areas/progtools/publications.html}"}
@article{mop95,
journal = "Information Processing Letters",
volume = "53",
title = "Fixed-point calculus",
author = "Mathematics of Program Construction Group, Eindhoven",
year = "1995",
pages = "131--136"}
@incollection{morgan93,
title = "The Cuppest Capjunctive Capping",
year = "1993",
booktitle = "A Classical Mind: Essays in Honour of C.A.R. Hoare",
pages = "317--332",
editor = "Roscoe, A. W.",
publisher = "Prentice Hall",
author = "Morgan, C. C.",
series = "International Series in Computer Science"}
@book{morgan94,
publisher = "2nd edition, Prentice Hall",
title = "Programming from Specifications",
author = "Morgan, C. C.",
year = "1994",
series = "International Series in Computer Science"}
@unpublished{mosml,
title = "Moscow {ML} 2.00",
author = "Romanenko, S. and Russo, C. and Sestoft, P.",
year = "2000",
note = "Available at URL \url{http://www.dina.dk/~sestoft/mosml.html}"}
@book{muchnick97,
publisher = "Morgan Kaufmann",
title = "Advanced Compiler Design and Implementation",
author = "Muchnick, S.",
year = "1997"}
@unpublished{muddy01,
title = "Muddy 2.0",
author = "Larsen, K. F. and Lichtenberg, J.",
year = "2001",
note = "Available at URL \url{http://www.itu.dk/research/muddy/}"}
@article{naumann94,
journal = "Information Processing Letters",
volume = "50",
title = "A Recursion Theorem for Predicate Transformers on Inductive Data Types",
year = "1994",
pages = "329--336",
number = "6",
author = "Naumann, D. A."}
@phdthesis{ning97,
title = "Functional programming and combinatorial optimisation",
author = "Ning, M. Z.",
school = "Computing Laboratory, Oxford, UK",
year = "1997",
note = "forthcoming"}
@inproceedings{nystrom03,
author = "Nystrom, Nathaniel and Clarkson, Michael R. and Myers, Andrew C.",
title = "Polyglot: An extensible compiler framework for {Java}",
booktitle = "12th International Conference on Compiler Construction",
series = "Lecture Notes in Computer Science",
volume = "2622",
pages = "138--152",
year = "2003"}
@article{ohori95,
journal = "ACM Transactions on Programming Languages and Systems",
volume = "17",
title = "A Polymorphic Record Calculus and its Compilation",
year = "1995",
pages = "844--895",
number = "6",
author = "Ohori, A."}
@inproceedings{onoue97,
title = "A Calculational Fusion System HYLO",
year = "1997",
booktitle = "IFIP TC2 Working Conference on Algorithmic Languages and Calculi",
pages = "76--106",
editor = "Bird, R. S. and Meertens, L.",
publisher = "Chapman and Hall",
author = "Onoue, Y. and Hu, Z. and Iwasaki, H. and Takeichi, M."}
@inproceedings{ossher00,
title = "{Hyper/J}: multi-dimensional separation of concerns for Java",
author = "H. Ossher and P. Tarr",
year = "2000",
booktitle = "22nd International Conference on Software Engineering",
pages = "734--737"}
@article{paakki95,
journal = "ACM Computing Surveys",
volume = "27",
title = "Attribute Grammar Paradigms -- A High-level Methodology in Language Implementations",
year = "1995",
pages = "226--255",
number = "2",
author = "J. Paakki"}
@article{paige82,
journal = "ACM Transactions on Programming Languages and Systems",
volume = "4",
title = "Finite Differencing of Computable Expressions",
year = "1982",
pages = "401--454",
number = "3",
author = "Paige, R. and Koenig, S."}
@article{paige85,
journal = "Theoretical computer science",
volume = "40",
title = "A linear time solution to the single function coarsest partition problem",
year = "1985",
pages = "67--84",
number = "1",
author = "Paige, R. and Tarjan, R. and Bonic, R."}
@article{paige86,
journal = "IEEE Software",
volume = "3",
title = "Programming with invariants",
year = "1986",
pages = "56--69",
number = "1",
author = "Paige, R."}
@inproceedings{paige89,
volume = "2",
title = "Real-time simulation of a set machine on a \uppercase{RAM}",
year = "1989",
booktitle = "Computing and Information",
pages = "69--73",
editor = "Janicki, N. and Koczkodaj, W.",
publisher = "Canadian Scholars' Press",
author = "Paige, R."}
@inproceedings{paige91,
title = "Type analysis and data structure selection",
year = "1991",
booktitle = "Constructing Programs from Specifications",
pages = "126--164",
editor = "M{\"{o}}ller, B.",
publisher = "North-Holland",
author = "Cai, J. and Facon, P. and Henglein, F. and Paige, R. and Schonberg, E."}
@article{paige92,
journal = "Theoretical Computer Science",
volume = "106",
title = "More efficient bottom-up multi-pattern matching in trees",
year = "1992",
pages = "21--60",
number = "1",
author = "Cai, J. and Paige, R. and Tarjan, R."}
@article{paige93,
journal = "ACM Software Engineering Notes",
volume = "18",
title = "Towards Increased Productivity of Algorithm Implementation",
year = "1993",
pages = "71--78",
number = "5",
author = "Cai, J. and Paige, R."}
@inproceedings{paige94,
volume = "844",
title = "Viewing a program transformation system at work",
year = "1991",
booktitle = "Joint 6th International Conference on Programming Language Implementation and Logic Programming (PLILP) and 4th International conference on Algebraic and Logic Programming (ALP)",
pages = "5-24",
editor = "Hermenegildo, M. and Penjam, J.",
publisher = "Springer",
author = "Paige, R.",
series = "Lecture Notes in Computer Science"}
@article{paige95,
journal = "Science of Computer Programming",
volume = "24",
title = "Transformational Design and Implementation of a New Efficient Solution to the Ready Simulation Problem",
year = "1995",
pages = "189--220",
number = "3",
author = "Bloom, B. and Paige, R."}
@article{paige96,
journal = "Communications on Pure and Applied Mathematics",
volume = "48",
title = "Program derivation with verified transformations -- a case study",
year = "1996",
number = "9-10",
author = "Keller, J. P. and Paige, R."}
@article{paige96b,
journal = "Computing Surveys",
volume = "28A",
title = "Future directions in program transformations",
year = "1996",
number = "4",
author = "Paige, R."}
@article{paige97,
journal = "Theoretical Computer Science",
volume = "178",
title = "From Regular Expressions to \uppercase{DFA}s using compressed \uppercase{NFA}s",
year = "1997",
pages = "1--36",
number = "1-2",
author = "Chang, C. and Paige, R."}
@techreport{parigot95,
title = "Attribute grammars: a declarative functional language",
author = "D. Parigot and E. Duris and G. Roussel and M. Jourdan",
year = "1995",
type = "Rapport de Recherche",
number = "2662",
institution = "INRIA"}
@article{partsch86,
journal = "Science of Computer Programming",
volume = "7",
title = "Transformational Program Development in a Particular Problem Domain",
year = "1986",
pages = "99--241",
number = "2",
author = "Partsch, H. A."}
@book{partsch90,
publisher = "Springer Verlag",
title = "Specification and Transformation of Programs -- A Formal Approach to Software Development",
author = "Partsch, H. A.",
year = "1990",
series = "Texts and Monographs in Computer Science"}
@phdthesis{paterson88,
title = "Reasoning about functional programs",
author = "Paterson, R.",
school = "University of Queensland, Brisbane",
year = "1988",
type = "Ph.\uppercase{D}. thesis"}
@book{paulson91,
publisher = "Cambridge University Press",
title = "ML for the working programmer",
author = "Paulson, L.",
year = "1991"}
@book{peirce33,
publisher = "Harvard University Press",
title = "Collected Papers",
author = "Peirce, C. S.",
year = "1933"}
@article{peirce70,
journal = "Memoirs of the American Academy of Sciences",
volume = "9",
title = "Description of a notation for the logic of relatives, resulting from an amplification of the conceptions of \uppercase{B}oole's calculus of logic",
year = "1870",
pages = "317--378",
author = "Peirce, C. S.",
note = "Reprinted in \cite{peirce33}"}
@inproceedings{pennings92,
publisher = "Springer Verlag",
title = "Using cached functions and constructors for incremental attribute evaluation",
author = "Pennings, M. and Swierstra, D. and Vogt, H.",
year = "1992",
booktitle = "Proceedings of the 4th International Symposium of Programming Language Implementation and Logic Programming, PLILP '92",
pages = "130--144"}
@phdthesis{pennings94,
title = "Generating incremental evaluators",
author = "Pennings, M.",
school = "Department of Computer Science, Utrecht University, The Netherlands",
year = "1994"}
@article{pettorossi83,
journal = "Acta Informatica",
volume = "18",
title = "Deriving very efficient algorithms for evaluating linear recurrence relations using the program transformation technique",
year = "1983",
pages = "181--206",
number = "2",
author = "A. Pettorossi and R. M. Burstall"}
@techreport{pettorossi84,
title = "Methodologies for transformations and memoing in applicative languages",
author = "A. Pettorossi",
year = "1984",
type = "Ph.\uppercase{D}. thesis",
number = "CST-29-84",
institution = "University of Edinburgh, Scotland"}
@article{pettorossi85,
journal = "BIT",
volume = "25",
title = "Towers of \uppercase{H}anoi problems: deriving iterative solutions by program transformations",
year = "1985",
pages = "327--334",
number = "2",
author = "Pettorossi, A."}
@book{peytonjones94,
publisher = "Prentice-Hall International",
title = "The Implementation of Functional Programming Languages",
author = "Peyton-Jones, S. L.",
year = "1994",
series = "Foundations of Computing Series"}
@book{pierce91,
publisher = "MIT Press",
title = "Basic category theory for computer scientists",
author = "Pierce, B. C.",
year = "1991",
series = "Foundations of Computing Series"}
@article{pollock89,
journal = "IEEE Transactions on Software Engineering",
volume = "15",
title = "An incremental version of iterative data flow analysis",
year = "1989",
pages = "1537--1549",
number = "12",
author = "Pollock, L. and Soffa, M. L."}
@inproceedings{pratt92,
publisher = "IEEE Computer Society Press",
title = "Origins of the Calculus of Binary Relations",
author = "Pratt, V. R.",
year = "1992",
booktitle = "Logic in Computer Science",
pages = "248-254"}
@techreport{pugh88,
title = "Incremental computation and the incremental evaluation of functional programs",
author = "Pugh, W. W.",
year = "1988",
type = "Technical Report",
number = "CORNELLCS//TR88-936",
institution = "Department of Computer Science, Cornell University, US"}
@article{puppe62,
journal = "Mathematische Annalen",
volume = "148",
title = "Korrespondenzen in Abelschen Kategorien",
author = "Puppe, D.",
year = "1962",
pages = "1--30"}
@book{reade88,
publisher = "Addison-Wesley",
title = "Elements of Functional Programming",
author = "Reade, C.",
year = "1988",
series = "International computer science series"}
@book{reingold77,
publisher = "Prentice Hall",
title = "Combinatorial Algorithms: Theory and Practice",
author = "Reingold, E. M. and Nievergelt, J. and Deo, N.",
year = "1977"}
@incollection{remy94,
title = "Typing Record Concatenation for Free",
year = "1994",
booktitle = "Theoretical Aspects of Object-Oriented Programming: Types, Semantics and Language Design",
editor = "Gunter, C. A. and Mitchell, J. C.",
publisher = "MIT Press",
author = "R{\'e}my, D.",
series = "Foundations of Computing Series"}
@inproceedings{reps01,
volume = "2076",
title = "Model checking of unrestricted hierarchical state machines",
year = "2001",
booktitle = "Automata, Languages and Programming, 28th International Colloqium, ICALP 2001",
pages = "652-666",
publisher = "Springer Verlag",
author = "Benedikt, M. and Godefroid, P. and Reps, T.",
series = "Lecture Notes in Computer Science"}
@book{reps89,
publisher = "Springer Verlag",
title = "The Synthesizer Generator: A system for constructing language-based editors",
author = "Reps, T. W. and Teitelbaum, T.",
year = "1989",
series = "Texts and Monographs in Computer Science"}
@inproceedings{reps95,
month = "jan",
title = "Precise Interprocedural Dataflow Analysis Via Graph Reachability",
author = "Reps, T. and Horwitz, S. and Sagiv, M.",
year = "1995",
booktitle = "popl95",
pages = "49-61"}
@phdthesis{rietman95,
title = "A relational calculus for the design of distributed algorithms",
author = "Rietman, F. J.",
school = "Department of Computer Science, Utrecht University, The Netherlands",
year = "1995"}
@article{riguet48,
journal = "Bulletin de la {Soci\'{e}t\'{e}} {Math\'{e}matique} de France",
volume = "76",
title = "Relations binaires, fermeture, correspondances de \uppercase{G}alois",
author = "Riguet, J.",
year = "1948",
pages = "114--155"}
@inproceedings{russling95,
volume = "947",
title = "A general scheme for breadth-first graph traversal",
year = "1995",
booktitle = "Mathematics of Program Construction",
pages = "380--398",
editor = "M{\"{o}}ller, B.",
publisher = "Springer Verlag",
author = "Russling, M.",
series = "Lecture Notes in Computer Science"}
@book{rydeheard88,
publisher = "Prentice Hall",
title = "Computational Category Theory",
author = "Rydeheard, D. E. and Burstall, R. M.",
year = "1988",
series = "International Series in Computer Science"}
@article{ryder88,
journal = "ACM Transactions on Programming Languages and Systems",
volume = "10",
title = "Incremental data flow analysis algorithms",
year = "1988",
pages = "1--50",
number = "1",
author = "Ryder, B. G. and Paull, M. C."}
@article{ryder88b,
journal = "Science of Computer Programming",
volume = "11",
title = "Conditions for incremental iteration: Examples and counterexamples",
author = "Ryder, B. G. and Marlowe, T. J. and Paull, M. C.",
year = "1988",
pages = "1-16"}
@inproceedings{sabbah04,
author = "Daniel Sabbah",
title = "Aspects --- from Promise to Reality",
booktitle = "3rd International Conference on Aspect-Oriented Software Development",
editor = "Karl Lieberherr",
year = "2004",
pages = "1--2",
note = "See also: \url{http://www.theserverside.com/articles/article.tss?l=AOSD2004-2}"}
@book{sanderson80,
volume = "82",
title = "A Relational Theory of Computing",
year = "1980",
publisher = "Springer Verlag",
author = "Sanderson, J. G.",
series = "Lecture Notes in Computer Science"}
@article{santos97,
journal = "Science of Computer Programming",
volume = "32",
title = "A Transformation-based Optimiser for Haskell",
year = "1998",
pages = "3--48",
number = "1--3",
author = "Peyton-Jones, S. L. and Santos, A. L. M."}
@inproceedings{saraiva00,
url = "citeseer.nj.nec.com/saraiva00functional.html",
title = "Functional Incremental Attribute Evaluation",
author = "Saraiva, J. and Swierstra, S. D. and Kuiper, M. F.",
year = "2000",
booktitle = "Computational Complexity",
pages = "279-294"}
@phdthesis{saraiva99,
title = "Purely functional implementation of attribute grammars",
author = "Saraiva, J.",
school = "Department of Computer Science, Utrecht University, The Netherlands",
year = "1999"}
@article{schmidt89,
journal = "Information Processing Letters",
volume = "33",
title = "Symmetric quotients and domain construction",
year = "1989",
pages = "163--168",
number = "3",
author = "Schmidt, G. W. and Berghammer, R. and Zierer, H."}
@book{schmidt93,
publisher = "Springer Verlag",
title = "Relations and Graphs: Discrete Mathematics for Computer Scientists",
author = "Schmidt, G. W. and Str{\"{o}}hlein, T.",
year = "1993",
series = "EATCS Monographs on Theoretical Computer Science"}
@inproceedings{schoenmakers92,
volume = "669",
title = "Inorder Traversal of a Binary Heap and its Inversion in Optimal Time and Space",
year = "1992",
booktitle = "Mathematics of Program Construction",
pages = "291--301",
editor = "Bird, R. S. and Morgan, C. C. and Woodcock, J. C. P.",
publisher = "Springer Verlag",
author = "Schoenmakers, B.",
series = "Lecture Notes in Computer Science"}
@book{schroeder95,
publisher = "Teubner, Leipzig",
title = "Vorlesungen {\"uber} die Algebra der Logik (Exakte Logik). Dritter Band: Algebra und Logik der Relative",
author = "Schr{\"o}der, E.",
year = "1895"}
@article{senizergues01,
journal = "Theoretical Computer Science",
volume = "251",
title = "{$L(A) = L(B)?$} decidability results from complete formal systems",
author = "S{\'e}nizergues, G.",
year = "2001",
pages = "1--166"}
@unpublished{sereni02,
title = "A definitional interpreter for aspects",
author = "Damien Sereni",
year = "2002",
note = "Available from URL: \url{http://www.comlab.ox.ac.uk/oucl/research/areas/progtools/aspects}"}
@inproceedings{sereni03,
author = "Damien Sereni and de Moor, Oege",
title = "Static analysis of aspects",
booktitle = "Proceedings of the 2nd International Conference on
Aspect-Oriented Software Development (AOSD)",
pages = "30--39",
year = "2003"}
@inproceedings{sheard93,
publisher = "Association for Computing Machinery",
title = "A Fold for all Seasons",
author = "Sheard, T. and Fegaras, L.",
year = "1993",
booktitle = "Functional Programming Languages and Computer Architecture",
pages = "233--242"}
@inproceedings{sheard95,
publisher = "Association for Computing Machinery",
title = "Warm fusion: Deriving Build-Catas from Recursive Definitions",
author = "Launchbury, J. and Sheard, T.",
year = "1995",
booktitle = "Functional Programming Languages and Computer Architecture",
pages = "314--323"}
@inproceedings{sheeran87,
title = "Relations + higher-order functions = hardware descriptions",
year = "1987",
booktitle = "VLSI and Computers",
pages = "303--306",
editor = "Proebster, W. E. and Reiner, E.",
publisher = "IEEE",
author = "Sheeran, M."}
@inproceedings{sheeran90,
volume = "408",
title = "Categories for the Working Hardware Designer",
year = "1990",
booktitle = "Workshop on Hardware Specification, Verification and Synthesis: Mathematical Aspects. Cornell University 1989",
pages = "380--402",
editor = "Leeser, M. and Brown, G.",
publisher = "Springer Verlag",
author = "Sheeran, M.",
series = "Lecture Notes in Computer Science"}
@unpublished{simonyi96,
title = "Intentional Programming: Innovation in the Legacy Age",
author = "Simonyi, C.",
year = "1996",
note = "Presented at IFIP Working group 2.1. Available from URL \verb|http://www.research.microsoft.com/research/ip/|"}
@inproceedings{sittampalam01,
volume = "2053",
title = "Higher-order pattern matching for automatically applying fusion transformations",
year = "2001",
booktitle = "Second symposium on Programs as Data Objects",
publisher = "Springer Verlag",
author = "Sittampalam, G. and de Moor, O.",
series = "Lecture Notes in Computer Science"}
@book{skillicorn95,
volume = "6",
title = "Foundations of Parallel Programming",
year = "1995",
publisher = "Cambridge University Press",
author = "Skillicorn, D. B.",
series = "Cambridge International Series on Parallel Computation"}
@article{smith85,
journal = "Artificial Intelligence",
volume = "27",
title = "Top-down synthesis of divide-and-conquer algorithms",
year = "1985",
pages = "43--96",
number = "1",
author = "Smith, D. R."}
@article{smith87a,
journal = "Science of Computer Programming",
volume = "18",
title = "Applications of a Strategy for Designing Divide-and-Conquer Algorithms",
author = "Smith, D. R.",
year = "1987",
pages = "213--229"}
@inproceedings{smith87b,
title = "On the design of generate-and-test algorithms: subspace generators",
year = "1987",
booktitle = "Program specification and transformation",
pages = "207--220",
editor = "Meertens, L.",
publisher = "North-Holland",
author = "Smith, D. R."}
@article{smith90a,
journal = "IEEE Transactions on Software Engineering",
volume = "16",
title = "\uppercase{KIDS}: A Semiautomatic Program Development System",
year = "1990",
pages = "1024--1043",
number = "9",
author = "Smith, D. R."}
@article{smith90b,
journal = "Science of Computer Programming",
volume = "14",
title = "Algorithm Theories and Design Tactics",
year = "1990",
pages = "305--321",
number = "2--3",
author = "Smith, D. R. and Lowry, M. R."}
@inproceedings{smith91,
title = "Structure and Design of Problem Reduction Generators",
year = "1991",
booktitle = "Constructing Programs from Specifications",
pages = "91--124",
editor = "B. {M\"{o}ller}",
publisher = "North-Holland",
author = "Smith, D. R."}
@article{smith93,
journal = "Journal of Symbolic Computation",
volume = "15",
title = "Constructing Specification Morphisms",
author = "Smith, D. R.",
year = "1993",
pages = "571--606"}
@article{sniedovich86,
journal = "Journal of Optimization Theory and Applications",
volume = "49",
title = "A New Look at \uppercase{B}ellman's Principle of Optimality",
year = "1986",
pages = "161--176",
number = "1",
author = "Sniedovich, M."}
@inproceedings{sokolsky94,
volume = "818",
title = "Incremental model checking in the modal mu-calculus",
year = "1994",
booktitle = "Proceedings of the 6th International Conference on Computer-aided verification",
pages = "351--363",
publisher = "Springer Verlag",
author = "Sokolsky, O. V. and Smolka, S. A.",
series = "Lecture Notes in Computer Science"}
@inproceedings{spivey89,
volume = "375",
title = "A Categorical Approach to the Theory of Lists",
year = "1989",
booktitle = "Mathematics of Program Construction",
pages = "399--408",
editor = "Van de Snepscheut, J. L. A.",
publisher = "Springer Verlag",
author = "Spivey, M.",
series = "Lecture Notes in Computer Science"}
@inproceedings{steffen91,
volume = "526",
title = "Data flow analysis as model checking",
year = "1991",
booktitle = "Proceedings of Theoretical Aspects of Computer Science (TACS '91)",
pages = "346--364",
publisher = "Springer Verlag",
author = "Steffen, B.",
series = "Lecture Notes in Computer Science"}
@article{steffen93,
journal = "Science of Computer Programming",
volume = "21",
title = "Generating Data Flow Analysis Algorithms from Modal Specifications",
author = "Steffen, B.",
year = "1993",
pages = "115--139"}
@inproceedings{steffen96,
volume = "1055",
title = "{DFA} \& {OPT-METAFrame:} A toolkit for program analysis and optimization",
year = "1996",
booktitle = "Tools and Algorithms for the Construction and Analysis of Systems (TACAS '96)",
pages = "418--421",
publisher = "Springer",
author = "Klein, M. and Knoop, J. and Kosch{\"u}tzski, D. and Steffen, B.",
series = "Lecture Notes in Computer Science"}
@inproceedings{stirling02,
title = "Deciding {DPDA} equivalence is primitive recursive",
year = "To appear, 2002",
booktitle = "Proceedings of the 29th International Colloquium on Automata, Languages, and Programming (ICALP 2002)",
publisher = "Springer Verlag",
author = "Stirling, C.",
series = "Lecture Notes in Computer Science"}
@article{strom86,
author = "Strom, R. E. and Yemini, S.",
title = "Typestate: A programming language concept for enhancing software reliability",
journal = "{IEEE} Transactions on Software Engineering",
volume = "12",
number = "1",
pages = "157--171",
year = "1986"}
@inproceedings{swierstra87,
title = "Using attribute grammars to derive efficient functional programs",
author = "Kuiper, M. and Swierstra, S. D.",
year = "1987",
booktitle = "Computing Science in the Netherlands CSN '87",
note = "Available from: {\tt ftp://ftp.cs.ruu.nl/pub/RUU/CS/techreps/CS-1986/1986-16.ps.gz}"}
@inproceedings{swierstra96,
volume = "1126",
title = "Deterministic, Error-Correcting Combinator Parsers",
year = "1996",
booktitle = "Second International Summer School on Advanced Functional Programming",
pages = "184--207",
editor = "Launchbury, J. and Meijer, E. and Sheard, T.",
publisher = "Springer Verlag",
author = "Swierstra, S. D. and Duponcheel, L.",
series = "Lecture Notes in Computer Science"}
@inproceedings{swierstra98,
volume = "???",
title = "Designing and Implementing Combinator Languages",
year = "1998",
booktitle = "Third International Summer School on Advanced Functional Programming",
pages = "??--??",
editor = "Swierstra, S. D.",
publisher = "Springer Verlag",
author = "Swierstra, S. D. and Azero Alcocer, P. and Saraiva, P.",
series = "Lecture Notes in Computer Science"}
@inproceedings{takano95,
title = "Shortcut Deforestation in Calculational Form",
year = "1995",
booktitle = "Functional Programming Languages and Computer Architecture",
pages = "306--313",
editor = "Peyton-Jones, S.",
publisher = "Association for Computing Machinery",
author = "Takano, A. and Meijer, E."}
@article{tarjan81,
journal = "Journal of the Association for Computing Machinery",
volume = "28",
title = "Fast Algorithms for Solving Path Problems",
year = "1981",
pages = "594--614",
number = "3",
author = "Tarjan, R. E."}
@article{tarjan81unified,
journal = "Journal of the ACM",
volume = "28(3)",
title = "A Unified Approach to Path Problems",
author = "Robert Endre Tarjan",
year = 1981,
pages = "577--593"}
@inproceedings{tarr02,
author = "Peri L. Tarr and Harold Ossher and Stanley M. Sutton",
title = "Hyper/J: multi-dimensional separation of concerns for Java",
booktitle = "International Conference on Software Engineering",
year = "2002",
pages = "689--690"}
@article{tarski41,
journal = "Journal of Symbolic Logic",
volume = "6",
title = "On the Calculus of Relations",
year = "1941",
pages = "73--89",
number = "3",
author = "Tarski, A."}
@article{tarski55,
journal = "Pacific Journal of Mathematics",
volume = "5",
title = "A Lattice--theoretic Fixpoint Theorem and its Applications",
author = "A. Tarski",
year = "1955",
pages = "285--309"}
@unpublished{taylor94,
title = "Commutative Diagrams in \TeX (Version 4)",
author = "Taylor, P.",
year = "1994",
note = "Available from URL \verb|http://theory.doc.ic.ac.uk/tex/contrib/Taylor/diagrams|"}
@inproceedings{teitelbaum90,
title = "Higher-order Attribute Grammars and Editing Environments",
author = "Teitelbaum, T. and Chapman, R.",
year = "1990",
booktitle = "ACM Sigplan '90 Conference on Programming Languages Design and Implementation",
pages = "197--208"}
@inproceedings{tjiang92,
title = "Sharlit --- A tool for building optimizers",
author = "Tjiang, S. W. K. and Hennessy, J. L.",
year = "1992",
booktitle = "ACM SIGPLAN Conference on Programming Language Design and Implementation"}
@phdthesis{tuijnman96,
title = "Strong functors and functional programming",
author = "Tuijnman, D.",
school = "LOOK THIS UP",
year = "1996"}
@unpublished{txl95,
month = "April",
title = "The \uppercase{TXL} Programming Language, Version 8",
author = "Cordy, J. R. and Carmichael, I. H. and Halliday, R.",
year = "1995",
note = "Legasys Corporation"}
@inproceedings{vanwyk02,
title = "Forwarding in attribute grammars for modular language design",
year = "2002",
booktitle = "Compiler Construction '02",
publisher = "Springer Verlag",
author = "Van Wyk, E. and Kwiatkowski, P. and de Moor, O. and Backhouse, K.",
series = "Lecture Notes in Computer Science"}
@inproceedings{veldhuizen98,
title = "Active Libraries: Rethinking the roles of compilers and libraries",
year = "1998",
booktitle = "Proceedings of the SIAM Workshop on Object Oriented Methods for Inter-operable Scientific and Engineering Computing (OO'98)",
conftitle = "SIAM Workshop on Object Oriented Methods for Inter-operable Scientific and Engineering Computing",
conflocation = "Yorktown Heights, New York",
publisher = "SIAM Press",
author = "Todd L. Veldhuizen and Dennis Gannon"}
@inproceedings{visser98,
title = "Building Program Optimizers with Rewriting Strategies",
year = "1998",
booktitle = "International Conference on Functional Programming '98",
pages = "13--26",
publisher = "ACM Press",
author = "Visser, E. and Benaissa, Z. and Tolmach, A.",
series = "ACM SigPlan"}
@inproceedings{vogt89,
title = "Higher-order Attribute Grammars",
year = "1990",
booktitle = "Conference on Programming Languages Design and Implementation",
pages = "131--145",
author = "Vogt, H. and Swiestra, S. D. and Kuiper, M. F.",
note = "Published as {\sl ACM SIGPLAN Notices}, 24(7)"}
@phdthesis{vogt89b,
title = "Higher order attribute grammars",
author = "Vogt, H.",
school = "Department of Computer Science, Utrecht University, The Netherlands",
year = "1989"}
@inproceedings{volder99,
author = "de Volder, Kris",
title = "Aspect-oriented logic meta-programming",
booktitle = "2nd International Conference on Meta-level Architectures and Reflection",
editor = "Pierre Cointe",
series = "Springer Lecture Notes in Computer Science",
volume = "1616",
pages = "250--272",
year = "1999"}
@misc{tyruba,
author = "Kris De Volder",
title = "The {TyRuBa} metaprogramming system",
note = "Available at \url{http://tyruba.sourceforge.net/}"}
@article{vonkarger95,
journal = "Information Processing Letters",
volume = "53",
title = "Sequential calculus",
year = "1995",
pages = "123--130",
number = "3",
author = "Von Karger, B. and Hoare, C. A. R."}
@inproceedings{wadler87,
publisher = "Association for Computing Machinery",
title = "Views: a way for pattern matching to cohabit with data abstraction",
author = "Wadler, P.",
year = "1987",
booktitle = "Principles of Programming Languages",
pages = "307--313"}
@inproceedings{wadler89,
publisher = "Association for Computing Machinery",
title = "Theorems for Free!",
author = "Wadler, P.",
year = "1989",
booktitle = "Functional Programming Languages and Computer Architecture",
pages = "347--359"}
@article{wadler90,
journal = "Theoretical Computer Science",
volume = "73",
title = "Deforestation",
year = "1990",
pages = "231--248",
number = "2",
author = "Wadler, P."}
@incollection{wadler95,
volume = {925},
title = {Monads for functional programming},
year = {1995},
booktitle = {Advanced Functional Programming},
editor = {J. Jeuring and E. Meijer},
publisher = {Springer Verlag},
author = {Philip Wadler},
series = {Lecture Notes in Computer Science}}
@inproceedings{walker04,
title = "Implementing Protocols via Declarative Event Patterns",
author = "Robert Walker and Kevin Viggers",
booktitle = "ACM Sigsoft International Symposium on Foundations of
Software Engineering (FSE-12)",
pages="159--169",
year = "2004"}
@article{walters89,
journal = "Bulletin of the Australian Mathematical Society",
volume = "40",
title = "Data types in distributive categories",
year = "1989",
pages = "79--82",
number = "1",
author = "Walters, R. F. C."}
@article{walters92a,
journal = "Mathematical Structures in Computer Science",
volume = "2",
title = "An Imperative Language based on Distributive Categories",
year = "1992",
pages = "249--256",
number = "3",
author = "Walters, R. F. C."}
@book{walters92b,
volume = "28",
title = "Categories and Computer Science",
year = "1992",
publisher = "Cambridge University Press",
author = "Walters, R. F. C.",
series = "Cambridge Computer Science Texts"}
@inproceedings{wand03,
author = "Mitchell Wand",
title = "Understanding aspects: extended abstract",
booktitle = "8th {ACM SIGPLAN} International Conference on Functional Programming",
pages = "299--300",
year = "2003"}
@inproceedings{wand02,
title = "A Semantics for Advice and Dynamic Join Points in Aspect-Oriented Programming",
editors = "Gary T. Leavens and Ron Cytron",
booktitle = "Foundations of Aspect-Oriented Languages (FOAL), Workshop at AOSD 2002",
year = "2002",
pages = "1--8",
url = "http://www.cs.iastate.edu/~leavens/FOAL/papers-2002/TR.pdf",
publisher = "Iowa State University",
author = "Mitchell Wand and Gregor Kiczales and Christopher Dutchyn",
series = "Technical Report TR {\#02-06}"}
@article{wand89,
journal = "Information and Computation",
volume = "93",
title = "Type inference for record concatenation and multiple inheritance",
author = "Wand, M.",
year = "1991",
pages = "1--15"}
@misc{waop04,
author = "waop",
title = "{IRST} Workshop on Aspect-Oriented Programming: A
Roadmap Towards Having an Impact",
url = "http://star.itc.it/waop2004/"}
@article{weiser84,
journal = "IEEE Transactions on Software Engineering",
volume = "10",
title = "Program Slicing",
author = "Weiser, M.",
year = "1984",
pages = "352--357"}
@article{whitfield97,
journal = "ACM Transactions on Programming Languages and Systems",
volume = "19",
title = "An Approach for Exploring Code-Improving Transformations",
year = "1997",
pages = "1053-1084",
number = "6",
author = "Whitfield, Deborah and Soffa, Mary Lou"}
@book{wickstrom87,
publisher = "Prentice-Hall",
title = "Functional Programming Using Standard ML",
author = "Wickstr{\"{o}}m, A.",
year = "1987",
series = "International Series in Computer Science"}
@article{williams82,
journal = "ACM Transactions on Programming Languages and Systems",
volume = "4",
title = "On the Development of the Algebra of Functional Programs",
year = "1982",
pages = "733--757",
number = "4",
author = "Williams, J. H."}
@article{wyk98,
journal = "Parallel processing letters",
volume = "8",
title = "Using model checking in a parallelizing compiler",
year = "1998",
pages = "459--471",
number = "4",
author = "Rus, T. and Van Wyk, E."}
@inproceedings{yao80,
publisher = "Association for Computing Machinery",
title = "Efficient Dynamic Programming using Quadrangle Inequalities",
author = "Yao, F. F.",
year = "1980",
booktitle = "Theory of Computing",
pages = "429--435"}
@article{yao82,
journal = "SIAM Journal on Algebraic and Discrete Methods",
volume = "3",
title = "Speed--up in Dynamic Programming",
year = "1982",
pages = "532--540",
number = "4",
author = "Yao, F. F."}
@inproceedings{yur99,
publisher = "ACM Press",
title = "An incremental flow- and context-sensitive pointer aliasing analysis",
author = "Yur, J. and Ryder, B. G. and Landi, W.",
year = "1999",
booktitle = "21st International Conference on Software Engineering",
pages = "442--451"}
@techreport{zhao03,
author = "Zhao, J. and Rinard, M.",
title = "System Dependence Graph Construction for Aspect-oriented Programs",
type = "Technical Report",
number = "MIT-LCS-TR-891",
institution = "Laboratory for Computer Science, MIT",
year = "2003"}
@inproceedings{zhao02,
title = "Slicing Aspect-oriented Software",
author = "Zhao, J.",
year = "2002",
booktitle = "10th IEEE Workshop on Program Comprehension",
pages = "251--260"}
@inproceedings{miec.hend02,
author = "Jerome Miecznikowski and Laurie Hendren",
title = "Decompiling {Java} Bytecode: Problems, Traps and Pitfalls",
booktitle = {Compiler Construction, 11th International Conference},
pages = {111--127},
month = {April},
year = {2002},
volume = {2304},
series = {LNCS},
}
@inproceedings{miec.hend01,
author = "Jerome Miecznikowski and Laurie Hendren",
title = "Decompiling {Java} Using Staged Encapsulation",
booktitle = {The Working Conference on Reverse Engineering (WCRE'01)},
pages = {368--374},
month = {October},
year = {2001}
}
@inproceedings{ valleerai00optimizing,
author = "Raja Vall\'ee-Rai and Etienne Gagnon and Laurie J. Hendren and Patrick Lam and Patrice Pominville and Vijay Sundaresan",
title = "Optimizing {Java} Bytecode Using the {Soot} Framework: Is It Feasible?",
booktitle = "Compiler Construction, 9th International Conference (CC 2000)",
pages = "18--34",
year = "2000",
url = "www.sable.mcgill.ca/publications"
}
@inproceedings{AOSD03_LoD,
author = {Karl Lieberherr and David H. Lorenz and Pengcheng Wu},
title = {A case for statically executable advice:
checking the law of {Demeter} with {AspectJ}},
booktitle = {Proceedings of the 2nd international conference on Aspect-oriented software development},
year = {2003},
isbn = {1-58113-660-9},
pages = {40--49},
location = {Boston, Massachusetts},
doi = {http://doi.acm.org/10.1145/643603.643608},
publisher = {ACM Press},
}
@inproceedings{DCM_CSMR04,
author = {Youssef Hassoun and Roger Johnson and Steve Counsell},
title = {A Dynamic Runtime Coupling Metric for Meta-Level Architectures},
booktitle = {Proceedings of the 8th European Conference on Software Maintenace and Reengineering},
year = {2004},
month = {March},
pages = {(to appear)},
location = {Tampere, Finland},
publisher = {IEEE Computer Society Press},
}
@techreport{DCM_Tech04,
title = "Emprical Validation of a Dynamic Coupling Metric",
author = {Youssef Hassoun and Roger Johnson and Steve Counsell},
year = "2004",
month = {March},
type = "Technical Report",
number = "BBKCS-04-03",
institution = "Birbeck College London"
}
@techreport{ProdLines_TechRep02,
title = "Using {AspectJ} to Implement Product-Lines: A Case Study",
author = {Roberto E. Lopez-Herrejon and Don Batory},
year = "2002",
month = {September},
type = "Technical Report",
institution = "University of Texis at Austin",
url = "http://www.cs.utexas.edu/users/rlopez/Publications.html"
}
@misc{ filman00aspectoriented,
author = "R. Filman and D. Friedman",
title = "Aspect-Oriented Programming is Quantification and Obliviousness",
text = "R.E. Filman and D.P. Friedman, Aspect-Oriented Programming is Quantification
and Obliviousness, Workshop on Advanced Separation of Concerns, OOPSLA 2000,
October 2000, Minneapolis. http://ic-www.arc.nasa.gov/ic/ darwin/oif/leo/filman/text/oif/aop-is.pdf",
year = "2000",
url = "citeseer.ist.psu.edu/filman00aspectoriented.html" }
@inproceedings{ clifton02observers,
author = "Curtis Clifton and Gary T. Leavens",
title = "Observers and assistants: A proposal for modular
aspect-oriented reasoning",
booktitle = "{FOAL} 2002",
editor = "Gary Leavens and Ron Cytron",
series = "Technical Report 02-06, Computer Science, Iowa State University",
pages = "33--44",
year = "2002",
url = "citeseer.ist.psu.edu/clifton02observers.html" }
@article{ lieberherr03aspectual,
author = "K. Lieberherr and D. Lorenz and J. Ovlinger",
title = "Aspectual Collaborations: Combining Modules and Aspects",
text = "K. Lieberherr, D. H. Lorenz, and J. Ovlinger. Aspectual Collaborations:
Combining Modules and Aspects. The Computer Journal, 46(5):542--565, September
2003.",
journal = "The Computer Journal",
pages = "542--565",
volume = "46",
number = "5",
year = "2003",
url = "citeseer.ist.psu.edu/lieberherr03aspectual.html" }
@inproceedings{kiczales05,
author = {Gregor Kiczales and Mira Mezini},
title = {Aspect-oriented programming and modular reasoning},
booktitle = {ICSE '05: Proceedings of the 27th international conference on Software engineering},
year = {2005},
isbn = {1-59593-963-2},
pages = {49--58},
location = {St. Louis, MO, USA},
doi = {http://doi.acm.org/10.1145/1062455.1062482},
publisher = {ACM Press},
address = {New York, NY, USA},
}
@inproceedings{mceachen05,
author = {Nathan McEachen and Roger T. Alexander},
title = {Distributing classes with woven concerns: an exploration of potential fault scenarios},
booktitle = {AOSD '05: Proceedings of the 4th international conference on Aspect-oriented software development},
year = {2005},
isbn = {1-59593-043-4},
pages = {192--200},
location = {Chicago, Illinois},
doi = {http://doi.acm.org/10.1145/1052898.1052915},
publisher = {ACM Press},
address = {New York, NY, USA},
}
@inproceedings{vallerai99,
author = {Raja Vall$\acute{e}$e-Rai and Phong Co and Etienne Gagnon and Laurie Hendren and Patrick Lam and Vijay Sundaresan},
title = {Soot - a Java bytecode optimization framework},
booktitle = {CASCON '99: Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative research},
year = {1999},
pages = {13},
location = {Mississauga, Ontario, Canada},
publisher = {IBM Press},
}
@unpublished{aspectjprogguide,
author = {{The AspectJ Team}},
title = "{The AspectJ Programming Guide}",
url = "http://www.eclipse.org/aspectj"}
@book{woodcock96,
author = "J C P Woodcock and J Davies",
title = "Using Z",
publisher = "Prentice Hall",
year = "1996"}
@inproceedings{ gudmundson01addressing,
author = "Stephan Gudmundson and Gregor Kiczales",
title = "{Addressing Practical Software Development Issues in AspectJ
with a Pointcut Interface}",
booktitle = "ECOOP 2001 Workshop on Advanced Separation of Concerns",
location = {Budapest},
year = "2001",
url = "citeseer.ist.psu.edu/gudmundson01addressing.html" }
@inproceedings{ dantas04harmless,
author = " Daniel S. Dantas and David Walker",
title = "Harmless Advice",
booktitle = "12th International Workshop on Foundations of Object-Oriented Languages",
note = "Available from \url{http://homepages.inf.ed.ac.uk/wadler/fool/program/6.html}",
year = "2005"}
@inproceedings{damorium05,
author = {Marcelo d'Amorim and Klaus Havelund},
title = {Event-based runtime verification of java programs},
booktitle = {WODA '05: Proceedings of the third international workshop on Dynamic analysis},
year = {2005},
isbn = {1-59593-126-0},
pages = {1--7},
location = {St. Louis, Missouri},
doi = {http://doi.acm.org/10.1145/1083246.1083249},
publisher = {ACM Press},
address = {New York, NY, USA},
}
@inproceedings{stolz05,
author = {Volker Stolz and Eric Bodden},
title = {{Temporal Assertions using AspectJ}},
booktitle = {5th Workshop on Runtime Verification},
series = {Electronic Notes in Theoretical Computer Science},
volume = {144},
number = {4},
month = jul,
year = {2005},
pages = {109-124},
ee = {http://dx.doi.org/10.1016/j.entcs.2006.02.007},
bibsource = {DBLP, http://dblp.uni-trier.de},
}
@inproceedings{ barringer04rulebased,
author = "Howard Barringer and Allen Goldberg and Klaus Havelund and Koushik Sen",
title = "Rule-Based Runtime Verification",
booktitle = "Fifth International Conference on Verification,
Model Checking and Abstract Interpretation (VMCAI 04)",
year = "2003",
url = "citeseer.csail.mit.edu/barringer04rulebased.html",
publisher = "Lecture Notes in Computer Science",
volume = "2937",
pages = "44-57",
}
@PhdThesis{Lhotak:2005:PAU,
author = "Ond\v{r}ej Lhot\'ak",
title = "Program Analysis using Binary Decision Diagrams",
school = "McGill University",
year = "2005",
month = dec,
}
@InProceedings{Lhotak:2003:SJP,
author = "Lhot\'ak, Ond\v{r}ej and Hendren, Laurie",
title = "Scaling {Java} Points-to Analysis Using {Spark}",
booktitle = CC,
pages = "153--169",
month = apr,
year = "2003",
volume = "2622",
series = LNCS,
}
@techreport{rho04,
title = "Uniform genericity for aspect languages",
author = "Tobias Rho and Gunter Kniesel",
institution = "University of Bonn",
number = "IAI-TR-2004-4",
year = "2004"
}
@unpublished{alpha,
author = "",
title = "The Alpha Project",
note = "\url{http://www.st.informatik.tu-darmstadt.de/pages/project/alpha/}",
year = "2006"
}
@inproceedings{janzenjquery03,
author = "Doug Janzen and Kris de Volder",
title = {Navigating and querying code without getting lost},
booktitle = {Proceedings of the 2nd international conference on Aspect-oriented software development},
pages = {178--187},
publisher = {ACM Press},
year = "2003"
}
@Article{Tip:1995:SPS,
title = "A survey of program slicing techniques",
author = "Frank Tip",
journal = "Journal of Programming Languages",
year = "1995",
number = "3",
volume = "3",
pages = "121-189",
}
@Article{Binkley:1996:PS,
title = "Program Slicing",
author = "David Binkley and Keith Brian Gallagher",
journal = "Advances in Computers",
year = "1996",
volume = "43",
pages = "1--50",
}
@InProceedings{Ball:2002:SSP,
author = "Thomas Ball and Sriram K. Rajamani",
title = "The {SLAM} project: debugging system software via static analysis",
booktitle = "Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages",
year = "2002",
ISBN = "1-58113-450-9",
pages = "1--3",
location = "Portland, Oregon",
doi = "http://doi.acm.org/10.1145/503272.503274",
publisher = "ACM Press",
}
@MastersThesis{ValleeRai00Thesis,
author = {Raja Vall\'ee-Rai},
title = {Soot: A {Java} Optimization Framework},
school = {McGill University},
year = {2000},
month = {July}
}
@InProceedings{FinkETAL06EffectiveTypestateVerificationPresenceAliasing,
author = {Stephen Fink and Eran Yahav and Nurit Dor and G. Ramalingam and Emmanual Geay},
title = {Effective Typestate Verification in the Presence of Aliasing},
booktitle = ISSTA,
location = {Portland, Maine},
year = 2006
}
@InProceedings{LapkowskiHendren98ExtendedSSANumbering,
author = {Christopher Lapkowski and Laurie J. Hendren},
title = {Extended {SSA} Numbering: Introducing {SSA} Properties to Languages with Multi-Level Pointers},
booktitle = {Proc. 1998 International Conference on Compiler Construction},
pages = {128--143},
year = {1998},
volume = {1383},
series = {Springer LNCS},
month = {March}
}
@InProceedings{BoddenETAL07Staged,
author = {Eric Bodden and Laurie J. Hendren and Ond\v{r}ej Lhot\'ak},
title = {A Staged Static Program Analysis to Improve the Performance
of Runtime Monitoring},
booktitle = ECOOP,
year = {2007},
pages = {525-549},
ee = {http://dx.doi.org/10.1007/978-3-540-73589-2_25},
crossref = {DBLP:conf/ecoop/2007},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/ecoop/2007,
title = ECOOP,
booktitle = ECOOP,
publisher = {Springer},
series = LNCS,
volume = {4609},
month = jul,
year = {2007},
isbn = {978-3-540-73588-5},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@InProceedings{Dacapo,
author = {Blackburn, S. M. and Garner, R. and Hoffman, C. and Khan, A. M. and McKinley, K. S. and Bentzur, R. and Diwan, A. and Feinberg, D. and Frampton, D. and Guyer, S. Z. and Hirzel, M. and Hosking, A. and Jump, M. and Lee, H. and Moss, J. E. B. and Phansalkar, A. and Stefanovic, D. and VanDrunen, T. and von Dincklage, D. and Wiedermann, B.},
title = {The {DaCapo} Benchmarks: {Java} Benchmarking Development and Analysis},
booktitle = {OOPSLA},
pages = {169--190},
month = oct,
year = {2006},
publisher = {ACM Press}
}
@InProceedings{SridharanETAL05DemandDriven,
author = {Manu Sridharan and Denis Gopan and Lexin Shan ans Rastislav Bod\'ik},
title = {Demand-Driven Points-To Analysis for {Java}},
booktitle = {OOPSLA05},
pages = {59--76},
year = {2005},
month = {October}
}
@InProceedings{SridharanBodik06RefinementBased,
author = {Manu Sridharan and Rastislav Bod\'ik},
title = {Refinement-based context-sensitive points-to analysis for {Java}},
pages = {387--400},
month = jun,
year = {2006},
booktitle = PLDI
}
@PhdThesis{Lam07Hob,
author = {Patrick Lam},
title = {The {Hob} System for Verifying Data Structure Consistency Properties},
school = {Massachusetts Institute of Technology},
year = {2007},
month = {February}
}
@InProceedings{AvgustinovETAL07MakingTMsFeasible,
author = "Pavel Avgustinov and
Julian Tibble and
Oege de Moor",
title = "Making Trace Monitoring Feasible",
booktitle = OOPSLA,
year = "2007",
publisher = "ACM Press",
month= oct,
pages = {589--608}
}
@InProceedings{HalpertETAL07ComponentBased,
author = {Richard L. Halpert and Christopher J. F. Pickett and Clark Verbrugge},
title = {Component-Based Lock Allocation},
booktitle = PACT,
pages = {353--364},
year = {2007},
OPTlocation = {Brasov, Romania},
OPTaddress = {Los Alamitos, CA, USA},
month = sep,
issn = {1089-795X},
doi = {http://doi.ieeecomputersociety.org/10.1109/PACT.2007.23},
OPTpublisher = {IEEE Computer Society},
}
@INPROCEEDINGS{BlanchetETAL03StaticAnalyzerLargeSafetyCriticalSoftware,
AUTHOR = {Bruno Blanchet and Patrick Cousot and Radhia Cousot and J{\'e}r{\^o}me
Feret and Laurent Mauborgne and Antoine Min{\'e} and David Monniaux and Xavier Rival},
TITLE = {A {S}tatic {A}nalyzer for {L}arge {S}afety-{C}ritical {S}oftware},
BOOKTITLE = {ACM PLDI},
YEAR = 2003,
ADDRESS = {San Diego, California},
MONTH = JUN,
PUBLISHER = {ACM}
}
@PhdThesis{Salcianu06PointerAnalysisForJava,
author = {Alexandru S\u{a}lcianu},
title = {Pointer Analysis for {Java} Programs: Novel Techniques and Applications},
school = {Massachussetts Institute of Technology},
year = 2006,
month = {September}
}
@TechReport{AvgustinovETAL06EfficientTraceMonitoring,
author = {Pavel Avgustinov and Julian Tibble and Eric Bodden and Ond\v{r}ej Lhot\'ak and Laurie Hendren and Oege de Moor and Neil Ongkingco and Ganesh Sittampalam},
title = {Efficient Trace Monitoring},
institution = {abc},
year = 2006,
month = {March},
number = {abc-2006-1}
}
@TechReport{pepm,
author = {Eric Bodden and Patrick Lam and Laurie Hendren},
title = {Instance keys: A technique for sharpening whole-program pointer analyses with intraprocedural information},
institution = {Sable Research Group, McGill University},
year = {2007},
number = {SABLE-TR-2007-8},
month = {October},
}
@Book{lowagie07:itext_in_action,
author = {Bruno Lowagie},
title = {iText in Action},
publisher = {Manning},
year = 2007}
@inproceedings{aosd05aspectcobol,
author = {L\"{a}mmel, Ralf and De Schutter, Kris},
title = {What does aspect-oriented programming mean to {Cobol?}},
booktitle = {AOSD '05: Proceedings of the 4th international conference
on Aspect-oriented software development},
year = {2005},
isbn = {1-59593-042-6},
pages = {99--110},
location = {Chicago, Illinois},
doi = {http://doi.acm.org/10.1145/1052898.1052907},
publisher = {ACM},
address = {New York, NY, USA},
}
@inproceedings{aosd06loopsaj,
author = {Harbulot, Bruno and Gurd, John R.},
title = {A join point for loops in {AspectJ}},
booktitle = {AOSD '06: Proceedings of the 5th international conference
on Aspect-oriented software development},
year = {2006},
isbn = {1-59593-300-X},
pages = {63--74},
location = {Bonn, Germany},
doi = {http://doi.acm.org/10.1145/1119655.1119666},
publisher = {ACM},
address = {New York, NY, USA},
}
@article{arraypt,
author = {Kung Chen and Chin-Hung Chien},
title = {Extending the Field Access Pointcuts of {AspectJ} to Arrays},
volume = {2},
number = {2},
journal = "Journal of Software Engineering Studies",
pages = {93--102},
month = jun,
year = "2007",
}
@inproceedings{jastaddj,
author = {Torbj\"{o}rn Ekman and G\"{o}rel Hedin},
title = "{The {Jastadd} Extensible {Java} Compiler}",
year = {2007},
booktitle = "{OOPSLA '07: Proceedings of the 22nd Annual ACM SIGPLAN
Conference on Object-Oriented Programming Systems and Applications}",
isbn = {978-1-59593-786-5},
location = {Montreal, Quebec, Canada},
pages = {1--18},
doi = {http://doi.acm.org/10.1145/1297105.1297029},
publisher = {ACM},
address = {New York, USA},
}
@mastersthesis{sascha04,
author = {Sascha Kuzins},
title = {Efficient Implementation of Around-Advice for the AspectBench Compiler},
month = {September},
year = {2004},
school = {Oxford University},
url = {http://abc.comlab.ox.ac.uk/theses#kuzins-sep04},
}
@mastersthesis{MetaLexerThesis,
author = {Andrew Casey},
title = "{The MetaLexer Lexical Specification Language}",
month = {September},
year = {2009},
school = {McGill University},
url = {http://www.sable.mcgill.ca/metalexer},
}
@BOOK{NumericalAnalysis,
author = {Richard L. Burden, J. Douglas Faires},
year = 2005,
title = {Numerical Analysis, eigth edition},
publisher = {Thomson Books/Cole},
address = {Belmont, California},
isbn = 0534392008,
}
@BOOK{MatrixComputations,
author = {David S. Watkins},
year = 2002,
title = {Fundamentals of Matrix Computations, second edition},
publisher = {John Wiley and Sons},
isbn = 0471213942,
}
@misc{splat06,
author = {JoÃ£o M. P. Cardoso, JoÃ£o M. Fernandes and Miguel P. Monteiro},
title = {Adding Aspect-Oriented Features to \matlab},
note = {Proceedings of SPLAT workshop at AOSD '06
\url{http://www.aosd.net/workshops/splat/2006/papers/cardoso.pdf}},
year = {2006},
month = {March},
location = {Bonn, Germany},
url = {http://www.aosd.net/workshops/splat/2006/papers/cardoso.pdf},
}
@book{mathworks09,
publisher = "The MathWorks, Inc.",
title = "{MATLAB Programming Fundamentals}",
author = "{MathWorks}",
year = "2009"
}
@misc{octave,
title = "{GNU Octave}",
note = "\url{http://www.gnu.org/software/octave/index.html}",
year = ""
}
@misc{python,
author = "",
title = "{Python}",
note = "\url{http://www.python.org}",
year = ""
}
@BOOK{eaton:2002,
author = "John W. Eaton",
title = "GNU Octave Manual",
publisher = "Network Theory Limited",
year = "2002",
isbn = "0-9541617-2-6"
}
@misc{jastaddurl,
title = "{JastAdd}",
note = "\url{http://jastadd.org/}",
year = ""
}
@misc{metalexerurl,
title = "{Metalexer}",
note = "\url{http://www.sable.mcgill.ca/metalexer/}",
year = ""
}
@misc{mclaburl,
title = "{McLAB Home Page}",
note = "\url{http://www.sable.mcgill.ca/mclab/}",
year = ""
}
@inproceedings{AOSD2010 ,
author = {Toheed Aslam and Jesse Doherty and Anton Dubrau and Laurie Hendren},
title = "{{AspectMatlab}: An Aspect-Oriented Scientific Programming Language}",
booktitle = "{Proceedings of 9th International Conference on Aspect-Oriented Software Development}",
year = {2010},
month = "March",
pages = {181--192}
}
@mastersthesis{McForThesis,
author = {Jun Li},
title = "{{McFor}: A {MATLAB} to {FORTRAN} 95 Compiler}",
month = {August},
year = {2009},
school = {McGill University},
url = {http://www.sable.mcgill.ca/mclab/matlab_fortran.html},
}
@mastersthesis{McVMThesis,
author = {Maxime Chevalier-Boisvert},
title = "{{McVM}: An Optimizing Virtual Machine for the {MATLAB} Programming Language}",
month = {August},
year = {2009},
school = {McGill University},
url = {http://www.sable.mcgill.ca/mclab/mcvm_mcjit.html},
}
@inproceedings{CC2010,
author = {Maxime Chevalier-Boisvert and Laurie Hendren and Clark Verbrugge},
title = "{Optimizing {MATLAB} through Just-In-Time Specialization}",
booktitle = "International Conference on Compiler Construction",
year = {2010},
month = "March",
pages = {46--65}
}
@mastersthesis{ToheedThesis,
author = {Toheed Aslam},
title = "{{AspectMatlab}: An Aspect-Oriented Scientific Programming Language}",
year = {2010},
school = {McGill University},
url = {http://www.sable.mcgill.ca/mclab/aspectmatlab/index.html},
}
@inproceedings{Dimoulas09,
author = {Dimoulas, Christos and Wand, Mitchell},
title = "{The Higher-Order Aggregate Update Problem}",
booktitle = "{VMCAI '09: Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation}",
year = {2009},
isbn = {978-3-540-93899-6},
pages = {44--58},
location = {Savannah, GA},
doi = {http://dx.doi.org/10.1007/978-3-540-93900-9_8},
publisher = {Springer-Verlag},
address = {Berlin, Heidelberg},
}
@inproceedings{rose96,
author = {Rose, Luiz De and Gallivan, Kyle and Gallopoulos, Efstratios and Marsolf, Bret A. and Padua, David A.},
title = "{FALCON: A MATLAB Interactive Restructuring Compiler}",
booktitle = "{LCPC '95: Proceedings of the 8th International Workshop on Languages and Compilers for Parallel Computing}",
year = {1996},
isbn = {3-540-60765-X},
pages = {269--288},
publisher = {Springer-Verlag},
address = {London, UK},
}
@book{moler04,
publisher = "Society for Industrial and Applied Mathematics",
title = "{Numerical Computing with MATLAB}",
author = "{Cleve Moler}",
year = "2004",
isbn = {978-0-898716-60-3},
}
@book{press86,
publisher = "Cambridge University Press",
title = "{Numerical Recipes : the Art of Scientific Computing}",
author = "{Press, H. William and Teukolsky, A. Saul and Vetterling, T. William and Flannery, P. Brian}",
year = "1986",
isbn = {},
}
@inproceedings{hudak85,
author = {Hudak, Paul and Bloss, Adrienne},
title = "{The Aggregate Update Problem in Functional Programming Systems}",
booktitle = "{POPL '85: Proceedings of the 12th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages}",
year = {1985},
isbn = {0-89791-147-4},
pages = {300--314},
location = {New Orleans, Louisiana, United States},
doi = {http://doi.acm.org/10.1145/318593.318660},
publisher = {ACM},
address = {New York, NY, USA},
}
@article{wand01,
author = {Wand, Mitchell and Clinger, William D.},
title = "{Set Constraints for Destructive Array Update Optimization}",
journal = "{Journal of Functional Programming}",
volume = {11},
number = {3},
year = {2001},
issn = {0956-7968},
pages = {319--346},
doi = {http://dx.doi.org/10.1017/S0956796801003938},
publisher = {Cambridge University Press},
address = {New York, USA},
}
@inproceedings{Fatahalian06,
author = {Fatahalian, Kayvon and Horn, Daniel Reiter and Knight, Timothy J. and Leem, Larkhoon and Houston, Mike and Park, Ji Young and Erez, Mattan and Ren, Manman and Aiken, Alex and Dally, William J. and Hanrahan, Pat},
title = "{Sequoia: Programming the Memory Hierarchy}",
booktitle = "{SC '06: Proceedings of the 2006 ACM/IEEE Conference on Supercomputing}",
year = {2006},
isbn = {0-7695-2700-0},
pages = {83},
location = {Tampa, Florida},
doi = {http://doi.acm.org/10.1145/1188455.1188543},
publisher = {ACM},
address = {New York, USA},
}
@inproceedings{gopinath89,
author = {Gopinath, K. and Hennessy, J. L.},
title = "{Copy Elimination in Functional Languages}",
booktitle = "{POPL '89: Proceedings of the 16th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages}",
year = {1989},
isbn = {0-89791-294-2},
pages = {303--314},
location = {Austin, Texas, United States},
doi = {http://doi.acm.org/10.1145/75277.75304},
publisher = {ACM},
address = {New York, USA},
}
@inproceedings{lattner04,
author = {Lattner, Chris and Adve, Vikram},
title = "{LLVM: A Compilation Framework for Lifelong Program Analysis \& Transformation}",
booktitle = "{CGO '04: Proceedings of the International Symposium on Code Generation and Optimization}",
year = {2004},
isbn = {0-7695-2102-9},
pages = {75},
location = {Palo Alto, California},
publisher = {IEEE Computer Society},
address = {Washington, DC, USA},
}
@MISC{boehm07,
author = {{Hans-j}. Boehm and Michael Spertus},
title = "{N2310: Transparent Programmer-Directed Garbage Collection for {C++}}",
year = {2007},
month = jun,
number = {WG21/N2310=07-0170},
note = "\url{http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2007/n2310.pdf}"
}
@BOOK{laug,
author = {Anderson, E. and Bai, Z. and Bischof, C. and
Blackford, S. and Demmel, J. and Dongarra, J. and
Du Croz, J. and Greenbaum, A. and Hammarling, S. and
McKenney, A. and Sorensen, D.},
title = "{{LAPACK} Users' Guide}",
edition = {Third},
publisher = {Society for Industrial and Applied Mathematics},
year = {1999},
address = {Philadelphia, PA},
isbn = {0-89871-447-8 (paperback)}
}
@article{whaley01,
author = "R. Clint Whaley and Antoine Petitet and Jack J. Dongarra",
title = "{Automated Empirical Optimizations of Software and the ATLAS Project}",
journal = "Parallel Computing",
volume = "27",
number = "1-2",
pages = "3 - 35",
year = "2001",
note = "",
issn = "0167-8191",
doi = "DOI: 10.1016/S0167-8191(00)00087-9",
url = "http://www.sciencedirect.com/science/article/B6V12-42K5HNX-2/2/11db50443334a1b8c2c3a5906b76640a",
}
@inproceedings{odersky91,
author = {Odersky, Martin},
title = "{How to Make Destructive Updates Less Destructive}",
booktitle = "{POPL '91: Proceedings of the 18th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages}",
year = {1991},
isbn = {0-89791-419-8},
pages = {25--36},
location = {Orlando, Florida, United States},
doi = {http://doi.acm.org/10.1145/99583.99590},
publisher = {ACM},
address = {New York, NY, USA},
}
@phdthesis{sastry94,
author = {Sastry, A. V. S.},
title = "{Efficient Array Update Analysis of Strict Functional Languages}",
year = {1994},
order_no = {UMI Order No. GAX95-02385},
publisher = {University of Oregon},
address = {Eugene, OR, USA},
}
@inproceedings{shankar02,
author = {Shankar, Natarajan},
title = "{Static Analysis for Safe Destructive Updates in a Functional Language}",
booktitle = "{LOPSTR '01: Selected papers from the 11th International Workshop on Logic Based Program Synthesis and Transformation}",
year = {2001},
isbn = {3-540-43915-3},
pages = {1--24},
publisher = {Springer-Verlag},
address = {London, UK},
}
@book{iverson62,
author = "{Iverson, Kenneth E.}",
title = "{A Programming Language}",
year = "1962",
publisher = "John Wiley and Sons, Inc.",
isbn = {978-0-898716-60-3},
}
@article{weigang85,
author = "{Weigang, Jim}",
title = "{An Introduction to STSC's APL Compiler}",
journal = "{SIGAPL APL Quote Quad}",
volume = {15},
number = {4},
year = {1985},
issn = {0163-6006},
pages = {231--238},
doi = {http://doi.acm.org/10.1145/255315.255676},
publisher = {ACM},
address = {New York, NY, USA},
}
@TechReport{sabletr-05,
author = {Nurudeen Lameed and Laurie Hendren},
title = "{Staged Static Techniques to Efficiently Implement
Array Copy Semantics in a {MATLAB} {JIT} Compiler}",
institution = {Sable Research Group, School of Computer Science, McGill University},
number = {SABLE-TR-2010-5},
year = {2010},
month = July,
address = {Montr\'eal, Qu\'ebec, Canada},
}
@INPROCEEDINGS{goyal98,
author = {Deepak Goyal and Robert Paige},
title = "{A New Solution to the Hidden Copy Problem}",
booktitle = {Proc. 5th International Static Analysis Symposium, number 1503 in LNCS},
year = {1998},
pages = {327--348},
publisher = {Springer-Verlag}
}
@book{schwartz86,
author = {Schwartz, J. T. and Dewar, R. B. and Schonberg, E. and Dubinsky, E.},
title = {Programming with sets; an introduction to SETL},
year = {1986},
isbn = {0-387-96399-5},
publisher = {Springer-Verlag New York, Inc.},
address = {New York, NY, USA},
}
@inproceedings{RPython,
author = {Ancona, Davide and Ancona, Massimo and Cuni, Antonio and Matsakis, Nicholas D.},
address = {New York, NY, USA},
booktitle = {DLS '07: Proceedings of the 2007 symposium on Dynamic languages},
interhash = {21e6c4312cfebc7831b5842bdb2aff04},
intrahash = {76aac560c0ff3949af9bfffc590dbdc8},
pages = {53--64},
publisher = {ACM},
title = {RPython: a Step Towards Reconciling Dynamically and Statically Typed OO Languages},
url = {http://portal.acm.org/citation.cfm?id=1297081.1297091},
year = 2007,
timestamp = {2008-07-06T20:30:46.000+0200},
keywords = {Dynamic Me:MastersThesis languages},
added-at = {2008-07-06T20:30:46.000+0200},
location = {Montreal, Quebec, Canada},
description = {RPython},
isbn = {978-1-59593-868-8},
biburl = {http://www.bibsonomy.org/bibtex/276aac560c0ff3949af9bfffc590dbdc8/gron},
doi = {http://doi.acm.org/10.1145/1297081.1297091}
}
@inproceedings{StaticRuby,
author = {Furr, Michael and An, Jong-hoon (David) and Foster, Jeffrey S. and Hicks, Michael},
title = {Static type inference for {Ruby}},
booktitle = {Proceedings of the 2009 ACM symposium on Applied Computing},
series = {SAC '09},
year = {2009},
isbn = {978-1-60558-166-8},
location = {Honolulu, Hawaii},
pages = {1859--1866},
numpages = {8},
url = {http://doi.acm.org/10.1145/1529282.1529700},
doi = {http://doi.acm.org/10.1145/1529282.1529700},
acmid = {1529700},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {Ruby, contracts, dynamic typing, type inference},
}