لغة الجهاز الحالي هي Abstract State Machine Language (AsmL)، وهي لغة برمجة مبنية على أساس أساليب الحوسبة المنطقية الجدرانية (Abstract State Machines) والتي تم تطويرها بواسطة شركة Microsoft. تم إطلاق AsmL لأول مرة في عام 2001، وتتميز بأنها لغة برمجة وظيفية، وهي نوع شائع من اللغات المستخدمة في الأبحاث الأكاديمية.
تم تصميم لغة AsmL لتكون قادرة على وصف وتحليل النظم البرمجية بشكل دقيق وموثوق به، وتوفير وسيلة لغير المبرمجين لفهم وتحليل البرامج المعقدة بشكل أفضل. بفضل أساليب الحوسبة المنطقية الجدرانية التي تقوم عليها، تسمح AsmL بتوصيف الحالات المختلفة التي يمكن أن تتخذها البرامج والتفاعلات بينها.
يعتبر XASM تنفيذًا مفتوح المصدر للغة AsmL، وهو يوفر للمطورين مجموعة من الأدوات لتطوير واختبار تطبيقاتهم باستخدام هذه اللغة. يمكن للمستخدمين الحصول على معلومات إضافية حول AsmL من صفحتها على ويكيبيديا.
من المهم أيضًا أن نلاحظ أن لغة AsmL لا تبدو متاحة في مستودع الحزم المركزي، ويبدو أنها ليست مفتوحة المصدر، مما يعني أنه قد يكون لديها قيود على استخدامها أو توافرها للجمهور العام.