Continuation Semantics of Logic Programs with Disciplined Exception Handling

機構典藏 > College of Engineering > Graduate Institute & Department of Computer Science and Information Engineering > Proceeding > Item 987654321/95755

Please use this identifier to cite or link to this item: https://tkuir.lib.tku.edu.tw/dspace/handle/987654321/95755

Title:	Continuation Semantics of Logic Programs with Disciplined Exception Handling
Authors:	Shih, Timothy Kuo-Chen
Contributors:	淡江大學資訊工程學系
Keywords:	連續語意;邏輯程式;教訓例外處理;例外處理器;Continuation Semantic;Logic Program;Disciplined Exception Handling;Exception Handler
Date:	1994-12
Issue Date:	2014-02-13
Abstract:	This paper presents a disciplined exception mechanism based on continuations. Continuations provide mechanisms for labels and jumps. We present a mechanism to preserve a Prolog program continuation to be invoked at a later point. This mechanism is used in the design of exception signals, handlers, and exception continuations for logic programs. An exception continuation specifies how a computation should continue (e.g. resume, undo, alternate, or terminate) after an exception is raised. The Z notation is used to specify the continuation semantics of logic programs with exceptions. Based on the semantic functions, an interpreter written in Prolog is derived to justify our approach.
Relation:	1994 Internation Computer Symposium Conference Proceeding Volume of 1 of 2，頁571-576
Appears in Collections:	[Graduate Institute & Department of Computer Science and Information Engineering] Proceeding

Files in This Item:

File	Size	Format
Continuation Semantics of Logic Programs with Disciplined Exception Handling_英文摘要.docx	18Kb	Microsoft Word	71	View/Open