abstract data type
속내용감춘 데이터타입
obfuscation
난독화, 코드꼬기 / 코드뒤틀기
partial evaluation
부분실행, 부분 미리 계산, 군살빼기, 맞춤선행, 앞풀이
beam search
빔 탐색
informal
느낌적인, 대략적인
sparse analysis
알뜰하게 분석하기 / 알뜰 분석, 적시적소 분석, 쏙쏙 분석, 성큼성큼 분석, 급행 분석, 큰걸음 분석, 지름길 분석
dynamic analysis
실행 중 분석
API (application programming interface)
나들목
object-oriented language
물건중심 언어, 메세지 중심 언어, 사물중심 언어, 개체 중심 언어, 것 중심 프로그래밍
bisimulation
서로따라하기, 맞장구, 호응관계, 서로거울
term rewriting
식 다시쓰기 / 코드 다시쓰기 / 계산식 다시쓰기
exhaustive search
싹쓸이 탐색
tierless programming / multitier programming
경계없는 프로그래밍
choreographic programming
번역이 없어요
asynchronous programming
여러가지를 동시실행하는 프로그램짜기, 동시실행 프로그램짜기, 동시실행 프로그래밍, 실행순서없는 프로그램 짜기, 비순차 프로그래밍, 순서상관않는 프로그램짜기, 미루는 프로그램 짜기, 양보하는 프로그래밍, 엇박자 프로그래밍, 대충넘어가는 프로그램짜기, 비동기 프로그래밍, 차례없는 프로그램 짜기
context tunneling
함수 호출 환경 배달하기, 호출환경 배달하기
monad
모나드, 계산효과 타입, 차례차례타입, 계산법 타입 / 계산법 드러내는 타입, 순차적 맥락 타입, 계산잇기 구조 / 계산잇기 타입, 이어달리기 타입
refinement relation
구체화, 가다듬기
static analysis
정적분석, 정적 프로그램분석, 실행전 분석, 미리분석
object
물건, 것
mechanized specification
스펙 프로그래밍, 전산화된 명세/규격, 돌릴수있는 명세
specification
설명서, 사양 , 명세, 요구사항, 규격, 스펙
smart contract
똑똑한 계약, 자동실행계약
alias analysis
별명 모으기, 그놈이그놈 분석
null
없는 주소, 헛 주소, 값없음, 빈 값
polymorphic type
다형타입, 여러모양 타입
round robin
순환 처리, 공평하게 돌아가며 뽑기, 뺑뺑이
texture
텍스처, 재질, 질감
tail recursive
꼬리감기, 끝재귀, 자기 호출이 마지막인, 마지막에 자기자신을 부르는, 꼬리재귀, 안 돌아오는 재귀
deep learning
심층 학습, 딥러닝
coinduction
코덕, 무한한것포함시키기, 전체부터 다듬어가기, 코인덕
superoptimizer
슈퍼최적화, 슈퍼최적화기, 초월 최적화, 최적화 / 좋게하기 / 더좋게하기 / 더더좋게하기