Towards an Accurate Mathematical Model of Generic Nominally-Typed OOP.

Moez A. AbdelGawad

Published in: CoRR (2016)

Keyphrases

mathematical model
control strategy
ant colony algorithm
mathematical models
higher order
real time
high accuracy
object oriented programming
mathematical modeling
high quality
domain specific
input output
high precision
matlab simulink
lambda calculus