William R. Cook

Citado por

	Total	Desde 2020
Citas	8155	909
Índice h	36	14
Índice i10	62	22

420

210

105

315

198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202527 55 111 126 151 192 165 162 142 134 162 129 94 183 147 219 218 286 334 352 391 418 371 351 351 350 301 352 273 247 282 212 188 176 196 130 7

Acceso público

Ver todo

4 artículos

1 artículo

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Jayadev MisraUniversity of Texas at AustinDirección de correo verificada de utexas.edu
Don BatoryUniversity of Texas at AustinDirección de correo verificada de cs.utexas.edu
Tijs van der StormSenior Researcher, Centrum Wiskunde & Informatica (CWI)Dirección de correo verificada de cwi.nl
Benjamin DelawareAssistant Professor, Purdue UniversityDirección de correo verificada de purdue.edu
Ben WiedermannHarvey Mudd CollegeDirección de correo verificada de g.hmc.edu
Steven KellyCTO at MetaCase, PhD from Univ. of JyväskyläDirección de correo verificada de metacase.com
Bruno C. d. S. OliveiraAssociate Professor, The University of Hong KongDirección de correo verificada de cs.hku.hk
Walter OlthoffDFKIDirección de correo verificada de dfki.de
Eli TilevichProfessor of Computer Science, Virginia TechDirección de correo verificada de cs.vt.edu
Eelco VisserProfessor of Computer Science, Delft University of TechnologyDirección de correo verificada de tudelft.nl
Gabriël KonatDelft University of TechnologyDirección de correo verificada de tudelft.nl
Markus Völterindependent consultant / itemisDirección de correo verificada de acm.org
Guido WachsmuthOracle LabsDirección de correo verificada de oracle.com
Sebastian ErdwegProfessor of Computer Science, JGU MainzDirección de correo verificada de uni-mainz.de
Jimi van der WoningDirección de correo verificada de softwareimprovementgroup.com
Jens PalsbergUniversity of California, Los Angeles (UCLA)Dirección de correo verificada de ucla.edu
John C MitchellProfessor of Computer Science, Stanford UniversityDirección de correo verificada de Stanford.edu
Douglas R SmithKestrel InstituteDirección de correo verificada de kestrel.edu
Laurence TrattSoftware Development Team, Informatics, King's College LondonDirección de correo verificada de tratt.net
Erik ErnstMember of the Dart programming language team, Google LLCDirección de correo verificada de cs.au.dk

Seguir

William R. Cook

Associate Professor of Computer Science, University of Texas at Austin

Dirección de correo verificada de cs.utexas.edu - Página principal

Programming Languages Modeling Objects Types


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Mixin-based inheritance G Bracha, W Cook ACM Sigplan Notices 25 (10), 303-311, 1990	1231	1990
Inheritance is not subtyping WR Cook, W Hill, PS Canning Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of …, 1989	695	1989
F-bounded polymorphism for object-oriented programming P Canning, W Cook, W Hill, W Olthoff, JC Mitchell Proceedings of the fourth international conference on functional programming …, 1989	552*	1989
A denotational semantics of inheritance and its correctness W Cook, J Palsberg ACM Sigplan Notices 24 (10), 433-443, 1989	538*	1989
Rule based database security system and method WR Cook, MR Gannholm US Patent 6,820,082, 2004	321	2004
Safe composition of product lines S Thaker, D Batory, D Kitchin, W Cook Proceedings of the 6th international conference on Generative programming …, 2007	319	2007
Computation orchestration: A basis for wide-area computing J Misra, WR Cook Software & Systems Modeling 6 (1), 83-110, 2007	312	2007
The state of the art in language workbenches: Conclusions from the language workbench challenge S Erdweg, T Van Der Storm, M Völter, M Boersma, R Bosman, WR Cook, ... Software Language Engineering: 6th International Conference, SLE 2013 …, 2013	307	2013
A proposal for making Eiffel type-safe WR Cook The computer journal 32 (4), 305-311, 1989	304	1989
Evaluating and comparing language workbenches: Existing results and benchmarks for the future S Erdweg, T Van Der Storm, M Völter, L Tratt, R Bosman, WR Cook, ... Computer Languages, Systems & Structures 44, 24-47, 2015	248	2015
Object-oriented programming versus abstract data types WR Cook Foundations of Object-Oriented Languages: REX School/Workshop …, 1991	220	1991
A virtual class calculus E Ernst, K Ostermann, WR Cook Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of …, 2006	203	2006
Interfaces for strongly-typed object-oriented programming PS Canning, WR Cook, WL Hill, WG Olthoff ACM SigPlan Notices 24 (10), 457-467, 1989	203	1989
Safe query objects: statically typed objects as remotely executable queries WR Cook, S Rai Proceedings of the 27th International Conference on Software engineering, 97-106, 2005	195	2005
The Orc programming language D Kitchin, A Quark, W Cook, J Misra International Conference on Formal Methods for Open Object-Based Distributed …, 2009	190	2009
Interfaces and specifications for the Smalltalk-80 collection classes WR Cook ACM SIGPlan Notices 27 (10), 1-15, 1992	189	1992
Method and apparatus for creating interactive web page objects WR Cook, MR Gannholm US Patent 6,178,432, 2001	188	2001
Evaluating support for features in advanced modularization technologies RE Lopez-Herrejon, D Batory, W Cook ECOOP 2005-Object-Oriented Programming: 19th European Conference, Glasgow …, 2005	186	2005
A language for task orchestration and its semantic properties D Kitchin, WR Cook, J Misra International Conference on Concurrency Theory, 477-491, 2006	135	2006
On understanding data abstraction, revisited WR Cook Proceedings of the 24th ACM SIGPLAN conference on Object oriented …, 2009	110	2009

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores