Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Wide-spectrum_language> ?p ?o. }
Showing items 1 to 14 of
14
with 100 items per page.
- Wide-spectrum_language abstract "A wide-spectrum language (WSL) is a programming language designed to be simultaneously a low-level and a high-level language—possibly a non-executable specification language. Wide-spectrum languages are designed to support a programming methodology based on program refinement.The concept was introduced by F. L. Bauer et al. in 1978:...The program should then be developed step by step applying correctnesspreserving transformations.... The development processthus involves usually multiple reshapings....Since most current programming languages do not containall the concepts needed for the formulation of the differentversions, the programmer is nowadays forced touse different languages. To avoid the transition fromone language to another, it seems appropriate to haveone coherent language frame covering the whole spectrumoutlined above, i.e. a wide spectrum language.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.Bauer's group developed the CIP-L wide-spectrum language and the CIP-S program transformation system.".
- Wide-spectrum_language wikiPageExternalLink p15-bauer.pdf?key1=954588&key2=1902261321&coll=GUIDE&dl=GUIDE&CFID=17837149&CFTOKEN=93594898.
- Wide-spectrum_language wikiPageExternalLink 200206europython.pdf.
- Wide-spectrum_language wikiPageID "21034999".
- Wide-spectrum_language wikiPageRevisionID "579703880".
- Wide-spectrum_language hasPhotoCollection Wide-spectrum_language.
- Wide-spectrum_language subject Category:Programming_language_classification.
- Wide-spectrum_language comment "A wide-spectrum language (WSL) is a programming language designed to be simultaneously a low-level and a high-level language—possibly a non-executable specification language. Wide-spectrum languages are designed to support a programming methodology based on program refinement.The concept was introduced by F. L. Bauer et al. in 1978:...The program should then be developed step by step applying correctnesspreserving transformations....".
- Wide-spectrum_language label "Wide-spectrum language".
- Wide-spectrum_language sameAs m.05b2q0n.
- Wide-spectrum_language sameAs Q7998546.
- Wide-spectrum_language sameAs Q7998546.
- Wide-spectrum_language wasDerivedFrom Wide-spectrum_language?oldid=579703880.
- Wide-spectrum_language isPrimaryTopicOf Wide-spectrum_language.