Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:  define an extension of CASL, the standard language for algebraic specification, with a late binding mechanism. More precisely,  introduce a special kind of functions called methods, for which, differently to what happens for usual functions, overloading resolution is delayed at evaluation time and not required to be conservative. The extension consists, at the semantic level, in the definition of an institution Lβ supporting late binding which is defined on top of the standard subsorted institution of CASL and, at the linguistic level, in the enrichment of the CASL language with appropriate constructs for dealing with methods. In addition to this,  propose a further enrichment of the CASL language which is made possible by introduction of late binding, that is a mechanism for inheriting axioms from a supersort with the possibility of overriding them. The aim is to obtain advantages in terms of reuse of specifications similar to those obtained by inheritance in object-oriented programming languages.
['Davide Ancona', 'Maura Cerioli', 'E. Zucca']
I am writing a research paper on a idea Extending casl by late binding
[{"from": "human", "value": "I am writing a research paper on a idea Extending casl by late binding"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:  define an extension of CASL, the standard language for algebraic specification, with a late binding mechanism. More precisely,  introduce a special kind of functions called methods, for which, differently to what happens for usual functions, overloading resolution is delayed at evaluation time and not required to be conservative. The extension consists, at the semantic level, in the definition of an institution L\u03b2 supporting late binding which is defined on top of the standard subsorted institution of CASL and, at the linguistic level, in the enrichment of the CASL language with appropriate constructs for dealing with methods. In addition to this,  propose a further enrichment of the CASL language which is made possible by introduction of late binding, that is a mechanism for inheriting axioms from a supersort with the possibility of overriding them. The aim is to obtain advantages in terms of reuse of specifications similar to those obtained by inheritance in object-oriented programming languages."}]