No Image
솔리디티 메모리 모델의 SMT 친화적 정형화
📝 원문 정보 Title: SMT-Friendly Formalization of the Solidity Memory Model ArXiv ID: 2001.03256 발행일: 2020-04-20 저자: Akos Hajdu, Dejan Jovanovic …
Computer Science / Logic
'Computer Science / Logic' 카테고리의 모든 글
총 6개의 글
시간순 정렬
No Image
경로 기반 상징적 실행을 이용한 하드웨어/소프트웨어 공동검증
📝 원문 정보 Title: Hardware/Software Co-verification Using Path-based Symbolic Execution ArXiv ID: 2001.01324 발행일: 2020-01-07 저자: Rajdeep …
No Image
증분 모노이달 문법
📝 원문 정보 Title: Incremental Monoidal Grammars ArXiv ID: 2001.02296 발행일: 2020-01-13 저자: Dan Shiebler, Alexis Toumi, Mehrnoosh Sadrzadeh 📝 초록 …
No Image
결과 제한형 데이터 인터페이스를 사용하여 질의에 답할 수 있는 시점은 언제인가?
📝 원문 정보 Title: When Can We Answer Queries Using Result-Bounded Data Interfaces? ArXiv ID: 1810.07822 발행일: 2023-06-22 저자: Antoine Amarilli …
No Image
넷의 전개를 위한 통일적 접근방식 hacia
📝 원문 정보 Title: Toward a Uniform Approach to the Unfolding of Nets ArXiv ID: 1810.08038 발행일: 2018-10-19 저자: Eric Fabre (INRIA Rennes - …
K4xS5 및 S4xS5 논리와 부분 공간 논리의 EXPSPACE 완전성, part 2: EXPSPACE 난이도
📝 원문 정보 Title: EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 2: EXPSPACE-Hardness ArXiv ID: …
< 분야별 논문 현황 (Total: 898) >
Astrophysics
2
Computer Science
426
Condensed Matter
2
Economics
35
Electrical Engineering and Systems Science
45
General
413
MATH-PH
1
Mathematics
50
Nonlinear Sciences
3
Physics
11
Quantitative Biology
2
Quantitative Finance
21
Quantum Physics
5
Statistics
46