E-LIB Suche - Ergebnisse für: Cook, William R.

1

Chapter 19 Dante for Everyone:

, In: Dante, Eschatology, and the Christian Tradition,

Cook, William R. - p. 321-330 , 2024

Link: https://doi.org/10.1515/..

2

Separation Logic-Based Verification Atop a Binary-Compatibl..:

, In: Lecture Notes in Computer Science; Formal Methods: Foundations and Applications,

Mehta, Mihir Parang ; Cook, William R. - p. 155-170 , 2020

Link: https://doi.org/10.1007/..

3

Verifying equivalence of database-driven applications:

Wang, Yuepeng ; Dillig, Isil ; Lahiri, Shuvendu K..
Proceedings of the ACM on Programming Languages. 2 (2017) POPL - p. 1-29 , 2017

Link: https://doi.org/10.1145/..

4

Verifying equivalence of database-driven applications:

Wang, Yuepeng ; Dillig, Isil ; Lahiri, Shuvendu K..
Proceedings of the ACM on Programming Languages. 2 (2017) POPL - p. 1-29 , 2017

Link: https://dl.acm.org/doi/1..

5

OrcO: a concurrency-first approach to objects:

, In: Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications,

Peters, Arthur Michener ; Kitchin, David ; Thywissen, John A.. - p. 548-567 , 2016

Link: https://dl.acm.org/doi/1..

6

OrcO: a concurrency-first approach to objects:

Peters, Arthur Michener ; Kitchin, David ; Thywissen, John A..
ACM SIGPLAN Notices. 51 (2016) 10 - p. 548-567 , 2016

Link: https://doi.org/10.1145/..

7

The Cult of St Clare of Assisi in Early Modern Italy by Nir..:

Cook, William R.
The Catholic Historical Review. 102 (2016) 3 - p. 605-606 , 2016

Link: https://doi.org/10.1353/..

8

Implicitly Distributing Pervasively Concurrent Programs ..:

, In: First Workshop on Programming Models and Languages for Distributed Computing,

Thywissen, John A. ; Peters, Arthur Michener ; Cook, William R. - p. 1-4 , 2016

Link: https://dl.acm.org/doi/1..

9

Evaluating and comparing language workbenches:

Erdweg, Sebastian ; van der Storm, Tijs ; Völter, Markus...
Computer Languages, Systems & Structures. 44 (2015) - p. 24-47 , 2015

Link: https://doi.org/10.1016/..

10

The world of St. Francis of Assisi: essays in honor of Will..

The medieval Franciscans, 1572-6991, VOLUME 11

Cook, William R ; Franco, Bradley R , 2015

Link: https://search.ebscohost..

11

The design and implementation of Object Grammars:

van der Storm, Tijs ; Cook, William R. ; Loh, Alex
Science of Computer Programming. 96 (2014) - p. 460-487 , 2014

Link: https://doi.org/10.1016/..

12

Extensibility for the masses : practical extensibility w..:

, In: Proceedings of the 26th European conference on Object-Oriented Programming,

Oliveira, Bruno C. d. S. ; Cook, William R. - p. 2-27 , 2012

Link: https://dl.acm.org/doi/1..

13

Managed data : modular strategies for data abstraction:

, In: Proceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software,

Loh, Alex ; van der Storm, Tijs ; Cook, William R. - p. 179-194 , 2012

Link: https://dl.acm.org/doi/1..

14

Extensibility for the Masses:

, In: ECOOP 2012 – Object-Oriented Programming; Lecture Notes in Computer Science,

Oliveira, Bruno C. d. S. ; Cook, William R. - p. 2-27 , 2012

Link: https://doi.org/10.1007/..

15

Functional programming with structured graphs:

, In: Proceedings of the 17th ACM SIGPLAN international conference on Functional programming,

Oliveira, Bruno C.d.S. ; Cook, William R. - p. 77-88 , 2012

Link: https://dl.acm.org/doi/1..