2 Search Results for "Jackson, Ethan"

Document
DOI: 10.4230/DagRep.4.4.20
Unifying Product and Software Configuration (Dagstuhl Seminar 14172)

Authors: Krzysztof Czarnecki, Arnaud Hubaux, Ethan Jackson, Dietmar Jannach, and Tomi Männistö

Published in: Dagstuhl Reports, Volume 4, Issue 4 (2014)

Abstract
Research on computer-supported configuration of customizable products and services is currently carried out in two main communities: one community is mainly focused on the configuration of hardware artifacts, the other one is interested in configurable software systems and software product lines. Despite the significant overlap in research interests, the fields have mainly evolved in isolation in different fields such as Artificial Intelligence, Constraint Programming and Software Engineering. Yet, the communities have produced results that are applicable across the communities. The trend of products becoming increasingly heterogeneous, i.e., consisting of hardware, software and services, is furthermore increasingly blurring the line between the configuration domains in practice. This report documents the program and the outcomes of Dagstuhl Seminar 14172 "Unifying Product and Software Configuration". The seminar gathered researchers and practitioners working on configuration problems. The seminar consisted of invited presentations and working group sessions covering various topics of software and product configuration including knowledge representation issues, automated reasoning and configuration management and had a particular focus on the industry perspective.
Cite as

Krzysztof Czarnecki, Arnaud Hubaux, Ethan Jackson, Dietmar Jannach, and Tomi Männistö. Unifying Product and Software Configuration (Dagstuhl Seminar 14172). In Dagstuhl Reports, Volume 4, Issue 4, pp. 20-35, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)

Copy BibTex To Clipboard

@Article{czarnecki_et_al:DagRep.4.4.20,
  author =	{Czarnecki, Krzysztof and Hubaux, Arnaud and Jackson, Ethan and Jannach, Dietmar and M\"{a}nnist\"{o}, Tomi},
  title =	{{Unifying Product and Software Configuration (Dagstuhl Seminar 14172)}},
  pages =	{20--35},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{4},
  number =	{4},
  editor =	{Czarnecki, Krzysztof and Hubaux, Arnaud and Jackson, Ethan and Jannach, Dietmar and M\"{a}nnist\"{o}, Tomi},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.4.4.20},
  URN =		{urn:nbn:de:0030-drops-46162},
  doi =		{10.4230/DagRep.4.4.20},
  annote =	{Keywords: Product Configuration, Software Product Lines, Configuration Management}
}
Document
DOI: 10.4230/LIPIcs.ICLP.2011.73
Canonical Regular Types

Authors: Ethan K. Jackson, Nikolaj Bjørner, and Wolfram Schulte

Published in: LIPIcs, Volume 11, Technical Communications of the 27th International Conference on Logic Programming (ICLP'11) (2011)

Abstract
Regular types represent sets of structured data, and have been used in logic programming (LP) for verification. However, first-class regular type systems are uncommon in LP languages. In this paper we present a new approach to regular types, based on type canonization, aimed at providing a practical first-class regular type system.
Cite as

Ethan K. Jackson, Nikolaj Bjørner, and Wolfram Schulte. Canonical Regular Types. In Technical Communications of the 27th International Conference on Logic Programming (ICLP'11). Leibniz International Proceedings in Informatics (LIPIcs), Volume 11, pp. 73-83, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)

Copy BibTex To Clipboard

@InProceedings{jackson_et_al:LIPIcs.ICLP.2011.73,
  author =	{Jackson, Ethan K. and Bj{\o}rner, Nikolaj and Schulte, Wolfram},
  title =	{{Canonical Regular Types}},
  booktitle =	{Technical Communications of the 27th International Conference on Logic Programming (ICLP'11)},
  pages =	{73--83},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-31-6},
  ISSN =	{1868-8969},
  year =	{2011},
  volume =	{11},
  editor =	{Gallagher, John P. and Gelfond, Michael},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2011.73},
  URN =		{urn:nbn:de:0030-drops-31806},
  doi =		{10.4230/LIPIcs.ICLP.2011.73},
  annote =	{Keywords: Regular types, Canonical forms, Type canonizer}
}
  • Refine by Author
  • 1 Bjørner, Nikolaj
  • 1 Czarnecki, Krzysztof
  • 1 Hubaux, Arnaud
  • 1 Jackson, Ethan
  • 1 Jackson, Ethan K.
  • Show More...

  • Refine by Classification

  • Refine by Keyword
  • 1 Canonical forms
  • 1 Configuration Management
  • 1 Product Configuration
  • 1 Regular types
  • 1 Software Product Lines
  • Show More...

  • Refine by Type
  • 2 document

  • Refine by Publication Year
  • 1 2011
  • 1 2014

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact