The Frechet Contingency Array Problem is Max-Plus Linear

In this paper we show that the so-called array Frechet problem in Probability/Statistics is (max,+)-linear. The upper bound of Frechet is obtained using simple arguments from residuation theory and lattice distributivity. The lower bound is obtained as a loop invariant of a greedy algorithm. The algorithm is based on the max-plus linearity of the Frechet problem and the Monge property of bivariate distribution.

[1]  M. Fréchet Sur les tableaux de correlation dont les marges sont donnees , 1951 .

[2]  M. Fréchet,et al.  Sur les tableaux dont les marges et des bornes sont données , 1960 .

[3]  Robin Milner,et al.  Edinburgh lcf: a mechanized logic of computation , 1978 .

[4]  David W. Shipman The functional data model and the data language DAPLEX , 1979, SIGMOD '79.

[5]  John Mylopoulos,et al.  A language facility for designing database-intensive applications , 1980, TODS.

[6]  Ronald Morrison,et al.  An Approach to Persistent Programming , 1989, Comput. J..

[7]  David Robson,et al.  Smalltalk-80: The Language and Its Implementation , 1983 .

[8]  Adele Goldberg,et al.  Smalltalk-80 - the interactive programming environment , 1984 .

[9]  Stanley B. Zdonik,et al.  Language and Methodology for Object-Oriented Database Environments , 1985, Data Types and Persistence.

[10]  Renzo Orsini,et al.  GALILEO: a strongly-typed, interactive conceptual language , 1985, TODS.

[11]  Pierre Cointe,et al.  The OBJVLISP Model: Definition of a Uniform, Reflexive and Extensible Object Oriented Language , 1986, ECAI.

[12]  Craig Schaffert,et al.  Persistent and Shared Objects in Trellis/Owl , 1986, OODBS.

[13]  Stanley B. Zdonik Maintaining consistency in a database with changing types , 1986, OOPWORK '86.

[14]  Bjarne Stroustrup,et al.  C++ Programming Language , 1986, IEEE Softw..

[15]  Daniel C. Halbert,et al.  Using Types and Inheritance in Object-Oriented Languages , 1987, ECOOP.

[16]  Michael J. Carey,et al.  Programming constructs for database system implementation in EXODUS , 1987, SIGMOD '87.

[17]  Peter Buneman,et al.  Types and persistence in database programming languages , 1987, CSUR.

[18]  Stanley B. Zdonik,et al.  Type Evolution in an Object-Oriented Database , 1987, Research Foundations in Object-Oriented and Semantic Database Systems.

[19]  Manfred Nagl,et al.  OOPS-an object oriented programming system with integrated data management facility , 1988, Proceedings. Fourth International Conference on Data Engineering.

[20]  Won Kim,et al.  Versions and change notification in an object-oriented database system , 1988, 25th ACM/IEEE, Design Automation Conference.Proceedings 1988..

[21]  Won Kim,et al.  Versions of Schema for Object-Oriented Databases , 1988, VLDB.

[22]  Jay Banerjee,et al.  Queries in object-oriented databases , 1988, Proceedings. Fourth International Conference on Data Engineering.

[23]  Jack C. Wileden,et al.  Pgraphite: an experiment in persistent typed object management , 1988, SDE 3.

[24]  Adele Goldberg,et al.  SmallTalk 80: The Language , 1989 .

[25]  Michael J. Carey,et al.  Persistence in the E Language: Issues and Implementation , 1989, Softw. Pract. Exp..

[26]  簡聰富,et al.  物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .

[27]  Michael J. Carey,et al.  Implementing Persistence in E , 1989, POS.

[28]  Sonya E. Keene,et al.  Object-oriented programming in COMMON LISP - a programmer's guide to CLOS , 1989 .

[29]  David Maier,et al.  Readings in Object-Oriented Database Systems , 1989 .

[30]  Christophe Lécluse,et al.  Modeling complex structures in object-oriented logic programming , 1989, PODS '89.

[31]  Narain H. Gehani,et al.  ODE (Object Database and Environment): the language and the data model , 1989, SIGMOD '89.

[32]  Won Kim,et al.  Architecture of the ORION Next-Generation Database System , 1990, IEEE Trans. Knowl. Data Eng..

[33]  Won Kim,et al.  Introduction to Object-Oriented Databases , 1991, Computer systems.

[34]  William R. Cook,et al.  Mixin-based inheritance , 1990, OOPSLA/ECOOP '90.

[35]  Kent L. Beck,et al.  Extreme programming explained - embrace change , 1990 .

[36]  O. Deux,et al.  The Story of O2 , 1990, IEEE Trans. Knowl. Data Eng..

[37]  Michael Stonebraker,et al.  Database systems: achievements and opportunities , 1990, SGMD.

[38]  Ellis Horowitz,et al.  Object-oriented databases with applications to CASE, networks, and VLSI CAD , 1991 .

[39]  Xavier Girod Conception par objets : MECANO, une Méthode et un Environnement de Construction d'ApplicatioNs par Objets , 1991 .

[40]  O. Deux,et al.  The O2 system , 1991 .

[41]  Bertrand Meyer,et al.  Eiffel: The Language , 1991 .

[42]  Lodewijk Bergmans,et al.  An Object-Oriented Language-Database Integration Model: The Composition-Filters Approach , 1992, ECOOP.

[43]  William F. Opdyke,et al.  Refactoring object-oriented frameworks , 1992 .

[44]  Lennart Ohlsson,et al.  Software factory principles, architecture, and experiments , 1992, IEEE Software.

[45]  Samuel P. Harbison,et al.  Modula-3 , 1992 .

[46]  Eduardo Casais,et al.  An Incremental Class Reorganization Approach , 1992, ECOOP.

[47]  William G. Griswold Program restructuring as an aid to software maintenance , 1992 .

[48]  Alberto O. Mendelzon,et al.  Visualizing queries and querying visualizations , 1992, SGMD.

[49]  Harold Ossher,et al.  Combination of Inheritance Hierarchies , 1992, OOPSLA.

[50]  Daniel G. Bobrow,et al.  Book review: The Art of the MetaObject Protocol By Gregor Kiczales, Jim des Rivieres, Daniel G. and Bobrow(MIT Press, 1991) , 1991, SGAR.

[51]  Bertrand Meyer,et al.  Systematic concurrent object-oriented programming , 1993, CACM.

[52]  Harold Ossher,et al.  Subject-oriented programming: a critique of pure objects , 1993, OOPSLA '93.

[53]  Urs Hölzle,et al.  Integrating Independently-Developed Components in Object-Oriented Languages , 1993, ECOOP.

[54]  Geert Jan Olsder,et al.  Synchronization and Linearity: An Algebra for Discrete Event Systems , 1994 .

[55]  Atul Prakash,et al.  Supporting Queries on Source Code: a Formal Framework , 1994, Int. J. Softw. Eng. Knowl. Eng..

[56]  Bjarne Stroustrup,et al.  The Design and Evolution of C , 1994 .

[57]  Aniello Cimitile,et al.  A precise method for identifying reusable abstract data types in code , 1994, Proceedings 1994 International Conference on Software Maintenance.

[58]  Ted Lawson,et al.  The Potential For Reverse Type Inheritance in Eiffel , 1994, TOOLS.

[59]  Philippe Desfray,et al.  Object engineering - the fourth dimension , 1994 .

[60]  Jens Palsberg,et al.  Type inference of SELF: Analysis of objects with dynamic and multiple inheritance , 1995, Softw. Pract. Exp..

[61]  Brenda S. Baker,et al.  On finding duplication and near-duplication in large software systems , 1995, Proceedings of 2nd Working Conference on Reverse Engineering.

[62]  Philippe Lahire,et al.  Lessons learned with Eiffel 3: The K2 project , 1995 .

[63]  Richard Jüllig,et al.  Specware: Formal Support for Composing Software , 1995, MPC.

[64]  Ivan Moore Guru - A Tool for Automatic Restructuring of Self Inheritance Hierarchies , 1995 .

[65]  M. h. j. Glandrup Extending C++ using the concepts of composition filters , 1995 .

[66]  Karl Lieberherr,et al.  Adaptive Object-Oriented Software: The Demeter Method with Propagation Patterns , 1995 .

[67]  Stéphane Ducasse Integration reflexive de dependances dans un modele a classes , 1996 .

[68]  M. Golm,et al.  MetaJava : An Efficient Run-Time Meta Architecture for Java TM , 1996 .

[69]  Karl J. Lieberherr,et al.  Object-oriented design , 1996, CSUR.

[70]  Rainer E. Burkard,et al.  Perspectives of Monge Properties in Optimization , 1996, Discret. Appl. Math..

[71]  Guy L. Steele,et al.  The Java Language Specification , 1996 .

[72]  Arthur J. Riel,et al.  Object-Oriented Design Heuristics , 1996 .

[73]  Pierre Cointe Reflective languages and metalevel architectures , 1996, CSUR.

[74]  Ken Arnold,et al.  The Java Programming Language , 1996 .

[75]  Boaz Patt-Shamir,et al.  A New Approach to Compiling Adaptive Programs , 1996, ESOP.

[76]  Antero Taivalsaari,et al.  On the notion of inheritance , 1996, CSUR.

[77]  Ettore Merlo,et al.  Experiment on the automatic detection of function clones in a software system using metrics , 1996, 1996 Proceedings of International Conference on Software Maintenance.

[78]  Vinny Cahill,et al.  Meta-Object Protocols for C++: The Iguana Approach. , 1996 .

[79]  Martin Odersky,et al.  Pizza into Java: translating theory into practice , 1997, POPL '97.

[80]  Fred Rivard Evolution du comportement des objets dans les langages a classes reflexifs , 1997 .

[81]  Yannis Smaragdakis,et al.  DiSTiL: A Transformation Library for Data Structures , 1997, DSL.

[82]  David Jordan,et al.  The Object Database Standard: ODMG 2.0 , 1997 .

[83]  Mark Evered Unconstraining genericity , 1997, Proceedings. Technology of Object-Oriented Languages. TOOLS 24 (Cat. No.97TB100240).

[84]  Ralph E. Johnson,et al.  A Refactoring Tool for Smalltalk , 1997, Theory Pract. Object Syst..

[85]  Karl J. Lieberherr,et al.  Preventive Program Maintenance in Demeter/Java , 1997, Proceedings of the (19th) International Conference on Software Engineering.

[86]  Michael R. Leach,et al.  Java in a nutshell: A desktop quick reference , 1998 .

[87]  Lodewijk Bergmans,et al.  The Composition-Filters Object Model* , 1998 .

[88]  Denis Caromel,et al.  Towards Seamless Computing and Metacomputing in Java , 1998, Concurr. Pract. Exp..

[89]  Shigeru Chiba Javassist - A Reflection-based Programming Wizard for Java , 1998 .

[90]  Michael Stonebraker,et al.  Object-Relational DBMSs: Tracking the Next Great Wave , 1998 .

[91]  Yannis Smaragdakis,et al.  Implementing Layered Designs with Mixin Layers , 1998, ECOOP.

[92]  Yannis Smaragdakis,et al.  JTS: tools for implementing domain-specific languages , 1998, Proceedings. Fifth International Conference on Software Reuse (Cat. No.98TB100203).

[93]  Václav Rajlich,et al.  Reengineering object-oriented code , 1998, Proceedings. International Conference on Software Maintenance (Cat. No. 98CB36272).

[94]  Clemens A. Szyperski,et al.  Component software - beyond object-oriented programming , 2002 .

[95]  Roel Wuyts,et al.  Declarative reasoning about the structure of object-oriented systems , 1998, Proceedings. Technology of Object-Oriented Languages. TOOLS 26 (Cat. No.98EX176).

[96]  Jens Palsberg,et al.  The essence of the Visitor pattern , 1998, Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241).

[97]  Mikael Lindvall,et al.  How well do experienced software developers predict software change? , 1998, J. Syst. Softw..

[98]  Scott Thibault Langages dedies : conception, implementation et application , 1998 .

[99]  Michael Golm,et al.  metaXa and the Future of Reflection , 1998 .

[100]  Shigeru Chiba,et al.  Yet Another java.lang.Class , 1998, ECOOP Workshops.

[101]  Kris De Volder Aspect-Oriented Logic Meta Programming , 1998, ECOOP Workshops.

[102]  Ivar Jacobson,et al.  The unified modeling language reference manual , 2010 .

[103]  William G. Griswold,et al.  Dynamically discovering likely program invariants to support program evolution , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).

[104]  Elizabeth A. Kendall,et al.  Role model designs and implementations with aspect-oriented programming , 1999, OOPSLA '99.

[105]  Stéphane Ducasse,et al.  Tool Support for Refactoring Duplicated OO Code , 1999, ECOOP Workshops.

[106]  Robert J. Stroud,et al.  Dalang - A Reflective Extension for Java , 1999 .

[107]  Don Roberts,et al.  Practical analysis for refactoring , 1999 .

[108]  J. Golan Semirings and their applications , 1999 .

[109]  Ivar Jacobson,et al.  The Unified Modeling Language User Guide , 1998, J. Database Manag..

[110]  J. C. Wichman Composej: the development of a preprocessor to facilitate composition filters in the java language , 1999 .

[111]  Ivar Jacobson,et al.  The Unified Software Development Process , 1999 .

[112]  Jean-Marc Jézéquel,et al.  UMLAUT: an extendible UML transformation framework , 1999, 14th IEEE International Conference on Automated Software Engineering.

[113]  Elizabeth A Kendall Reengineering for Separation of Concerns , 2000 .

[114]  Patrick Nixon,et al.  Composite Refactorings for Java Programs , 2000 .

[115]  Erik Ernst gbeta - a Language with Virtual Attributes, Block Structure, and Propagating, Dynamic Inheritance , 2000 .

[116]  Colin Atkinson,et al.  Strict Profiles: Why and How , 2000, UML.

[117]  Klaus Ostermann,et al.  Independent Extensibility – an open challenge for AspectJ and Hyper/J , 2000 .

[118]  Arie van Deursen,et al.  Domain-specific languages: an annotated bibliography , 2000, SIGP.

[119]  Keith H. Bennett,et al.  A Staged Model for the Software Life Cycle , 2000, Computer.

[120]  Oscar Nierstrasz,et al.  A meta-model for language-independent refactoring , 2000, Proceedings International Symposium on Principles of Software Evolution.

[121]  Pierre Crescenzo,et al.  Gestion des objets persistants grâce aux liens entre classes , 2000 .

[122]  Paul Geoffrey Brown Object-Relational Database Development: A Plumber's Guide , 2000 .

[123]  R. Pawlak,et al.  Dynamic wrappers: handling the composition issue with JAC , 2001, Proceedings 39th International Conference and Exhibition on Technology of Object-Oriented Languages and Systems. TOOLS 39.

[124]  Armin Biere,et al.  Applying static analysis to large-scale, multi-threaded Java programs , 2001, Proceedings 2001 Australian Software Engineering Conference.

[125]  Jean-Marc Jézéquel,et al.  Refactoring UML Models , 2001, UML.

[126]  William G. Griswold,et al.  Getting started with ASPECTJ , 2001, CACM.

[127]  Thomas Ledoux,et al.  Le point sur la programmation par aspects , 2001 .

[128]  Claudio Sacerdoti Coen,et al.  SmartTools: A Development Environment Generator based on XML Technologies , 2001 .

[129]  Pierre Crescenzo,et al.  Hyper-généricité pour les langages à objets : le modèle OFL , 2001 .

[130]  William G. Griswold,et al.  Automated support for program refactoring using invariants , 2001, Proceedings IEEE International Conference on Software Maintenance. ICSM 2001.

[131]  Claus Lewerentz,et al.  Metrics Based Refactoring , 2001, CSMR.

[132]  Gregor Kiczales,et al.  Aspect-oriented programming , 2001, ESEC/FSE-9.

[133]  Jean Bézivin,et al.  From Object Composition to Model Transformation with the MDA , 2001, TOOLS.

[134]  Roel Wuyts,et al.  A Logic Meta-Programming Approach to Support the Co-Evolution of Object-Oriented Design and Implementation , 2001 .

[135]  Stefan Hanenberg,et al.  Using and Reusing Aspects in AspectJ , 2001 .

[136]  Ramakanth Subrahmanya Devarakonda Object-relational database systems — the road ahead , 2001, CROS.

[137]  Lodewijk Bergmans,et al.  Composing crosscutting concerns using composition filters , 2001, CACM.

[138]  Philippe Lahire,et al.  Separation of Concerns in OFL , 2001 .

[139]  P. S. Caro Adding systemic crosscutting and super-imposition to composition filters , 2001 .

[140]  Jean-Marc Jézéquel,et al.  Using UML Action Semantics for Executable Modeling and Beyond , 2001, CAiSE.

[141]  Arie van Deursen,et al.  Refactoring test code , 2001 .

[142]  Pierre Crescenzo OFL : un modèle pour paramétrer la sémantique opérationnelle des langages à objets - Application aux relations inter-classes. (OFL: a Model to Customise the Operational Semantics of Object-Oriented Languages - Application to Interclass Relationships) , 2001 .

[143]  Jan Wloka,et al.  Tool-Supported Discovery and Refactoring of Structural Weaknesses in Code , 2002 .

[144]  Roland Ducournau,et al.  "Real World" as an Argument for Covariant Specialization in Programming and Modeling , 2002, OOIS Workshops.

[145]  Kim Mens,et al.  Supporting software development through declaratively codified programming patterns , 2002, Expert Syst. Appl..

[146]  Stéphane Ducasse,et al.  Beyond Language Independent Object-Oriented Metrics: Model Independent Metrics , 2002 .

[147]  Kim Mens,et al.  Co-Evolution of Object-Oriented Software Design and Implementation , 2002 .

[148]  Adeline Capouillez,et al.  OFL: Hyper-Genericity for Meta-Programming - An application to Java , 2002 .

[149]  Philippe Lahire,et al.  Le modèle OFL au service du métaprogrammeurApplication à Java , 2002, Obj. Logiciel Base données Réseaux.

[150]  Klaus Ostermann,et al.  Dynamically Composable Collaborations with Delegation Layers , 2002, ECOOP.

[151]  Harold Ossher,et al.  Multi-Dimensional Separation of Concerns and the Hyperspace Approach , 2002 .

[152]  Gilles Ardourel Modélisation des mécanismes de protection dans les langages à objets , 2002 .

[153]  Leon Moonen,et al.  Java quality assurance by detecting code smells , 2002, Ninth Working Conference on Reverse Engineering, 2002. Proceedings..

[154]  Didier Parigot,et al.  Aspect and XML-oriented Semantic Framework Generator: SmartTools , 2002, LDTA@ETAPS.

[155]  Thorsten Sturm,et al.  Refactoring Browser for UML , 2002, NetObjectDays.

[156]  Harold Ossher,et al.  Subject-Oriented Programming: Supporting Decentralized Development of Objects , 2002 .

[157]  Mira Mezini,et al.  Integrating independent components with on-demand remodularization , 2002, OOPSLA '02.

[158]  W. Glas Xml and Databases , 2002 .

[159]  Kim Mens,et al.  Building Composable Aspect-Specific Languages with Logic Metaprogramming , 2002, GPCE.

[160]  Johan Fabry Supporting Development of Enterprise JavaBeans through Declarative Meta Programming , 2002, OOIS.

[161]  Philippe Lahire,et al.  Customisation of Inheritance , 2002 .

[162]  Takeo Imai,et al.  A quantitative evaluation of maintainability enhancement by refactoring , 2002, International Conference on Software Maintenance, 2002. Proceedings..

[163]  Wim Vanderperren,et al.  Separating concerns in a high-level component-based context , 2002, SC@ETAPS.

[164]  Mira Mezini,et al.  Component Integration with Pluggable Composite Adapters , 2002 .

[165]  Krzysztof Czarnecki,et al.  Generative Programming: Methods, Techniques, and Applications , 2002, ICSR.

[166]  Philippe Lahire,et al.  MODIFIERS IN OFL - AN APPROACH FOR ACCESS CONTROL CUSTOMIZATION , 2003 .

[167]  William C. Wake,et al.  Refactoring Workbook , 2003 .

[168]  Didier Parigot,et al.  L'apport des technologies XML et objets pour un générateur d'environnements : SmartTools , 2003, Obj. Logiciel Base données Réseaux.

[169]  Philippe Lahire,et al.  TOWARDS REENGINEERING: AN APPROACH BASED ON REVERSE INHERITANCE - APPLICATION TO JAVA , 2003 .

[170]  B. Sturmfels,et al.  First steps in tropical geometry , 2003, math/0306366.

[171]  Jack Greenfield,et al.  Software factories: assembling applications with patterns, models, frameworks and tools , 2004, OOPSLA '03.

[172]  Tom Mens,et al.  Beyond the refactoring browser: advanced tool support for software refactoring , 2003, Sixth International Workshop on Principles of Software Evolution, 2003. Proceedings..

[173]  Oscar Nierstrasz,et al.  Traits: Composable Units of Behaviour , 2002, ECOOP.

[174]  Philippe Lahire,et al.  Automatic Prole Generation for OFL-Languages , 2003 .

[175]  Gabriele Taentzer,et al.  Coordinated Distributed Diagram Transformation for Software Evolution , 2003, Software Evolution Through Transformations @ ICGT.

[176]  Philippe Lahire,et al.  LAMP : vers un langage de définition de mécanismes de protection pour les langages de programmation à objets , 2003, Obj. Logiciel Base données Réseaux.

[177]  Norbert Schirmer Analysing the Java package/access concepts in Isabelle/HOL , 2004, Concurr. Pract. Exp..

[178]  Dan Pescaru,et al.  SMARTFACTORY - an Implementation of the Domain Driven Development Approach , 2004 .

[179]  Philippe Lahire,et al.  Toward a New Approach for the Development of Software: the Model-Oriented Programming , 2004 .

[180]  J. Quadrat,et al.  The Maslov Dequantization, Idempotent and Tropical Mathematics: a Very Brief Introduction , 2005 .

[181]  G. Litvinov Maslov dequantization, idempotent and tropical mathematics: A brief introduction , 2005, math/0507014.

[182]  Philippe Lahire,et al.  Reverse Inheritance : An Approach for Modeling Adaptation and Evolution of Applications , 2005 .

[183]  Philippe Lahire,et al.  New Perspective To Improve Reusability in Object-Oriented Languages , 2006, J. Object Technol..

[184]  B. Gilles Le langage C , 2009 .

[185]  Alfredo Goñi Sarriguren Thinking in java , 2009 .