Wide-spectrum language

Known as: WSL, Wide spectrum language 
A wide-spectrum language (WSL) is a programming language designed to be simultaneously a low-level and a high-level language—possibly a non… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
A wide-spectrum language integrates specification constructs into a programming language in a manner that treats a specification… (More)
  • figure 1
Is this relevant?
2016
2016
The formal methods community has over the years proposed various formally founded specification languages based on predicate… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2010
Highly Cited
2010
The IntCal04 and Marine04 radiocarbon calibration curves have been updated from 12 cal kBP (cal kBP is here defined as thousands… (More)
  • table 1
  • figure 1
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2010
Highly Cited
2010
P. B. Pearman (pearman@wsl.ch) and N. E. Zimmermann, Land Use Dynamics Unit, Swiss Federal Research Inst. WSL, Zurcherstrasse 111… (More)
  • table 1
  • table 1
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2006
2006
A Service oriented system emerges from composition of services. Dynamically composed reactive Web services form a special class… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 6
Is this relevant?
Review
2002
Review
2002
Public reporting burden for this collection of information is estimated to average 1 hour per response, including the time for… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2002
Highly Cited
2002
The effects of drought on radial growth of Pinussylvestris were investigated by comparing sites along hydricgradients. The… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 2
  • table 3
Is this relevant?
1994
1994
This thesis addresses the software maintenance problem of extracting high-level designs from code. The investigated solution is… (More)
  • figure 3.1
  • figure 3.2
  • figure 5.1
  • figure 5.2
  • figure 5.3
Is this relevant?
1986
1986
Change your habit to hang or waste the time to only chat with your friends. It is done by your everyday, don't you feel bored… (More)
Is this relevant?
1981
1981
. The paper exemplifies programming in a wide spectrum language by nresttnting stklrs from non-operative specifications-using… (More)
  • figure 1
  • figure 2
Is this relevant?