Search results for "Dave Clarke"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Ilya Sergey, Dave Clarke	A correspondence between type checking via reduction and type checking via evaluation.	Inf. Process. Lett.	2012	DBLP DOI BibTeX RDF
1	Marcello M. Bonsangue, Dave Clarke, Alexandra Silva	A model of context-dependent component connectors.	Sci. Comput. Program.	2012	DBLP DOI BibTeX RDF
1	Dimiter Milushev, Dave Clarke	Towards Incrementalization of Holistic Hyperproperties.	POST	2012	DBLP DOI BibTeX RDF
1	Ilya Sergey, Dave Clarke	Gradual Ownership Types.	ESOP	2012	DBLP DOI BibTeX RDF
1	Michael Lienhardt, Dave Clarke	Row types for delta-oriented programming.	VaMoS	2012	DBLP DOI BibTeX RDF
1	Mohammad Izadi, Marcello M. Bonsangue, Dave Clarke	Büchi automata for modeling component connectors.	Software and System Modeling	2011	DBLP DOI BibTeX RDF
1	Dave Clarke, José Proença, Alexander Lazovik, Farhad Arbab	Channel-based coordination via constraint satisfaction.	Sci. Comput. Program.	2011	DBLP DOI BibTeX RDF
1	José Proença, Dave Clarke, Erik P. de Vink, Farhad Arbab	Decoupled execution of synchronous coordination models via behavioural automata	FOCLASA	2011	DBLP DOI BibTeX RDF
1	Marco Patrignani, Dave Clarke, Davide Sangiorgi	Ownership Types for the Join Calculus.	FMOODS/FORTE	2011	DBLP DOI BibTeX RDF
1	Radu Muschevici, José Proença, Dave Clarke	Modular Modelling of Software Product Lines with Feature Nets.	SEFM	2011	DBLP DOI BibTeX RDF
1	Ilya Sergey, Dave Clarke	From type checking by recursive descent to type checking with an abstract machine.	LDTA	2011	DBLP DOI BibTeX RDF
1	Dave Clarke, Nikolay Diakov, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer, Jan Schäfer, Rudolf Schlatte, Peter Y. H. Wong	Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language.	SFM	2011	DBLP DOI BibTeX RDF
1	Dave Clarke, David Eppstein, Kaveh Ghasemloo, Lev Reyzin, András Z. Salamon, Peter W. Shor, Aaron Sterling, Suresh Venkatasubramanian	Questions answered. in theory.: http: //cstheory.stackexchange.com/.	SIGACT News	2010	DBLP DOI BibTeX RDF
1	Dave Clarke, José Proença	Towards a Theory of Views for Feature Models.	SPLC Workshops	2010	DBLP BibTeX RDF
1	Dave Clarke, Nikolay Diakov, Reiner Hähnle, Einar Broch Johnsen, Germán Puebla, Balthasar Weitzel, Peter Y. H. Wong	HATS - A Formal Software Product Line Engineering Methodology.	SPLC Workshops	2010	DBLP BibTeX RDF
1	Radu Muschevici, Dave Clarke, José Proença	Feature Petri Nets.	SPLC Workshops	2010	DBLP BibTeX RDF
1	Dave Clarke, Gul A. Agha (eds.)	Coordination Models and Languages, 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings	COORDINATION	2010	DBLP DOI BibTeX RDF
1	Dave Clarke, Radu Muschevici, José Proença, Ina Schaefer, Rudolf Schlatte	Variability Modelling in the ABS Language.	FMCO	2010	DBLP DOI BibTeX RDF
1	Dave Clarke, Michiel Helvensteijn, Ina Schaefer	Abstract delta modeling.	GPCE	2010	DBLP DOI BibTeX RDF
1	Dave Clarke, Einar Broch Johnsen, Olaf Owe	Concurrent Objects à la Carte.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
1	Dave Clarke, José Proença, Alexander Lazovik, Farhad Arbab	Deconstructing Reo.	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Dave Clarke, José Proença	Coordination via Interaction Constraints I: Local Logic	ICE	2009	DBLP DOI BibTeX RDF
1	Marcello M. Bonsangue, Dave Clarke, Alexandra Silva	Automata for Context-Dependent Connectors.	COORDINATION	2009	DBLP DOI BibTeX RDF
1	Christian Koehler, Dave Clarke	Decomposing port automata.	SAC	2009	DBLP DOI BibTeX RDF
1	José Proença, Dave Clarke	Coordination Models Orc and Reo Compared.	Electr. Notes Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Dave Clarke	A Basic Logic for Reasoning about Connector Reconfiguration.	Fundam. Inform.	2008	DBLP BibTeX RDF
1	Mohammad Izadi, Marcello M. Bonsangue, Dave Clarke	Modeling Component Connectors: Synchronisation and Context-Dependency.	SEFM	2008	DBLP DOI BibTeX RDF
1	Dave Clarke, Sophia Drossopoulou, Peter Müller, James Noble, Tobias Wrigstad	Aliasing, Confinement, and Ownership in Object-Oriented Programming.	ECOOP Workshops	2008	DBLP DOI BibTeX RDF
1	Johan Östlund, Tobias Wrigstad, Dave Clarke, Beatrice Åkerblom	Ownership, Uniqueness, and Immutability.	TOOLS	2008	DBLP DOI BibTeX RDF
1	Farhad Arbab, Roberto Bruni, Dave Clarke, Ivan Lanese, Ugo Montanari	Tiles for Reo.	WADT	2008	DBLP DOI BibTeX RDF
1	Dave Clarke, Tobias Wrigstad, Johan Östlund, Einar Broch Johnsen	Minimal Ownership for Active Objects.	APLAS	2008	DBLP DOI BibTeX RDF
1	Dave Clarke, David Costa, Farhad Arbab	Connector colouring I: Synchronisation and context dependency.	Sci. Comput. Program.	2007	DBLP DOI BibTeX RDF
1	Tobias Wrigstad, Dave Clarke	Existential Owners for Ownership Types.	Journal of Object Technology	2007	DBLP DOI BibTeX RDF
1	Dave Clarke, Sophia Drossopoulou, James Noble, Tobias Wrigstad	Aliasing, Confinement, and Ownership in Object-Oriented Programming.	ECOOP Workshops	2007	DBLP DOI BibTeX RDF
1	John Boyland, Dave Clarke, Gary T. Leavens, Francesco Logozzo, Arnd Poetzsch-Heffter	Formal Techniques for Java-Like Programs.	ECOOP Workshops	2007	DBLP DOI BibTeX RDF
1	Dave Clarke, Sophia Drossopoulou, James Noble, Tobias Wrigstad	Tribe: a simple virtual class calculus.	AOSD	2007	DBLP DOI BibTeX RDF	subtyping, virtual classes
1	Dave Clarke	Coordination: Reo, Nets, and Logic.	FMCO	2007	DBLP DOI BibTeX RDF
1	Frank S. de Boer, Dave Clarke, Einar Broch Johnsen	A Complete Guide to the Future.	ESOP	2007	DBLP DOI BibTeX RDF
1	Dave Clarke	Reasoning About Connector Reconfiguration II: Basic Reconfiguration Logic.	Electr. Notes Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	Dave Clarke, David Costa, Farhad Arbab	Connector Colouring I: Synchronisation and Context Dependency.	Electr. Notes Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	Alex Potanin, James Noble, Dave Clarke, Robert Biddle	Featherweight generic confinement.	J. Funct. Program.	2006	DBLP DOI BibTeX RDF
1	Alex Potanin, James Noble, Dave Clarke, Robert Biddle	Generic ownership for generic Java.	OOPSLA	2006	DBLP DOI BibTeX RDF	Java, generics, type systems, ownership
1	Sophia Drossopoulou, David G. Clarke, James Noble	Types for Hierarchic Shapes.	ESOP	2006	DBLP DOI BibTeX RDF
1	Cees Pierik, Dave Clarke, Frank S. de Boer	Controlling Object Allocation Using Creation Guards.	FM	2005	DBLP DOI BibTeX RDF	verification, object-oriented programming, specification, invariants, object allocation
1	Frank Atanassow, Dave Clarke, Johan Jeuring	UUXML: A Type-Preserving XML Schema-Haskell Data Binding.	PADL	2004	DBLP DOI BibTeX RDF
1	Dave Clarke, David Costa, Farhad Arbab	Modelling Coordination in Biological Systems.	ISoLA (Preliminary proceedings)	2004	DBLP BibTeX RDF
1	Dave Clarke, David Costa, Farhad Arbab	Modelling Coordination in Biological Systems.	ISoLA	2004	DBLP DOI BibTeX RDF
1	Andres Löh, Dave Clarke, Johan Jeuring	Dependency-style generic haskell.	SIGPLAN Notices	2003	DBLP DOI BibTeX RDF
1	Andres Löh, Dave Clarke, Johan Jeuring	Dependency-style generic Haskell.	ICFP	2003	DBLP DOI BibTeX RDF	generic haskell, functional programming, type systems, generic programming
1	Dave Clarke, Tobias Wrigstad	External Uniqueness Is Unique Enough.	ECOOP	2003	DBLP DOI BibTeX RDF
1	David G. Clarke, Sophia Drossopoulou, James Noble	Aliasing, Confinement, and Ownership in Object-Oriented Programming.	ECOOP Workshops	2003	DBLP DOI BibTeX RDF
1	David G. Clarke, Michael Richmond, James Noble	Saving the world from bad beans: deployment-time confinement checking.	OOPSLA	2003	DBLP DOI BibTeX RDF	deployment tools, enterprise JavaBeans, confinement
1	Dave Clarke, Andres Löh	Generic Haskell, Specifically.	Generic Programming	2002	DBLP BibTeX RDF
1	David G. Clarke, Sophia Drossopoulou	Ownership, encapsulation and the disjointness of type and effect.	OOPSLA	2002	DBLP DOI BibTeX RDF	aliasing, encapsulation, ownership types, type-and-effects systems
1	David G. Clarke, James Noble, John Potter	Simple Ownership Types for Object Containment.	ECOOP	2001	DBLP DOI BibTeX RDF	OO type systems, object containment, flexible alias protection, ownership types
1	David G. Clarke, James Noble, John Potter	Overcoming Representation Exposure.	ECOOP Workshops	1999	DBLP BibTeX RDF
1	James Noble, David G. Clarke, John Potter	Object Ownership for Dynamic Alias Protection.	TOOLS	1999	DBLP DOI BibTeX RDF	object-orientation, aliasing, encapsulation, ownership
1	John Potter, James Noble, David G. Clarke	The Ins and Outs of Objects. (PDF / PS)	Australian Software Engineering Conference	1998	DBLP DOI BibTeX RDF
1	David G. Clarke, John Potter, James Noble	Ownership Types for Flexible Alias Protection.	OOPSLA	1998	DBLP DOI BibTeX RDF	alias protection, representation exposure, sharing, containment, ownership, programming language design

Publications of Dave Clarke David G. Clarke ( http://dblp.L3S.de/Authors/Dave_Clarke )