Filters








8,174 Hits in 4.0 sec

Modular reasoning in the presence of subclassing

Raymie Stata, John V. Guttag
1995 Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications - OOPSLA '95  
However, using subclassing in a way that facilitates modular reasoning is not well understood.  ...  Considerable progress has been made in understanding how to use subtyping in a way that facilitates modular reasoning.  ...  Acknowledgements This work arose from combining the ideas in  ... 
doi:10.1145/217838.217861 dblp:conf/oopsla/StataG95 fatcat:3wc56ez2u5bchcbcd3q3xfj74y

Modular reasoning in the presence of subclassing

Raymie Stata, John V. Guttag
1995 SIGPLAN notices  
However, using subclassing in a way that facilitates modular reasoning is not well understood.  ...  Considerable progress has been made in understanding how to use subtyping in a way that facilitates modular reasoning.  ...  Acknowledgements This work arose from combining the ideas in  ... 
doi:10.1145/217839.217861 fatcat:5wf446gyonhpxh3ttdobb6eiom

Object-Oriented Programs [chapter]

2010 Texts in Computer Science  
Our approach allows one to formally specify and verify the behavior of an object-oriented program in a way that is natural and closer to the way one reasons about it informally.  ...  One weakness of Hoare-style verification techniques based on first-order predicate logic is that reasoning is backward from postconditions to preconditions.  ...  ACKNOWLEDGMENT The work of the author was supported in part by NSF grants CNS-0707874 and DUE-0837567.  ... 
doi:10.1007/978-1-84882-745-5_6 fatcat:fqxxferenjd25i74xbfifdjke4

Modularization for the Cell Ontology

Christopher Mungall, Carlo Torniai, Alexander Diehl, Christopher Mungall, Melissa Haendel, Amelia Ireland, Shahid Manzoor, Terry Meehan, David Osumi-Sutherland
2011 Nature Precedings  
In addition, applications and resources that make use of the Cell Ontology have particular modularization requirements, such as the ability to extract custom subsets or unions of the Cell Ontology with  ...  For these reasons, the Cell Ontology (CL) is being re-engineered.  ...  For example, if the source ontology contains an axiom X subclass of regional part of some Y , and the regional part relation is a sub property of part of, then a reasoner can infer X subclass of part of  ... 
doi:10.1038/npre.2011.6685 fatcat:iq25zfrynre7zhqyrppk6l4h5a

Modularization for the Cell Ontology

Christopher Mungall, Carlo Torniai, Alexander Diehl, Christopher Mungall, Melissa Haendel, Amelia Ireland, Shahid Manzoor, Terry Meehan, David Osumi-Sutherland
2011 Nature Precedings  
In addition, applications and resources that make use of the Cell Ontology have particular modularization requirements, such as the ability to extract custom subsets or unions of the Cell Ontology with  ...  For these reasons, the Cell Ontology (CL) is being re-engineered.  ...  For example, if the source ontology contains an axiom X subclass of regional part of some Y , and the regional part relation is a sub property of part of, then a reasoner can infer X subclass of part of  ... 
doi:10.1038/npre.2011.6685.1 fatcat:wri3dosjzvfarcsn3ije2iic2q

A Framework for Modular Linking in OO Languages [chapter]

Sean McDirmid, Wilson C. Hsieh, Matthew Flatt
2006 Lecture Notes in Computer Science  
We show that most of Java's core language features, such as inheritance, permit a high degree of modular linking even in the presence of cyclic dependencies.  ...  The successful assembly of large programs out of software components depends on modular reasoning.  ...  Introduction Reasoning is modular if it can be divided into separate reasoning of a system's parts, all of which can be combined into a reasoning of the entire system.  ... 
doi:10.1007/11860990_9 fatcat:ihokqbny6bejvgdjc5gg7t4dri

CZ

Donna Malayeri, Jonathan Aldrich
2009 Proceeding of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications - OOPSLA 09  
Instead, we address the diamond problem directly, considering two difficulties it causes: ensuring a correct semantics for object initializers, and typechecking multiple dispatch in a modular fashion-the  ...  to that found in traits.  ...  Acknowledgements We would like to thank Neelakatan Krishnaswami, Gilad Bracha, Nels Beckman, Ciera Jaspan, Kevin Bierhoff, William Lovas, and the anonymous reviewers of FTfJP, FOOL, ECOOP, and OOPSLA for  ... 
doi:10.1145/1640089.1640092 dblp:conf/oopsla/MalayeriA09 fatcat:u5m6haqksfgq7npdai2tefpcym

Relaxed MultiJava

Todd Millstein, Mark Reay, Craig Chambers
2003 Proceedings of the 18th ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications - OOPSLA '03  
In contrast, RMJ supports the new language features in a virtually unrestricted form while still providing mostly-modular static typechecking and fully-modular compilation.  ...  In some cases, the RMJ compiler will warn that the potential for a type error exists, but it will still complete compilation.  ...  Unfortunately, modular reasoning is in conflict with flexible extensibility.  ... 
doi:10.1145/949305.949325 dblp:conf/oopsla/MillsteinRC03 fatcat:ccupekhvqfb73jsvdeqy3w2nca

