Spec#

Known as: Sing, Spec sharp, Spec# 
Spec# is a programming language with specification language features that extends the capabilities of the C# programming language with Eiffel-like… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1967-2018
05101519672018

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
Can a programming language really help programmers write better programs? 
  • figure 1
  • figure 3
  • figure 3
Is this relevant?
Highly Cited
2007
Highly Cited
2007
The benchmarks that make up the SPEC CPU2006 benchmark suite are set-up, run, timed, and scored by the CPU tools harness. The… (More)
Is this relevant?
Highly Cited
2007
Highly Cited
2007
The recently released SPEC CPU2006 benchmark suite is expected to be used by computer designers and computer architecture… (More)
  • table 1
  • figure 1
  • table 2
  • table 3
  • figure 3
Is this relevant?
2007
2007
The nominal goal for memory consumption by SPEC CPU2006 benchmarks is up to about 900 MB when compiled with 32-bit pointers. The… (More)
Is this relevant?
2007
2007
Formal specifications have been a focus of software engineering research for many years and have been applied in a wide variety… (More)
  • figure 1
  • figure 3
  • figure 4
Is this relevant?
2007
2007
In SPEC CPU2006, there are three C++ integer benchmarks and four floating-point C++ benchmarks. This paper describes the work of… (More)
Is this relevant?
Highly Cited
2005
Highly Cited
2005
The Spec# programming system [2] is a new attempt to increase the quality of general purpose, industrial software. Using old… (More)
Is this relevant?
Review
2004
Review
2004
The Spec# programming system is a new attempt at a more cost effective way to develop and maintain high-quality software. This… (More)
Is this relevant?
2003
2003
The state of modern computer systems has evolved to allow easy access to multiprocessor systems by supporting multiple processors… (More)
  • table 1
  • figure 1
  • table 2
  • table 3
  • figure 2
Is this relevant?
2002
2002
Performance characteristics of application programs on large-scale systems are often significantly different from those on… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?