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...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Formal aspects of computing Ročník 10; číslo 2; s. 187 - 192
Hlavní autor: Hayes, Ian J.
Médium: Journal Article
Jazyk:angličtina
Vydáno: London Springer-Verlag London Limited 01.11.1998
Springer
Témata:
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
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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