«pl.programming-languages» 태그된 질문

특히 의미에 중점을 둔 프로그래밍 언어.

10
프로그래밍 가능한 언어의 경우 컨텍스트 프리 문법을 기반으로해야합니다.
실제로, 시스템 레벨 명령어로 컴파일 / 변환 될 수있는 언어의 경우 문맥이없는 문법이어야합니까? 예 : 모든 프로그래밍 / 스크립팅 언어는 무료 문법입니까? Java는 CFG를 기반으로하지만 실제로 모든 프로그래밍 언어가 CFG를 기반으로하는 경우입니까? 필수 사항은 아니지만 이해에는 차이가 있습니다. 질문에 대한 문맥 : 문법 규칙을 제공하는 Java 언어 사양을보고있었습니다 . 이것은 …
2
선형 논리의 민속 모델은 무엇입니까?
아마도 PL에서 선형 유형의 가장 일반적인 적용은 그것들을 사용하여 앨리어싱을 제어하는 ​​언어를 제공하는 것입니다 (즉, 선형 값은 그에 대한 단일 포인터를 갖거나 적게). 그러나이 사용법과 일반적인 선형 논리 선형 모델 사이에는 약간의 불일치가 있습니다. 벤턴 IIRC에 따르면, 직교 폐쇄 범주에 강한 정류 모나드 가있는 경우, 대수 범주는 대칭 단일체 폐쇄 …
2
가비지 수집 프로그래밍 언어로 지정된 최악의 데이터 구조의 실행 시간을 분석 할 때 GC 비용을 무시할 수 있습니까?
방금 질문에 대한 대답이 "예"라고 가정했지만 그럴만한 이유가 없습니다. 아마 최악의 경우 속도 저하 를 유발하는 가비지 수집기가 있다고 생각합니다 . 내가 인용 할 수있는 결정적인 기준이 있습니까? 필자의 경우 순전히 기능적인 데이터 구조를 작업 중이며 세부 사항이 중요한 경우 표준 ML을 사용합니다.O ( 1 )영형(1)O(1) 그리고 아마도이 질문은 Java에 …
2
TeX (프로그래밍 언어)의 의미가 공식화 되었습니까?
T가 사용하는 매크로 언어 인 것 같습니다. 는 일종의 용어 재 작성 시스템 또는 이름 별 호출 범위를 가진 프로그래밍 언어의 일종으로 볼 수 있습니다.티이자형엑스티이자형엑스\TeX T의 현대적인 구현조차도 엔진 (예 : X e T티이자형엑스티이자형엑스\TeX )는 코드를 매우 직접적인 방식으로 해석하며 (최적의 최적화 통역사가 할 수있는 것처럼) 실행 최적화를 시도하지 않습니다. …
5
컴파일러 정확성 증명
초급 학생 수준에서 바람직하게 denotational 방법을 사용하여 컴파일러 정확성 증명을 다루는 자습서 자료를 찾고 있습니다. 또는 문제를 설명하는 데 사용할 수있는 간단한 컴파일러 예제를 알고 있습니까? (나에게 일어난 첫 번째 예는 접두사에서 접미사 표현식으로의 번역가였습니다. 그러나 구문에서 유도를 수행하는 방법 이외의 흥미로운 것은 표시하지 못했습니다.)
7
공식적인 방법이 작동한다는 것을 어떻게 알 수 있습니까?
공식적인 방법의 중요한 목표는 자동화 된 또는 사람이 지시하는 방법으로 시스템의 정확성을 입증하는 것입니다. 그러나 올바른 증거를 제공 할 수 있어도 시스템이 실패하지 않을 것이라고 보장하지 못할 수 있습니다. 예를 들면 다음과 같습니다. 사양이 시스템을 올바르게 모델링하지 않거나 생산 시스템이 모델링하기에 너무 복잡하거나 모순 된 요구 사항으로 인해 시스템에 결함이있을 …
1
스캇의 확률 론적 람다 미적분학
최근 Dana Scott은 확률 적 요소를 그래프 모델이라는 의미론을 기반으로 (유형화되지 않은) 람다 미적분학에 도입하려는 시도 인 확률 론적 람다 미적분학을 제안했습니다. 그의 슬라이드는 예를 들어 여기에 있으며, Journal of Applied Logic , vol. 12 (2014). 그러나 웹에서 빠른 검색을 통해 Hindley-Milner 유형 시스템 과 같은 이전의 유사한 연구를 발견했습니다 …
2
전체 기능 프로그래밍의 한계는 무엇입니까?
전체 기능 프로그래밍의 한계는 무엇입니까? Turing-complete는 아니지만 가능한 많은 프로그램을 지원합니다. 튜링 완성 언어로 작성할 수 있지만 전체 기능 언어로는 쓸 수없는 중요한 구성 요소가 있습니까? 그리고 전체 기능 언어로 작성된 프로그램은 완전히 정적으로 분석 될 수 있지만 튜링 완료 언어의 정적 분석은 정지 문제와 같은 것들에 의해 제한된다고 말하는 …
3
변경 프리 서버로서의 프레임 규칙?
프레임 규칙은 , 아래의 하나처럼, 프로그램 주어진한다는 생각 캡처 c전제 조건으로 p이 실행되기 전에 보유 및 사후 q이후 보유, 일부 분리 된 조건이 r전후를 보유해야 c실행됩니다. ( *연결은 인수가 분리되어야합니다.) 종종 사전 및 사후 조건은 힙의 상태이며 c힙을 어떤 방식 으로든 수정하는 효과적인 프로그램입니다. {p} c {q} ----------------- (where no …
6
문법을 통해 어떤 계산 모델을 표현할 수 있습니까?
이것은 문법 프로그램입니까? 의 재구성입니다 . Vag가 이전에 요청했으며 주석 작성자의 많은 제안이 있습니다. 문법은 어떤 방식으로 계산 모델을 지정하는 것으로 볼 수 있습니까? 예를 들어 다음과 같은 간단한 문맥없는 문법을 사용하는 경우 G ::= '1' -> '0' '+' '1' '1' -> '1' '+' '0' '2' -> '2' '+' '0' …
2
암시 적 vs 명시 적 서브 타이핑
이 페이지 는 많은 언어가 암시 적 서브 타이핑 (구조적 동등성)을 사용하지 않고 명시 적 / 선언 된 서브 타이핑 (선언 동등성)을 선호합니다. 나는 주로 명시 적 subtyping 을 사용하는 프로그래밍 언어를 사용했습니다 . 위의 참고에서 설명한대로 암시 적 하위 유형의 장점은 무엇입니까?
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.