이 질문에 대한 나의 열등한 표현에 사과드립니다. 나는 적절하게 질문 할 어휘가 있는지 확신하지 못합니다. 내가 ⟦let x = x in x⟧ = ⊥
에 (최근에) 가깝다 뭔가를 쓴 적이 있지만 정말 내가 여기에 까다로운 무엇인가를 이해하는 데 실패하고있다. 나는 이것이 비생산적인 무한 루프라는 것을 알고 있기 때문에 진실로 ⊥이라고 주장 할 수있다.
컨텍스트 프리 및 상황에 맞는 언어에서 컨텍스트라는 용어는 무엇을 의미합니까? 변수가 다중 컨텍스트를 가질 수 있습니까? 특정 메모리 주소에 특정 값을 저장해야하는 경우 메모리 주소의 컨텍스트에 어떤 영향을 미칩니 까? 변수를 업데이트하려면 변수의 컨텍스트가 어떻게 바뀌나요? #include <stdio.h>
unsigned int my_value =
나는 (이론적 인) 컴퓨터 과학 학생이며 프로그래밍 언어의 의미를 조사하는 것이 나의 연구 (wikipedia)의 주제 중 하나입니다. 나는 CSS로 많은 작업을 해왔고 상자 위치 지정 규칙에 대해 충분히 이해했습니다. (특정 레이아웃의 페이지를 만들라고 말하면 정확한 박스 접근법과 적용 가능한 CSS 규칙을 자주 생각할 수 있습니다.) CSS 상자 위치
많은 프로그래밍 언어가 일반적이고 심지어 보편적 인 기능을 공유합니다. 예를 들어 Java, VB6, .NET, PHP, Python을 비교하면 제어 구조, 숫자 및 문자열 조작 등과 같은 공통 기능을 찾을 수 있습니다. 메타에서 이러한 기능을 정의하기 위해 수행 된 작업 - 언어 (또는 언어에 구애받지 않는) 수준? UML은 모든면에서 소프트웨어에 대한
사이의 관계 란 : wp(while E inv I do S, R) =
I \wedge
\forall y. ((E \wedge I) \implies wp(S,I \wedge x < y))[x <- y] \wedge
\forall y. ((\neg E \wedge I) \implies R)[x <- y]
where y is a tu
나는 매우 어리석은 종이를 읽고 있는데, Giotto가 "형식적인 의미"를 정의하는 방법에 대해 계속 이야기하고 있습니다. Giotto는 모드 전환, 작업 간 통신 및 프로그램 환경과의 통신의 의미를 지정하는 형식적인 의미를가집니다. 나는 이제 막 "공식적인 의미"가 무엇을 의미하는지 이해할 수 없다.