A VDM approach to continuation-based semantics of Prolog

Timothy K. Shih; Huan Chao Keh; Yule Chyun Lin

A VDM approach to continuation-based semantics of Prolog

Timothy K. Shih, Huan Chao Keh, Yule Chyun Lin

資訊工程學系

研究成果: 雜誌貢獻 › 期刊論文 › 同行評審

摘要

VDM is short for Vienna Development Method which was developed in the early 1960's in the IBM Vienna Laboratory. VDM was used in language definition and compiler design. It was then extended to include aspects of large project designs. We use VDM as a semantic tool to discuss the continuation semantics of Prolog. A continuation represents the dynamic effect of the remainder of a program. Based on the semantic functions, a metalevel interpreter is constructed showing the result of our work.

原文	???core.languages.en_GB???
頁（從 - 到）	485-508
頁數	24
期刊	Computers and Artificial Intelligence
卷	18
發行號	5
出版狀態	已出版 - 1999

引用此

@article{56c6beb02afd48b6a0168fd58c2bfb69,

title = "A VDM approach to continuation-based semantics of Prolog",

abstract = "VDM is short for Vienna Development Method which was developed in the early 1960's in the IBM Vienna Laboratory. VDM was used in language definition and compiler design. It was then extended to include aspects of large project designs. We use VDM as a semantic tool to discuss the continuation semantics of Prolog. A continuation represents the dynamic effect of the remainder of a program. Based on the semantic functions, a metalevel interpreter is constructed showing the result of our work.",

keywords = "Prolog, Vienna Development Method",

author = "Shih, {Timothy K.} and Keh, {Huan Chao} and Lin, {Yule Chyun}",

year = "1999",

language = "???core.languages.en_GB???",

volume = "18",

pages = "485--508",

journal = "Computers and Artificial Intelligence",

issn = "0232-0274",

number = "5",

}

TY - JOUR

T1 - A VDM approach to continuation-based semantics of Prolog

AU - Shih, Timothy K.

AU - Keh, Huan Chao

AU - Lin, Yule Chyun

PY - 1999

Y1 - 1999

N2 - VDM is short for Vienna Development Method which was developed in the early 1960's in the IBM Vienna Laboratory. VDM was used in language definition and compiler design. It was then extended to include aspects of large project designs. We use VDM as a semantic tool to discuss the continuation semantics of Prolog. A continuation represents the dynamic effect of the remainder of a program. Based on the semantic functions, a metalevel interpreter is constructed showing the result of our work.

AB - VDM is short for Vienna Development Method which was developed in the early 1960's in the IBM Vienna Laboratory. VDM was used in language definition and compiler design. It was then extended to include aspects of large project designs. We use VDM as a semantic tool to discuss the continuation semantics of Prolog. A continuation represents the dynamic effect of the remainder of a program. Based on the semantic functions, a metalevel interpreter is constructed showing the result of our work.

KW - Prolog

KW - Vienna Development Method

UR - http://www.scopus.com/inward/record.url?scp=33748968325&partnerID=8YFLogxK

M3 - 期刊論文

AN - SCOPUS:33748968325

SN - 0232-0274

VL - 18

SP - 485

EP - 508

JO - Computers and Artificial Intelligence

JF - Computers and Artificial Intelligence

IS - 5

ER -

A VDM approach to continuation-based semantics of Prolog

摘要

指紋

引用此