@inproceedings{conf/tase/ZhaoB08,
	title = {A Fundamental Permission Interpretation for Ownership Types.},
	author = {Yang Zhao and John Boyland},
	booktitle = {TASE},
	crossref = {conf/tase/2008},
	pages = {65-72},
	publisher = {IEEE Computer Society},
	url = {http://dblp.uni-trier.de/db/conf/tase/tase2008.html#ZhaoB08},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/2ada72e9fd9ce11baa3acd2466ad3ae44/dblp},
	description = {dblp},
	ee = {http://doi.ieeecomputersociety.org/10.1109/TASE.2008.45}, isbn = {978-0-7695-3249-3}, date = {2008-09-04},
	keywords = {dblp }
}

@inproceedings{conf/ecoopw/BoylandCLLP07,
	title = {Formal Techniques for Java-Like Programs.},
	author = {John Boyland and Dave Clarke and Gary T. Leavens and Francesco Logozzo and Arnd Poetzsch-Heffter},
	booktitle = {ECOOP Workshops},
	crossref = {conf/ecoopw/2007},
	editor = {Michael Cebulla},
	pages = {99-107},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/ecoopw/ecoopw2007.html#BoylandCLLP07},
	volume = {4906},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/22c1841c162969ee66fbefc06132cf315/dblp},
	description = {dblp},
	date = {2008-02-28}, ee = {http://dx.doi.org/10.1007/978-3-540-78195-0_10}, isbn = {978-3-540-78194-3},
	keywords = {dblp }
}

@article{journals/scp/HedinB07,
	title = {Preface.},
	author = {Görel Hedin and John Tang Boyland},
	journal = {Sci. Comput. Program.},
	number = {2},
	pages = {63},
	url = {http://dblp.uni-trier.de/db/journals/scp/scp68.html#HedinB07},
	volume = {68},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/29ae376edf96cd9d35050f711e23c6e50/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1016/j.scico.2007.04.003}, date = {2007-11-07},
	keywords = {dblp }
}

@article{journals/entcs/BoylandS06,
	title = {Preface.},
	author = {John Boyland and Anthony Sloane},
	journal = {Electr. Notes Theor. Comput. Sci.},
	number = {2},
	pages = {1-2},
	url = {http://dblp.uni-trier.de/db/journals/entcs/entcs164.html#BoylandS06},
	volume = {164},
	year = {2006},
	biburl = {http://www.bibsonomy.org/bibtex/24c4af39e72bba90b1391912c07217fbd/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1016/j.entcs.2006.06.012}, date = {2007-02-12},
	keywords = {dblp }
}

@inproceedings{nguyen05,
	title = {An infrastructure for development of object-oriented, multi-level configuration management services},
	address = {St. Louis, MI},
	author = {Tien N. Nguyen and Ethan V. Munson and John T. Boyland and Cheng Thao},
	booktitle = {International Conference on Software Engineering},
	month = {May},
	pages = {215--224},
	publisher = {ACM Press},
	url = {http://portal.acm.org/citation.cfm?id=1062504},
	year = {2005},
	biburl = {http://www.bibsonomy.org/bibtex/25ff5a00bd87ad3ffe713e74b7e1ad4a7/fink08},
	description = {From CUL on Sept 16},
	abstract = {In an integrated development environment, the ability to manage the evolution of a software system in terms of logical abstractions, compositions, and their interrelations is crucial to successful software development. This paper presents a novel framework and infrastructure, Molhado, upon which to build object-oriented software configuration management (SCM) services in a SCM-centered integrated development environment. Key contributions of this paper include a product versioning model, an extensible, logical, and object-oriented system model, and a reusable product versioning SCM infrastructure, that allow new types of objects to be implemented as extensions of the system model's basic entities. Versions and configurations of objects are managed at different levels of abstraction and granularity. A new SCM-centered editing environment or development environment for a specific development paradigm can be rapidly realized by re-using Molhado's infrastructure and implementing new object types and their associated tools. This paper also demonstrates our approach in creating prototypes of SCM-centered development environments for different paradigms.},
	doi = {10.1145/1062455.1062504}, isbn = {1595939632}, citeulike-article-id = {233101}, priority = {4},
	keywords = {configuration evolution temporal version }
}

@inproceedings{nguyen05,
	title = {An infrastructure for development of object-oriented, multi-level configuration management services},
	address = {St. Louis, MI},
	author = {Tien N. Nguyen and Ethan V. Munson and John T. Boyland and Cheng Thao},
	booktitle = {International Conference on Software Engineering},
	month = {May},
	pages = {215--224},
	publisher = {ACM Press},
	url = {http://portal.acm.org/citation.cfm?id=1062504},
	year = {2005},
	biburl = {http://www.bibsonomy.org/bibtex/25ff5a00bd87ad3ffe713e74b7e1ad4a7/neilernst},
	description = {citeulike sept 4},
	abstract = {In an integrated development environment, the ability to manage the evolution of a software system in terms of logical abstractions, compositions, and their interrelations is crucial to successful software development. This paper presents a novel framework and infrastructure, Molhado, upon which to build object-oriented software configuration management (SCM) services in a SCM-centered integrated development environment. Key contributions of this paper include a product versioning model, an extensible, logical, and object-oriented system model, and a reusable product versioning SCM infrastructure, that allow new types of objects to be implemented as extensions of the system model's basic entities. Versions and configurations of objects are managed at different levels of abstraction and granularity. A new SCM-centered editing environment or development environment for a specific development paradigm can be rapidly realized by re-using Molhado's infrastructure and implementing new object types and their associated tools. This paper also demonstrates our approach in creating prototypes of SCM-centered development environments for different paradigms.},
	doi = {10.1145/1062455.1062504}, isbn = {1595939632}, citeulike-article-id = {233101}, priority = {4},
	keywords = {configuration evolution temporal version }
}

@article{journals/jot/Boyland06,
	title = {Why we should not add readonly to Java (yet).},
	author = {John Boyland},
	journal = {Journal of Object Technology},
	number = {5},
	pages = {5-29},
	url = {http://dblp.uni-trier.de/db/journals/jot/jot5.html#Boyland06},
	volume = {5},
	year = {2006},
	biburl = {http://www.bibsonomy.org/bibtex/26b5f846157eff1ddc7da00cace43d067/dblp},
	description = {dblp},
	ee = {http://www.jot.fm/issues/issue_2006_06/article1}, date = {2006-07-12},
	keywords = {dblp }
}

@inproceedings{conf/euromicro/NguyenMBT05,
	title = {Multi-level Configuration Management with Fine-grained Logical Units.},
	author = {Tien Nhut Nguyen and Ethan V. Munson and John Tang Boyland and Cheng Thao},
	booktitle = {EUROMICRO-SEAA},
	crossref = {conf/euromicro/2005},
	pages = {248-257},
	publisher = {IEEE Computer Society},
	url = {http://dblp.uni-trier.de/db/conf/euromicro/euromicro2005.html#NguyenMBT05},
	year = {2005},
	biburl = {http://www.bibsonomy.org/bibtex/2d1c3d80827af17ad07cbdc89fd041387/dblp},
	description = {dblp},
	ee = {http://doi.ieeecomputersociety.org/10.1109/EURMIC.2005.42}, isbn = {0-7695-2431-1}, date = {2006-06-08},
	keywords = {dblp }
}

@article{journals/toplas/Boyland96,
	title = {Conditional Attribute Grammars.},
	author = {John Boyland},
	journal = {ACM Trans. Program. Lang. Syst.},
	number = {1},
	pages = {73-108},
	url = {http://dblp.uni-trier.de/db/journals/toplas/toplas18.html#Boyland96},
	volume = {18},
	year = {1996},
	biburl = {http://www.bibsonomy.org/bibtex/263980e5feceb4341fe8d533ee80ffd3c/dblp},
	description = {dblp},
	ee = {http://doi.acm.org/10.1145/225540.225544}, date = {2006-04-03},
	keywords = {dblp }
}

@inproceedings{conf/popl/BoylandR05,
	title = {Connecting effects and uniqueness with adoption.},
	author = {John Tang Boyland and William Retert},
	booktitle = {POPL},
	crossref = {conf/popl/2005},
	editor = {Jens Palsberg and Martín Abadi},
	pages = {283-295},
	publisher = {ACM},
	url = {http://dblp.uni-trier.de/db/conf/popl/popl2005.html#BoylandR05},
	year = {2005},
	biburl = {http://www.bibsonomy.org/bibtex/28712dad6c7ade3723afc324af0f31ab2/dblp},
	description = {dblp},
	ee = {http://doi.acm.org/10.1145/1040305.1040329}, isbn = {1-58113-830-X}, date = {2006-02-15},
	keywords = {dblp }
}