H ? « ‹ ← → › »

Language peer sets for WSL:
United Kingdom↑
United Kingdom/1989↑
Designed 1989 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑

WSL(ID:4651/wsl002)

Wide Spectrum Language 

alternate simple view
Country: United Kingdom
Designed 1989
Published: 1989

for Wide Spectrum Language

Martin Ward Durham 1989

kernel language
low-level programming constructs (arrays, loops, exit)
high-level programming constructs (infinite structures and universal and existential quantification over them)
integrated, formal semantics

designed for re-engineering legacy software

Related languages
WSL → METAWSL   Extension of
References:
  • Ward, M. (1989) Ward, M. "Proving Program Refinements and Transformations", Oxford University, DPhil Thesis, 1989.
  • Ward, M. (1993) Ward, M. "Abstracting a Specification from Code"
          in (1993) Software Maintenance: Research and Practice 5 1993
  • Ward, Martin and Keith Bennett (1993) Ward, Martin and Keith Bennett "A Practical Program Transformation System"
          in (1993) Software Maintenance: Research and Practice 5 1993
  • Ward, M. (1994) Ward, M. "Foundations for a Practical Theory of Program Refinement and Transformation" Durham University, Technical Report, 1994.
          in (1993) Software Maintenance: Research and Practice 5 1993
  • Ward, M. (1994) Ward, M. "Language Oriented Programming," Software - Concepts and Tools 15 (1994), 147--161,
          in (1993) Software Maintenance: Research and Practice 5 1993
  • Ward, Martin and Keith Bennett (1995) Ward, Martin and Keith Bennett "Formal Methods to Aid the Evolution of Software" International Journal of Software Engineering and Knowledge Engineering , 5(1):25-47, 1995.
          in (1993) Software Maintenance: Research and Practice 5 1993
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder