A++ adalah ringkasan bagi abstraction plus reference plus synthesis yang digunakan sebagai nama bahasa pengaturcara meminima (minimalistic) yang dibina berasaskan ARS.ARS adalah ringkasan bagi Lambda Calculus, mengambil darinya tiga operasi asas, dan memberikannya lebih erti umum, dengan itu membina asas bagi tiga paradigm pengaturcaraan utama: pemprogram fungsi,object-oriented programming dan imperative programming.Pengaturcaraan berasaskan ARS ialah nama yang digunakan bagi program yang kebanyakannya terdiri daripada penggunaan pola yang dihasilkan dari ARS, untuk memprogram dalam sebarang bahasa.