WSL(ID:4651/wsl002)

Wide Spectrum Language 

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. "Proving Program Refinements and Transformations", Oxford University, DPhil Thesis, 1989. view details
  • Ward, M. "Abstracting a Specification from Code" view details
          in Software Maintenance: Research and Practice 5 1993 view details
  • Ward, Martin and Keith Bennett "A Practical Program Transformation System" view details
          in Software Maintenance: Research and Practice 5 1993 view details
  • Ward, M. "Foundations for a Practical Theory of Program Refinement and Transformation" Durham University, Technical Report, 1994. view details
          in Software Maintenance: Research and Practice 5 1993 view details
  • Ward, M. "Language Oriented Programming," Software - Concepts and Tools 15 (1994), 147--161, view details
          in Software Maintenance: Research and Practice 5 1993 view details
  • 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. view details
          in Software Maintenance: Research and Practice 5 1993 view details