Download:
|
by Paul A. Bailes, Trevor Chorvat, Ian Peake
Proc. 1994 International Conference on Computing and Information, Peterborough
http://www.it.uq.edu.au/groups/csm/pubs/prog-langdesign.ps.gz
Add To MetaCart
Abstract:
Recognising language design as a valid programming paradigm should have widespread benefits e.g. for the development of CASE tools. This validity is demonstrated both pragmatically and formally. The pragmatic justification derives from matching the patterns of usage and quality assessment of programming languages on the one hand, with corresponding patterns for the output of the "programming " activity. The formal justification derives from an examination of denotational semantics. Language design as incarnated in the production of a denotational semantics is evidently functional programming, with all the concerns for modularity and abstraction that should also be the concerns of applications programmers. Then, when the denotational equations are restructured in better accord with these programming principles, it emerges that the semantics of a centrepiece of programmer activity- declarations- are evidently language extensions.
Citations
|
882
|
Software Engineering: A Practitioner’s Approach
– Pressman
- 1992
|
|
397
|
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
– Stoy
- 1977
|
|
79
|
Specifications are not (necessarily) executable
– Hayes, Jones
- 1989
|
|
24
|
Language design methods based on semantic principles
– Tennent
- 1977
|
|
20
|
The Metaview system for many specification environments
– Sorenson, Tremblay, et al.
- 1988
|
|
17
|
Principles of Programming Languages
– MacLennan
- 1987
|
|
10
|
Maintenance tools
– Oman
- 1990
|
|
8
|
MetaPlex: An integrated environment for organization and information systems development
– Chen, Jr
- 1989
|
|
5
|
Software Prototyping, Formal Methods and VDM
– Hekmatpour, Ince
- 1988
|
|
4
|
The Programmer as Language Designer (Towards a Unified Theory of Programming and Language Design
– Bailes
- 1986
|
|
2
|
eds.), "Towards a Formal Description of Ada
– Bjorner, Oest
- 1980
|
|
2
|
Executable Semantic Descriptions", Software Practice and Experience
– Watt
- 1986
|
|
1
|
Programming Language Design
– McKeeman
- 1976
|
|
1
|
Abstract Semantic Algebras!", Formal Description of Programming Concepts
– Mosses
- 1983
|
