지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술대회자료
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers 한국정보과학회 학술발표논문집 한국정보과학회 1985년도 가을 학술발표논문집 제12권 제2호
- 발행연도
- 1985.10
- 수록면
- 332 - 338 (7page)
이용수
초록· 키워드
오류제보하기
In this paper, a unifying mechanism for functional and logic language is presented. AFLOG(A Functional LOGic programming language)is a proposed language which unifies functional and logic language and embeds the equality property. in AFLOG, a function is evaluated by a reduction rule based on equational logic and the unification between two terms which are syntactically different also underlies this reduction rule.
목차
ABSTRACT
1. Introduction
2. Introduction to AFLOG
3. The unfying mechanism for functional and logic program
4. Conclusion and Future Study.
5. Reference
참고문헌 (0)
참고문헌 신청함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
Logic Simulation
대한전자공학회 단기강좌
1983 .01
-
A Rule - Based Hardware Description Language and Verification of Logic Circuits
한국정보과학회 학술발표논문집
1986 .10
-
확장논리에 기초한 순차디지털논리시스템 및 컴퓨터구조에 관한 연구
한국인터넷방송통신학회 논문지
2008 .01
-
Logic Synthesis
CAD기술특강
1989 .01
-
연관분석을 이용한 마코프 논리네트워크의1차 논리 공식 생성과 가중치 학습방법
산업경영시스템학회지
2015 .01
-
A Proposal for Implementing Parallel Logic Programming Languages on the Connection Machine
TENCON 87 - Computers and Communications Technology Toward 2000
1997 .01
-
AN APPROACH FOR LOGIC SYNTHESIS
ICVC : International Conference on VLSI and CAD
1989 .01
-
무결성 규칙의 표현을 위한 한글 논리 언어
정보과학회논문지(B)
1996 .06
-
기호다치논리를 이용한 Fuzzy Rule Minimization에 관한 연구
한국컴퓨터정보학회논문지
1999 .12
-
철도차량의 효과적 RCM 적용을 위한 LTA로직 개발
한국철도학회 학술발표대회논문집
2008 .11
-
Logic Simulator의 구현에 관한 연구 ( A Study on Implementation of logic Simulator )
대한전자공학회 학술대회
1990 .11
-
LOGIC SIMULATOR의 구현에 관한 연구
대한전자공학회 학술대회
1990 .11
-
PLC에서의 입출력 응답속도 향상을 위한 모듈 분산 형 Logic
정보 및 제어 논문집
2012 .10
-
퍼지 Logic을 이용한 화재감지기법에 관한 연구
한국화재소방학회 학술대회 논문집
2003 .01
-
Functional 프로그래밍 언어의 Lazy evaluation에 관한 연구
한국정보과학회 학술발표논문집
1985 .10
-
Logic Synthesis and Optimization
CAD기술특강
1991 .01
-
LOGIC-CHECKER : A CORRECTING FUNCTION FOR GATE ERRORS IN LOGIC SIMULATION AND ITS IMPLEMENTATION
JTC-CSCC : Joint Technical Conference on Circuits Systems, Computers and Communications
1989 .01
-
권하는 책 ( Book Review - The social logic of space )
건축
2001 .12
-
Fuzzy Logic 제어기의 구성 ( The Construction of the Fuzzy Logic Controller )
대한전자공학회 학술대회
1989 .01
이 논문의 저자 정보
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2009-569-017948588