1978
DOI: 10.1007/978-3-642-87956-2_5
|View full text |Cite
|
Sign up to set email alerts
|

Towards a Wide Spectrum Language to Support Program Specification and Program Development

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1

Citation Types

0
2
0

Year Published

1979
1979
2018
2018

Publication Types

Select...
4
1

Relationship

0
5

Authors

Journals

citations
Cited by 5 publications
(2 citation statements)
references
References 4 publications
0
2
0
Order By: Relevance
“…As discussed in detail in [8], the distinctive features of Curry (e.g., non-deterministic operations, demand-driven evaluation, functional patterns, set functions) support writing high-level specifications as well as efficient implementations for a given problem in the same programming language. When applying this idea, Curry can be used as a wide-spectrum language [11] for software development. If a specification or contract is provided for some function, one can exploit this information to support run-time assertion checking with these specifications and contracts.…”
Section: Contract and Specification Testingmentioning
confidence: 99%
“…As discussed in detail in [8], the distinctive features of Curry (e.g., non-deterministic operations, demand-driven evaluation, functional patterns, set functions) support writing high-level specifications as well as efficient implementations for a given problem in the same programming language. When applying this idea, Curry can be used as a wide-spectrum language [11] for software development. If a specification or contract is provided for some function, one can exploit this information to support run-time assertion checking with these specifications and contracts.…”
Section: Contract and Specification Testingmentioning
confidence: 99%
“…To get around the confusion between implementation of the specification and optimization of the implementation in the programming language, it has become common to simply speak of "optimization of programs" in a "v^ride-spectrum language" [8], Such a language encompasses both specifications and programs. To do so.…”
Section: Introduction; Transformational Implementationmentioning
confidence: 99%