Search results for "William R. Cook"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	William R. Cook, Ralf Lämmel	Tutorial on Online Partial Evaluation	DSL	2011	DBLP DOI BibTeX RDF
1	Sven Apel, William R. Cook, Krzysztof Czarnecki, Oscar Nierstrasz	Feature-Oriented Software Development (FOSD) (Dagstuhl Seminar 11021).	Dagstuhl Reports	2011	DBLP DOI BibTeX RDF
1	Young-Woo Kwon, Eli Tilevich, William R. Cook	Which middleware platform should you choose for your next remote service?	Service Oriented Computing and Applications	2011	DBLP DOI BibTeX RDF
1	Amin Shali, William R. Cook	Hybrid partial evaluation.	OOPSLA	2011	DBLP DOI BibTeX RDF
1	Benjamin Delaware, William R. Cook, Don S. Batory	Product lines of theorems.	OOPSLA	2011	DBLP DOI BibTeX RDF
1	William R. Cook	Breaking through to remote data and services.	ICSE	2010	DBLP DOI BibTeX RDF
1	Srinivas Nedunuri, Douglas R. Smith, William R. Cook	A Class of Greedy Algorithms and Its Relation to Greedoids.	ICTAC	2010	DBLP DOI BibTeX RDF
1	Bruno C. d. S. Oliveira, Tom Schrijvers, William R. Cook	EffectiveAdvice: disciplined advice with explicit effects.	AOSD	2010	DBLP DOI BibTeX RDF	AOP, interference, monads, parametricity, mixins
1	Young-Woo Kwon, Eli Tilevich, William R. Cook	An Assessment of Middleware Platforms for Accessing Remote Services.	IEEE SCC	2010	DBLP DOI BibTeX RDF	Remote services, RBI, middleware, OSGi, message-oriented middleware, R-OSGi
1	William R. Cook	Unifying Remote Data, Remote Procedures, and Web Services.	ICOODB	2010	DBLP DOI BibTeX RDF
1	William R. Cook, Siobhán Clarke, Martin C. Rinard (eds.)	Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2010, October 17-21, 2010, Reno/Tahoe, Nevada, USA	OOPSLA	2010	DBLP BibTeX RDF
1	William R. Cook, Siobhán Clarke, Martin C. Rinard (eds.)	Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, SPLASH/OOPSLA 2010, October 17-21, 2010, Reno/Tahoe, Nevada, USA	SPLASH/OOPSLA Companion	2010	DBLP BibTeX RDF
1	Sven Apel, Jörg Liebig, Christian Lengauer, Christian Kästner, William R. Cook	Semistructured Merge in Revision Control Systems.	VaMoS	2010	DBLP BibTeX RDF
1	David Kitchin, Adrian Quark, William R. Cook, Jayadev Misra	The Orc Programming Language.	FMOODS/FORTE	2009	DBLP DOI BibTeX RDF
1	Ali Ibrahim, Marc Fisher II, William R. Cook, Eli Tilevich	Remote Batch Invocation for Web Services: Document-Oriented Web Services with Object-Oriented Interfaces.	ECOWS	2009	DBLP DOI BibTeX RDF
1	Srinivas Nedunuri, William R. Cook	Synthesis of fast programs for maximum segment sum problems.	GPCE	2009	DBLP DOI BibTeX RDF	segment-sum problems, algorithms, formal methods, branch-and-bound, program synthesis
1	Benjamin Delaware, William R. Cook, Don S. Batory	A machine-checked model of safe composition.	FOAL	2009	DBLP DOI BibTeX RDF	feature model, product lines, type safety
1	Sven Apel, William R. Cook, Krzysztof Czarnecki, Christian Kästner, Neil Loughran, Oscar Nierstrasz (eds.)	Proceedings of the First International Workshop on Feature-Oriented Software Development, FOSD 2009, Denver, Colorado, USA, October 6, 2009	FOSD	2009	DBLP BibTeX RDF
1	William R. Cook	On understanding data abstraction, revisited.	OOPSLA	2009	DBLP DOI BibTeX RDF	ADT, object, abstract data type, class
1	Jorn Bettin, William R. Cook, Tony Clark, Steven Kelly	Knowledge industry survival strategy (KISS): fundamental principles and interoperability requirements for domain specific modeling languages.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	model driven software, modeling language design, interoperability, modularity, domain specific language
1	Eli Tilevich, William R. Cook, Yang Jiao	Explicit Batching for Distributed Objects.	ICDCS	2009	DBLP DOI BibTeX RDF
1	Lars E. Olson, Carl A. Gunter, William R. Cook, Marianne Winslett	Implementing Reflective Access Control in SQL.	DBSec	2009	DBLP DOI BibTeX RDF
1	Ali Ibrahim, Yang Jiao, Eli Tilevich, William R. Cook	Remote Batch Invocation for Compositional Object Services.	ECOOP	2009	DBLP DOI BibTeX RDF
1	Benjamin Delaware, William R. Cook, Don S. Batory	Fitting the pieces together: a machine-checked model of safe composition.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	feature models, product lines, type safety
1	Jose Falcon, William R. Cook	Gel: A Generic Extensible Language.	DSL	2009	DBLP DOI BibTeX RDF
1	Ian Wehrman, David Kitchin, William R. Cook, Jayadev Misra	A timed semantics of Orc.	Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	William R. Cook	High-level problems in teaching undergraduate programming languages.	SIGPLAN Notices	2008	DBLP DOI BibTeX RDF	programming languages curriculum
1	William R. Cook, Jayadev Misra	Structured Interacting Computations.	Software-Intensive Systems and New Computing Paradigms	2008	DBLP DOI BibTeX RDF
1	Ben Wiedermann, Ali Ibrahim, William R. Cook	Interprocedural query extraction for transparent persistence.	OOPSLA	2008	DBLP DOI BibTeX RDF	databases, static analysis, programming languages, attribute grammars, object-relational mapping
1	Jayadev Misra, William R. Cook	Computation Orchestration.	Software and System Modeling	2007	DBLP DOI BibTeX RDF	Wide-area computing, Computation orchestration, Thread-based programming, Web services, Distributed computing, Process algebra
1	William R. Cook, Janel Barfield	Web Service versus Distributed Objects: A Case Study of Performance and Interface Design.	Int. J. Web Service Res.	2007	DBLP BibTeX RDF
1	Sidney Rosario, David Kitchin, Albert Benveniste, William R. Cook, Stefan Haar, Claude Jard	Event Structure Semantics of Orc.	WS-FM	2007	DBLP DOI BibTeX RDF
1	Ben Wiedermann, William R. Cook	Extracting queries by static analysis of transparent persistence.	POPL	2007	DBLP DOI BibTeX RDF	databases, static analysis, programming languages
1	Sahil Thaker, Don S. Batory, David Kitchin, William R. Cook	Safe composition of product lines.	GPCE	2007	DBLP DOI BibTeX RDF	compositional programming, features, product lines, SAT solvers
1	William R. Cook	AppleScript.	HOPL	2007	DBLP DOI BibTeX RDF	AppleScript, history, scripting
1	David Kitchin, William R. Cook, Jayadev Misra	A Language for Task Orchestration and Its Semantic Properties.	CONCUR	2006	DBLP DOI BibTeX RDF
1	William R. Cook, Sourabh Patwardhan, Jayadev Misra	Workflow Patterns in Orc.	COORDINATION	2006	DBLP DOI BibTeX RDF
1	Erik Ernst, Klaus Ostermann, William R. Cook	A virtual class calculus.	POPL	2006	DBLP DOI BibTeX RDF	soundness, virtual classes
1	William R. Cook, Robert Greene, Patrick Linskey, Erik Meijer, Ken Rugg, Craig Russell, Bob Walker, Christof Wittig	Objects and databases: state of the union in 2006.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	databases, object-oriented programming, panel
1	Peri L. Tarr, William R. Cook (eds.)	Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA	OOPSLA Companion	2006	DBLP BibTeX RDF
1	Peri L. Tarr, William R. Cook (eds.)	Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA	OOPSLA	2006	DBLP BibTeX RDF
1	William R. Cook	Peak Objects.	ECOOP	2006	DBLP DOI BibTeX RDF
1	Ali Ibrahim, William R. Cook	Automatic Prefetching by Traversal Profiling in Object Persistence Architectures.	ECOOP	2006	DBLP DOI BibTeX RDF
1	Sol Swords, William R. Cook	Soundness of the simply typed lambda calculus in ACL2.	ACL2	2006	DBLP DOI BibTeX RDF	lambda-calculus, soundness, ACL2
1	William R. Cook, Janel Barfield	Web Services versus Distributed Objects: A Case Study of Performance and Interface Design.	ICWS	2006	DBLP DOI BibTeX RDF
1	Roberto E. Lopez-Herrejon, Don S. Batory, William R. Cook	Evaluating Support for Features in Advanced Modularization Technologies.	ECOOP	2005	DBLP DOI BibTeX RDF
1	William R. Cook, Siddhartha Rai	Safe query objects: statically typed objects as remotely executable queries.	ICSE	2005	DBLP DOI BibTeX RDF	JDO, persistence, type safety
1	William R. Cook, Jens Palsberg	A Denotational Semantics of Inheritance and Its Correctness	Inf. Comput.	1994	DBLP DOI BibTeX RDF
1	Oscar Nierstrasz, Alan Snyder, Anthony S. Williams, William R. Cook	Open distributed processing (panel).	OOPS Messenger	1994	DBLP DOI BibTeX RDF
1	Yen-Ping Shan, Thomas A. Cargill, Brad Cox, William R. Cook, Mary E. S. Loomis, Alan Snyder	Panel - Is Multiple Inheritance Essential to OOP?	OOPSLA	1993	DBLP DOI BibTeX RDF
1	Ralph E. Johnson, Kent Beck, Grady Booch, William R. Cook, Richard P. Gabriel, Rebecca Wirfs-Brock	How to Get a Paper Accepted at OOPSLA (Panel).	OOPSLA	1993	DBLP DOI BibTeX RDF
1	William R. Cook	Interfaces and Specifications for the Smalltalk-80 Collection Classes.	OOPSLA	1992	DBLP DOI BibTeX RDF
1	William R. Cook, Walter L. Hill, Peter S. Canning	Inheritance Is Not Subtyping.	POPL	1990	DBLP DOI BibTeX RDF	Smalltalk
1	Gilad Bracha, William R. Cook	Mixin-based Inheritance.	OOPSLA/ECOOP	1990	DBLP DOI BibTeX RDF
1	William R. Cook	Object-Oriented Programming Versus Abstract Data Types.	REX Workshop	1990	DBLP DOI BibTeX RDF	higher-order procedures, object-oriented programming, typing, extensibility, abstract data type, incremental programming
1	Peter S. Canning, William R. Cook, Walter L. Hill, Walter G. Olthoff, John C. Mitchell	F-Bounded Polymorphism for Object-Oriented Programming.	FPCA	1989	DBLP DOI BibTeX RDF
1	Peter S. Canning, William R. Cook, Walter L. Hill, Walter G. Olthoff	Interfaces for Strongly-Typed Object-Oriented Programming.	OOPSLA	1989	DBLP DOI BibTeX RDF
1	William R. Cook, Jens Palsberg	A Denotational Semantics of Inheritance and its Correctness.	OOPSLA	1989	DBLP DOI BibTeX RDF
1	William R. Cook	A Proposal for Making Eiffel Type-Safe.	ECOOP	1989	DBLP BibTeX RDF

Publications of "William R. Cook" ( http://dblp.L3S.de/Authors/William_R._Cook )