Expressive Power of Specification Languages

By abstracting away from a particular specification language and considering a ‘specification’ to be just a set of implementations, one can define a partial order on specification languages that reflects their expressive power. In addition, one can show that there is no universal specification langu...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Formal aspects of computing Jg. 10; H. 2; S. 187 - 192
1. Verfasser: Hayes, Ian J.
Format: Journal Article
Sprache:Englisch
Veröffentlicht: London Springer-Verlag London Limited 01.11.1998
Springer
Schlagworte:
Applied sciences
Computer science; control theory; systems
Exact sciences and technology
Language theory and syntactical analysis
Programming languages
Software
Software and its engineering
Software and its engineering / Software creation and management
Software and its engineering / Software creation and management / Designing software
Software and its engineering / Software creation and management / Designing software / Requirements analysis
Software and its engineering / Software notations and tools
Software and its engineering / Software notations and tools / General programming languages
Theoretical computing
Theory of computation
Theory of computation / Formal languages and automata theory
Theory of computation / Semantics and reasoning
Theory of computation / Semantics and reasoning / Program reasoning
Theory of computation / Semantics and reasoning / Program reasoning / Program specifications
Keywords: Specification languages; Expressive power; Specifiability
Partial ordering
Specification language
Language theory
Programming language
ISSN:0934-5043, 1433-299X
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:By abstracting away from a particular specification language and considering a ‘specification’ to be just a set of implementations, one can define a partial order on specification languages that reflects their expressive power. In addition, one can show that there is no universal specification language that can express all such ‘specifications’.
ISSN:0934-5043
1433-299X
DOI:10.1007/s001650050010