Search

Your search keyword '"Jackson, Ethan K."' showing total 38 results
Start Over Author "Jackson, Ethan K."
38 results on '"Jackson, Ethan K."'

1. Metagenomic surveillance uncovers diverse and novel viral taxa in febrile patients from Nigeria

Author

Oguzie, Judith U., Petros, Brittany A., Oluniyi, Paul E., Mehta, Samar B., Eromon, Philomena E., Nair, Parvathy, Adewale-Fasoro, Opeoluwa, Ifoga, Peace Damilola, Odia, Ikponmwosa, Pastusiak, Andrzej, Gbemisola, Otitoola Shobi, Aiyepada, John Oke, Uyigue, Eghosasere Anthonia, Edamhande, Akhilomen Patience, Blessing, Osiemi, Airende, Michael, Tomkins-Tinch, Christopher, Qu, James, Stenson, Liam, Schaffner, Stephen F., Oyejide, Nicholas, Ajayi, Nnenna A., Ojide, Kingsley, Ogah, Onwe, Abejegah, Chukwuyem, Adedosu, Nelson, Ayodeji, Oluwafemi, Liasu, Ahmed A., Okogbenin, Sylvanus, Okokhere, Peter O., Park, Daniel J., Folarin, Onikepe A., Komolafe, Isaac, Ihekweazu, Chikwe, Frost, Simon D. W., Jackson, Ethan K., Siddle, Katherine J., Sabeti, Pardis C., and Happi, Christian T.

Published
2023
Full Text
View/download PDF

3. A Module System for Domain-Specific Languages

Author

Jackson, Ethan K.

Subjects
Computer Science - Programming Languages
Abstract

Domain-specific languages (DSLs) are routinely created to simplify difficult or specialized programming tasks. They expose useful abstractions and design patterns in the form of language constructs, provide static semantics to eagerly detect misuse of these constructs, and dynamic semantics to completely define how language constructs interact. However, implementing and composing DSLs is a non-trivial task, and there is a lack of tools and techniques. We address this problem by presenting a complete module system over LP for DSL construction, reuse, and composition. LP is already useful for DSL design, because it supports executable language specifications using notations familiar to language designers. We extend LP with a module system that is simple (with a few concepts), succinct (for key DSL specification scenarios), and composable (on the level of languages, compilers, and programs). These design choices reflect our use of LP for industrial DSL design. Our module system has been implemented in the FORMULA language, and was used to build key Windows 8 device drivers via DSLs. Though we present our module system as it actually appears in our FORMULA language, our emphasis is on concepts adaptable to other LP languages., Comment: Appearing in International Conference on Logic Programming (ICLP) 2014

Published
2014
Full Text
View/download PDF

4. FORMULA 2.0: A Language for Formal Specifications

Author

Jackson, Ethan K., Schulte, Wolfram, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Liu, Zhiming, editor, Woodcock, Jim, editor, and Zhu, Huibiao, editor

Published
2013
Full Text
View/download PDF

5. Understanding Specification Languages through Their Model Theory

Author

Jackson, Ethan K., Schulte, Wolfram, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Calinescu, Radu, editor, and Garlan, David, editor

Published
2012
Full Text
View/download PDF

6. Detecting Specification Errors in Declarative Languages with Constraints

Author

Jackson, Ethan K., Schulte, Wolfram, Bjørner, Nikolaj, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, France, Robert B., editor, Kazmeier, Jürgen, editor, Breu, Ruth, editor, and Atkinson, Colin, editor

Published
2012
Full Text
View/download PDF

7. Reasoning about Metamodeling with Formal Specifications and Automatic Proofs

Author

Jackson, Ethan K., Levendovszky, Tihamér, Balasubramanian, Daniel, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Whittle, Jon, editor, Clark, Tony, editor, and Kühne, Thomas, editor

Published
2011
Full Text
View/download PDF

8. Reusing Model Transformations While Preserving Properties

Author

Jackson, Ethan K., Schulte, Wolfram, Balasubramanian, Daniel, Karsai, Gabor, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Rosenblum, David S., editor, and Taentzer, Gabriele, editor

Published
2010
Full Text
View/download PDF

9. Specifying and Composing Non-functional Requirements in Model-Based Development

Author

Jackson, Ethan K., Seifert, Dirk, Dahlweid, Markus, Santen, Thomas, Bjørner, Nikolaj, Schulte, Wolfram, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Bergel, Alexandre, editor, and Fabry, Johan, editor

Published
2009
Full Text
View/download PDF

10. Model Generation for Horn Logic with Stratified Negation

Author

Jackson, Ethan K., Schulte, Wolfram, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Suzuki, Kenji, editor, Higashino, Teruo, editor, Yasumoto, Keiichi, editor, and El-Fakih, Khaled, editor

Published
2008
Full Text
View/download PDF

11. Compositional Modeling for Data-Centric Business Applications

Author

Jackson, Ethan K., Schulte, Wolfram, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Pautasso, Cesare, editor, and Tanter, Éric, editor

Published
2008
Full Text
View/download PDF

12. Constructive Techniques for Meta- and Model-Level Reasoning

Author

Jackson, Ethan K., Sztipanovits, Janos, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Engels, Gregor, editor, Opdyke, Bill, editor, Schmidt, Douglas C., editor, and Weil, Frank, editor

Published
2007
Full Text
View/download PDF

19. Finding Models in Model-Based Development : (Abstract)

Author

Schulte, Wolfram, Jackson, Ethan K., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Whittle, Jon, editor, Clark, Tony, editor, and Kühne, Thomas, editor

Published
2011
Full Text
View/download PDF

24. Canonical Regular Types

Author

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

Subjects
000 Computer science, knowledge, general works, Computer Science
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.

Published
2011
Full Text
View/download PDF

38. Constructive Techniques for Meta- and Model-Level Reasoning.

Author

Hutchison, David, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, Engels, Gregor, Opdyke, Bill, Schmidt, Douglas C., Weil, Frank, and Jackson, Ethan K.

Abstract

The structural semantics of UML-based metamodeling were recently explored[1], providing a characterization of the models adhering to a metamodel. In particular, metamodels can be converted to a set of constraints expressed in a decidable subset of first-order logic, an extended Horn logic. We augment the constructive techniques found in logic programming, which are also based on an extended Horn logic, to produce constructive techniques for reasoning about models and metamodels. These methods have a number of practical applications: At the meta-level, it can be decided if a (composite) metamodel characterizes a non-empty set of models, and a member can be automatically constructed. At the model-level, it can be decided if a submodel has an embedding in a well-formed model, and the larger model can be constructed. This amounts to automatic model construction from an incomplete model. We describe the concrete algorithms for constructively solving these problems, and provide concrete examples. [ABSTRACT FROM AUTHOR]

Published
2007
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results