A theory of combinational programs

Tran Van Dung; He Jifeng

A theory of combinational programs

Tran Van Dung^*
, He Jifeng

^*Corresponding author for this work

United Nations University Institute in Macau

Research output: Contribution to conference › Paper › peer-review

2 Scopus citations

Abstract

The actual behaviour of a hardware devices available for an implementation of a control system can be simulated by a program, and this allows a hardware device to be proved correct by standard software techniques. In this paper we formalise Event semantics of Hardware Description Language in the form of relations and use Relation calculus to prove properties (including termination and stability and uniqueness of final state) of combinational programs, cycle behaviours of which are defined as a conditional loop of non-deterministic choices between generalised parallel assignments.

Original language	English
Pages	325-328
Number of pages	4
State	Published - 2001
Externally published	Yes
Event	8th Asia Pacific Software Engineering Conference APSEC'2001 - Macao, China Duration: 4 Dec 2001 → 7 Dec 2001

Conference

Conference	8th Asia Pacific Software Engineering Conference APSEC'2001
Country/Territory	China
City	Macao
Period	4/12/01 → 7/12/01

Cite this

@conference{49c9dc911c1b476abcb0e38b9bcc1ea2,

title = "A theory of combinational programs",

abstract = "The actual behaviour of a hardware devices available for an implementation of a control system can be simulated by a program, and this allows a hardware device to be proved correct by standard software techniques. In this paper we formalise Event semantics of Hardware Description Language in the form of relations and use Relation calculus to prove properties (including termination and stability and uniqueness of final state) of combinational programs, cycle behaviours of which are defined as a conditional loop of non-deterministic choices between generalised parallel assignments.",

author = "\{Van Dung\}, Tran and He Jifeng",

year = "2001",

language = "英语",

pages = "325--328",

note = "8th Asia Pacific Software Engineering Conference APSEC'2001 ; Conference date: 04-12-2001 Through 07-12-2001",

}

TY - CONF

T1 - A theory of combinational programs

AU - Van Dung, Tran

AU - Jifeng, He

PY - 2001

Y1 - 2001

N2 - The actual behaviour of a hardware devices available for an implementation of a control system can be simulated by a program, and this allows a hardware device to be proved correct by standard software techniques. In this paper we formalise Event semantics of Hardware Description Language in the form of relations and use Relation calculus to prove properties (including termination and stability and uniqueness of final state) of combinational programs, cycle behaviours of which are defined as a conditional loop of non-deterministic choices between generalised parallel assignments.

AB - The actual behaviour of a hardware devices available for an implementation of a control system can be simulated by a program, and this allows a hardware device to be proved correct by standard software techniques. In this paper we formalise Event semantics of Hardware Description Language in the form of relations and use Relation calculus to prove properties (including termination and stability and uniqueness of final state) of combinational programs, cycle behaviours of which are defined as a conditional loop of non-deterministic choices between generalised parallel assignments.

UR - https://www.scopus.com/pages/publications/0035692665

M3 - 论文

AN - SCOPUS:0035692665

SP - 325

EP - 328

T2 - 8th Asia Pacific Software Engineering Conference APSEC'2001

Y2 - 4 December 2001 through 7 December 2001

ER -

A theory of combinational programs

Abstract

Conference

Other files and links

Fingerprint

Cite this