추상 상태 컴퓨터 언어

Abstract State Machine Language
아스밀
패러다임기능적
설계자마이크로소프트 코퍼레이션
주요 구현
XASM

AsmL(Astract State Machine Language)은 추상 상태 기계(Astract State Machine[1]) 형식 방법에 기초하고 마이크로소프트가 개발한 프로그래밍 언어다.[2]AsmL은 기능 언어(학술 연구에 흔히 사용된다.[3]

XASM은 그 언어의 오픈 소스 구현이다.

참조

  1. ^ 오마르 바드레딘(2010년) "음플: 모델 지향 프로그래밍 언어"소프트웨어 엔지니어링, 2010 ACM/IEEE 32차 국제 컨퍼런스 온. 제2권. IEEE, 2010.
  2. ^ 첸, 카이, 야노스 스티파노비츠, 산디프 니마."도메인별 모델링 언어를 위한 의미 앵커링 인프라 구축"임베디드 소프트웨어에 관한 제5차 ACM 국제회의의 진행.ACM, 2005.
  3. ^ 그리스캄프, 볼프강 등"추상 상태 기계 언어로 테스트 가능한 사용 사례"Quality Software, 2001.절차제2차 아시아 태평양 회의.IEEE, 2001.

외부 링크


Stub icon

이 프로그래밍 언어 관련 기사는 단조롭다.위키피디아를 확장하여 도울 수 있다.