|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 58 occurrences of 46 keywords
|
|
|
|
|
Results
Found 59 publication records. Showing 59 according to the selection in the facets
| 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 |
|
Displaying result #1 - #59 of 59 (100 per page; Change: )
|
|