From Implicit via Inductive to Explicit Definitions

Gerard R. Renardel de Lavalette

From Implicit via Inductive to Explicit Definitions

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

7 Downloads (Pure)

Abstract

This paper reports on a method to provide general implicit descriptions with a sound logical semantics. This method has been applied in the specification languages COLD and VVSL.

Original language	English
Title of host publication	Semantics of Specification Languages
Publisher	Springer
Pages	304-314
Number of pages	12
Edition	1994
Publication status	Published - 1994

Handle.net

Persistent link

Embargoed Document

1994SemSpecifLangRenardeldeL2.pdf
Final author's version, 183 KB

Cite this

@inbook{7c63a5c3164f453b8f6be80bfa8b3f15,

title = "From Implicit via Inductive to Explicit Definitions",

abstract = "This paper reports on a method to provide general implicit descriptions with a sound logical semantics. This method has been applied in the specification languages COLD and VVSL.",

author = "{Renardel de Lavalette}, {Gerard R.}",

note = "Relation: http://www.rug.nl/informatica/organisatie/overorganisatie/iwi Rights: University of Groningen. Research Institute for Mathematics and Computing Science (IWI)",

year = "1994",

language = "English",

pages = "304--314",

booktitle = "Semantics of Specification Languages",

publisher = "Springer",

edition = "1994",

}

TY - CHAP

T1 - From Implicit via Inductive to Explicit Definitions

AU - Renardel de Lavalette, Gerard R.

N1 - Relation: http://www.rug.nl/informatica/organisatie/overorganisatie/iwi Rights: University of Groningen. Research Institute for Mathematics and Computing Science (IWI)

PY - 1994

Y1 - 1994

N2 - This paper reports on a method to provide general implicit descriptions with a sound logical semantics. This method has been applied in the specification languages COLD and VVSL.

AB - This paper reports on a method to provide general implicit descriptions with a sound logical semantics. This method has been applied in the specification languages COLD and VVSL.

M3 - Chapter

SP - 304

EP - 314

BT - Semantics of Specification Languages

PB - Springer

ER -

From Implicit via Inductive to Explicit Definitions

Abstract

Handle.net

Embargoed Document

Fingerprint

Cite this