I would like to learn about the possible ways of formalizing Classes and Objects (in programing languages like java) using formal languages. Where should I start? This might be related to my previous question I asked here.

  • $\begingroup$ Why are you committing to using formal languages? There is an entire subfield of computer science called semantics devoted to studying the mathematics underlying programming language concepts. $\endgroup$ – Vijay D Apr 22 '15 at 4:59
  • 1
    $\begingroup$ This question might be more appropriate to cs.stackexchange.com. Anyway, there are various calculi, of which Abadi and Cardelli's object calculus, a variant of the $\lambda$-calculus, might be the most well-known. It models classes as special kind of objects. Calculi such as Featherweight Java and Middleweight Java model classes directly. $\endgroup$ – Martin Berger Apr 22 '15 at 14:18
  • $\begingroup$ @MartinBerger, Is there anyway that I can move this seamlessly to cs.stackexchange.com, or I need to re-post the questions there and provide a link to this one!? $\endgroup$ – qartal Apr 24 '15 at 6:59
  • $\begingroup$ @qartal Yes, see e.g. here. $\endgroup$ – Martin Berger Apr 24 '15 at 7:03

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.