- The Open Scripting Architecture: Automating, Integrating, and Customizing Applications
- Gel: A Generic Extensible Language Jose Falcon, William R. Cook
- Ali Ibrahim and William Cook University of Texas at Austin
- Software & Systems Modeling manuscript No. (will be inserted by the editor)
- Soundness of the Simply Typed Lambda Calculus in ACL2 sswords@cs.utexas.edu
- EffectiveAdvice: Disciplined Advice with Explicit Effects Bruno C. d. S. Oliveira
- The Orc Programming Language David Kitchin, Adrian Quark, William Cook, Jayadev Misra
- Interprocedural Query Extraction for Transparent Persistence Ben Wiedermann, Ali Ibrahim, and William R. Cook
- Extracting Queries by Static Analysis of Transparent Persistence Ben Wiedermann and William R. Cook
- Extracting Queries by Static Analysis of
- Integrating Programming Languages & Databases: What's the Problem?
- Workflow Patterns in Orc William Cook
- Web Services Distributed
- A Machine-Checked Model of Safe Composition Benjamin Delaware, Don Batory, William Cook
- On Understanding Data Abstraction, Revisited William R. Cook
- AppleScript William R. Cook, University of Texas at Austin
- Evaluating Support for Features in Advanced Modularization Technologies
- Mixin-based Inheritance Gilad Bracha
- Object-Oriented Programming Abstract Data Types
- A Denotational Semantics of Inheritance William R. Cook
- 1. Onward!: Panel New Programming Constructs
- A Timed Semantics of Orc Ian Wehrman, David Kitchin, William R. Cook, Jayadev Misra
- A Denotational Semantics of Inheritance and its Correctness
- Native Queries for Persistent Objects A Design White Paper
- Structured Interacting Computations (A position paper)
- Introduction Dominance Relations
- Synthesis of Fast Programs for Maximum Segment Sum Problems Srinivas Nedunuri William R. Cook
- Tactical Synthesis Of Efficient Global Search Algorithms Srinivas Nedunuri
- Orc-X: Combining Orchestrations and XQuery (work in progress)
- Policy-Based Authorization William R. Cook
- The University of Texas at Austin Partition and Reforest
- Event Structure Semantics of Orc Sidney Rosario1
- Inheritance Is Not Subtyping William R. Cook Walter L. Hill Peter S. Canning
- Some Facts about String Interleaving William Cook and Jayadev Misra; February 17, 2005
- Function Inheritance William Cook
- Model Transformation by Partial Evaluation of Model Interpreters
- Workflow Patterns in Orc William R. Cook, Sourabh Patwardhan, and Jayadev Misra
- Web Services versus Distributed Objects: A Case Study of Performance and Interface Design
- Function Inheritance: Monadic Memoization Mixins Daniel Brown1
- Safe Composition of Product Lines Sahil Thaker, Don Batory, David Kitchin, and William Cook
- Service Oriented Computing and Applications manuscript No. (will be inserted by the editor)
- A Language for Task Orchestration and its Semantic Properties
- F-Bounded Polymorphism for Object-Oriented Programming
- Automatic Prefetching by Traversal Profiling in Object Persistence Architectures
- Remote Batch Invocation for Compositional Object Services
- Properties of the Timed Operational and Denotational Semantics of Orc
- Explicit Batching for Distributed Objects Eli Tilevich1
- Generic Operations and Partial Evaluation using Models Benjamin Delaware, William R. Cook
