
ஒப்பந்தக் கருவிகள்
POD2
ZK சுற்றுகள் மற்றும் தனியுரிமை
தனியுரிமை சார்ந்த · SDK · அடையாளம்
குறியாக்கவியல் சார்ந்த நிரூபிக்கக்கூடிய பொருள் தரவுவகைகளின் (Provable Object Datatypes - PODs) இரண்டாம் தலைமுறை. தனிப்பயன் பிரடிகேட்டுகள் மற்றும் சுழல்நிலை செயல்பாடுகள் மூலம் தரவுகள் முழுவதும் நெகிழ்வான கணக்கீட்டை இது சாத்தியமாக்குகிறது. PSE உடன் இணைந்து 0xPARC ஆல் உருவாக்கப்பட்டது.