FAQ

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

Related topics

Related topics

19 relations
.NET FrameworkC Sharp syntaxESC/JavaEiffel
(More)

Broader (1)

Microsoft Research

Related mentions per year

Related mentions per year

1937-2018
19401960198020002020
Spec#
Operating system
Java
Programming language
Type system
Imperative programming

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
Specification and verification: the Spec# experience
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
SPEC CPU2006 benchmark tools
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
Analysis of redundancy and application balance in the SPEC CPU2006 benchmark suite
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
SPEC CPU2006 memory footprint
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
Linking Object-Z with Spec#
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
C++ benchmarks in SPEC CPU2006
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: Challenges and Directions
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: An Overview
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
Quantitative performance analysis of the SPEC OMPM2001 benchmarks
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
Large System Performance of SPEC OMP2001 Benchmarks
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?