이것은 최신 릴리스를 libmx-0.2.tar.gz로 다운로드할 수 있는 libmx라는 Linux 앱입니다. 워크스테이션용 무료 호스팅 제공업체인 OnWorks에서 온라인으로 실행할 수 있습니다.
OnWorks가 포함된 libmx라는 앱을 무료로 온라인으로 다운로드하여 실행하세요.
이 앱을 실행하려면 다음 지침을 따르세요.
- 1. 이 애플리케이션을 PC에 다운로드했습니다.
- 2. 파일 관리자 https://www.onworks.net/myfiles.php?username=XXXXX에 원하는 사용자 이름을 입력합니다.
- 3. 이러한 파일 관리자에서 이 응용 프로그램을 업로드합니다.
- 4. 이 웹사이트에서 OnWorks Linux 온라인 또는 Windows 온라인 에뮬레이터 또는 MACOS 온라인 에뮬레이터를 시작합니다.
- 5. 방금 시작한 OnWorks Linux OS에서 원하는 사용자 이름으로 파일 관리자 https://www.onworks.net/myfiles.php?username=XXXXX로 이동합니다.
- 6. 응용 프로그램을 다운로드하여 설치하고 실행합니다.
스크린 샷
Ad
libmx
기술
"mx"는 람다 미적분 표현식의 유형과 값을 모두 평가하는 "libmx"(아래 참조)용 명령줄 테스트 드라이버입니다(http://en.wikipedia.org/wiki/Lambda_calculus) 사용자가 제공합니다.
"libnpmx.so"(MS Windows의 경우 "npmx.dll")는 NPAPI 플러그인(http://en.wikipedia.org/wiki/NPAPI) "libmx" 기반의 Mozilla Firefox 웹 브라우저용.
"libmx"는 (확장 및 선택적 유형의) 람다 미적분 표현식을 처리하기 위한 프레임워크를 제공합니다. 그것이 제공하는 다른 기능들 중에서
람다 미적분 표현식의 값을 평가하기 위한 oa 템플릿 인스턴스화 기계,
Hindley-Milner 유형을 평가하기 위한 oa 템플릿 인스턴스화 시스템(http://en.wikipedia.org/wiki/Hindley-Milner) 람다 미적분 표현의
o 람다 계산식 및 유형에 대한 참조 카운터 기반 메모리 관리.
"libmx"는 C(C99)로 작성되었습니다.
사용자 인터페이스
명령줄, 플러그인
프로그래밍 언어
C
카테고리
이는 https://sourceforge.net/projects/libmx/에서도 가져올 수 있는 애플리케이션입니다. 무료 운영 시스템 중 하나에서 가장 쉬운 방법으로 온라인으로 실행하기 위해 OnWorks에서 호스팅되었습니다.