Information Hiding and Visibility in Interface Specifications

Gary T. Leavens, Peter Muller
2007 Proceedings / International Conference of Software Engineering  
Information hiding controls which parts of a class are visible to non-privileged and privileged clients (e.g., subclasses). This affects detailed design specifications in two ways.  ...  Second, to enable sound modular reasoning, certain specifications must be visible to clients.  ...  Thanks to the formal methods club at ETH for discussions about the ideas contained in this paper, and to Patrice Chalin, David Cok, Faraz Hussain, Clyde Ruby, and Joseph N.  ... 
doi:10.1109/icse.2007.44 dblp:conf/icse/LeavensM07 fatcat:3t2ftuo5dbf2feoibwewenn73u

Exploring Reasoning with the DMOP Ontology

C. Maria Keet, Claudia d'Amato, Zubeida Casmod Khan, Agnieszka Lawrynowicz
2014 International Workshop on OWL Reasoner Evaluation  
The choices made led to v5.4 of the DMOP ontology. We report some evaluations on processing DMOP with a standard reasoner by considering different DMOP features.  ...  DMOP contains in-depth descriptions of DM tasks, data, algorithms, hypotheses, and workflows.  ...  We thank the contributors to DMOP: H. Do, S. Fischer, D. Gamberger, M. Hilario, L. Al-Jadir, S. Jupp, A. Kalousis, P. Kralj Novak, B. Mougouie, P. Nguyen, R. Palma, R. Stevens, A. Vavpetic, J.  ... 
dblp:conf/ore/KeetdKL14 fatcat:enjgk6vanrdhlp5ypafljolnui

Relaxed MultiJava

Todd Millstein, Mark Reay, Craig Chambers
2003 Proceedings of the 18th ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications - OOPSLA '03  
In contrast, RMJ supports the new language features in a virtually unrestricted form while still providing modular static typechecking and compilation.  ...  In some cases, the RMJ compiler will warn that the potential for a type error exists, but it will still complete compilation.  ...  We are grateful to Curtis Clifton, Gary Leavens, and the rest of the MultiJava team for their work on the MultiJava implementation, which formed the basis for the RMJ implementation.  ... 
doi:10.1145/949323.949325 fatcat:btnif6cjrnbm5m62s4pqn6y44m

Relaxed MultiJava

Todd Millstein, Mark Reay, Craig Chambers
2003 SIGPLAN notices  
In contrast, RMJ supports the new language features in a virtually unrestricted form while still providing modular static typechecking and compilation.  ...  In some cases, the RMJ compiler will warn that the potential for a type error exists, but it will still complete compilation.  ...  We are grateful to Curtis Clifton, Gary Leavens, and the rest of the MultiJava team for their work on the MultiJava implementation, which formed the basis for the RMJ implementation.  ... 
doi:10.1145/949343.949325 fatcat:wyffofgmsjfmxe44ugn3d7zjcm

Modular typechecking for hierarchically extensible datatypes and functions

Todd Millstein, Colin Bleckner, Craig Chambers
2002 Proceedings of the seventh ACM SIGPLAN international conference on Functional programming - ICFP '02  
We have formalized a core version of EML and proven the associated type system sound, and we have developed a prototype interpreter for the language.  ...  However, previous designs based on this approach have been forced to give up modular typechecking, requiring whole-program checks to ensure type safety.  ...  ACKNOWLEDGMENTS Thanks to Jonathan Aldrich, Sorin Lerner, and Vass Litvinov for helpful comments on the paper.  ... 
doi:10.1145/581478.581489 dblp:conf/icfp/MillsteinBC02 fatcat:ynqlx4lambeyjaecwj5g3aqzi4

Modular typechecking for hierarchically extensible datatypes and functions

Todd Millstein, Colin Bleckner, Craig Chambers
2004 ACM Transactions on Programming Languages and Systems  
We have formalized a core version of EML and proven the associated type system sound, and we have developed a prototype interpreter for the language.  ...  However, previous designs based on this approach have been forced to give up modular typechecking, requiring whole-program checks to ensure type safety.  ...  ACKNOWLEDGMENTS Thanks to Jonathan Aldrich, Sorin Lerner, and Vass Litvinov for helpful comments on the paper.  ... 
doi:10.1145/1018203.1018207 fatcat:nskj43r7lfdahnv6idg7u2phfq

Modular typechecking for hierarchically extensible datatypes and functions

Todd Millstein, Colin Bleckner, Craig Chambers
2002 SIGPLAN notices  
We have formalized a core version of EML and proven the associated type system sound, and we have developed a prototype interpreter for the language.  ...  However, previous designs based on this approach have been forced to give up modular typechecking, requiring whole-program checks to ensure type safety.  ...  ACKNOWLEDGMENTS Thanks to Jonathan Aldrich, Sorin Lerner, and Vass Litvinov for helpful comments on the paper.  ... 
doi:10.1145/583852.581489 fatcat:tx7pqh4mmvh63edpjp5r4lfuvu
« Previous Showing results 1 — 15 out of 8,174 results