혜성(프로그래밍 언어)

Comet은 자원 할당 및 스케줄링과 같은 영역에서 복잡한 조합 최적화 문제를 해결하기 위해 사용되는 브라운 대학교 교수 Pascal Van Hentenryck에 의해 설계된 상용 프로그래밍 언어입니다.수학 프로그래밍에서 제약 프로그래밍, 로컬 검색 알고리즘 및 "동적 확률적 조합 최적화"^[1]까지 다양한 최적화 알고리즘을 제공합니다.

Comet 프로그램은 로컬 검색 알고리즘을 두 가지 구성 요소로 지정합니다.

• 제약조건, 제약조건 조합자 및 객관적 함수의 관점에서 애플리케이션을 설명하는 개괄적 모델
• 높은 추상화 수준에서 모델의 관점에서 표현되는 검색 절차.

이 접근방식은 애플리케이션 전체의 재사용성을 촉진합니다.

API를 통해 소프트웨어 라이브러리로 사용할 수 있습니다.Comet은 또한 루프 스케줄링, 중단 및 작업 도용을 기반으로 병렬 및 분산 컴퓨팅에 대한 고급 추상화 기능을 제공합니다.

레퍼런스

외부 링크

• 다이너데크 혜성 홈페이지(실종료)
• Pascal Van Hentenryck와 Laurent Michel의 제약 기반 로컬 검색.MIT 프레스, 2005.