61:...The program should then be developed step by step applying correctness preserving transformations.... The development process thus involves usually multiple reshapings.... Since most current programming languages do not contain all the concepts needed for the formulation of the different versions, the programmer is nowadays forced to use different languages. To avoid the transition from one language to another, it seems appropriate to have one coherent language frame covering the whole spectrum outlined above, i.e. a
69:
The advantage of a single language rather than separate specification, high-level, and low-level languages is that the program can be incrementally refined, with intermediate versions retaining some higher-level and some lower-level constructs.
161:
226:
191:
179:
32:
28:
110:, has an interface to assembly language called VOP(Virtual OPerator), in which the user can manipulate registers directly.
81:
113:
97:
40:
36:
24:
153:
44:
151:, "Towards a wide spectrum language to support program specification and program development",
212:
187:
78:
74:
220:
201:, "A wide-spectrum language for object-based development of real-time systems",
144:
103:
93:
51:
211:
Theo de Ridder, "Using Python as a Wide-Spectrum
Language", EuroPython 2002.
107:
16:
Programming language with low- and high-level elements
116:, described as a wide-spectrum specification language
39:. Wide-spectrum languages are designed to support a
203:International Journal of Information Sciences
8:
125:
37:non-executable specification language
7:
96:, a wide-spectrum language based on
227:Programming language classification
14:
180:Lecture Notes in Computer Science
168:The wide spectrum language CIP-L
27:designed to be simultaneously a
77:wide-spectrum language and the
50:The concept was introduced by
1:
82:program transformation system
114:RAISE Specification Language
102:One major implementation of
73:Bauer's group developed the
243:
160::12:15-24 December, 1978.
35:language—possibly a
162:full text (subscription)
41:programming methodology
172:The Munich Project CIP
67:
63:wide spectrum language
21:wide-spectrum language
59:
25:programming language
154:ACM SIGPLAN Notices
45:program refinement
234:
186:, Berlin, 1985.
133:
130:
242:
241:
237:
236:
235:
233:
232:
231:
217:
216:
141:
136:
131:
127:
123:
90:
17:
12:
11:
5:
240:
238:
230:
229:
219:
218:
215:
214:
209:
195:
164:
140:
137:
135:
134:
124:
122:
119:
118:
117:
111:
100:
89:
86:
15:
13:
10:
9:
6:
4:
3:
2:
239:
228:
225:
224:
222:
213:
210:
208::15-35 (1999)
207:
204:
200:
196:
193:
192:3-540-15187-7
189:
185:
182:
181:
177:
173:
169:
165:
163:
159:
156:
155:
150:
146:
143:
142:
138:
129:
126:
120:
115:
112:
109:
105:
101:
99:
95:
92:
91:
87:
85:
83:
80:
76:
71:
66:
64:
58:
56:
53:
48:
46:
42:
38:
34:
30:
26:
22:
205:
202:
198:
183:
178:
175:
171:
170:, vol. 1 of
167:
166:F.L. Bauer,
157:
152:
148:
132:Bauer, p. 15
128:
72:
68:
62:
60:
54:
49:
20:
18:
145:F. L. Bauer
104:Common Lisp
94:Extended ML
52:F. L. Bauer
23:(WSL) is a
139:References
33:high-level
57:in 1978:
43:based on
29:low-level
221:Category
197:Z. Chen
88:See also
199:et al.
190:
149:et al.
55:et al.
31:and a
121:Notes
79:CIP-S
75:CIP-L
188:ISBN
108:SBCL
206:118
184:183
223::
176:in
174:,
158:13
147:,
106:,
98:ML
84:.
65:.
47:.
19:A
194:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.