Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Spec#

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

Related topics

Related topics

18 relations
.NET FrameworkESC/JavaEiffelEvent-driven programming
Expand

Broader (1)

Microsoft Research

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
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… Expand
  • table 1
  • figure 1
  • table 2
  • table 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… Expand
Is this relevant?
Highly Cited
2005
Highly Cited
2005
MulVAL: A Logic-based Network Security Analyzer
To determine the security impact software vulnerabilities have on a particular network, one must consider interactions among… Expand
  • figure 1
  • figure 2
  • figure 3
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… Expand
Is this relevant?
Highly Cited
2000
Highly Cited
2000
SPEC CPU2000: Measuring CPU Performance in the New Millennium
As computers and software have become more powerful, it seems almost human nature to want the biggest and fastest toy you can… Expand
  • table 1
  • table 2
  • figure 1
  • table 3
  • table 4
Is this relevant?
Highly Cited
1988
Highly Cited
1988
Rapid production of full length cDNAs from rare tran-scripts: Amplification using a single gene-spec
A lens system interposed between the character sheet and the photosensitive sheet directs images of selected ones of the… Expand
Is this relevant?
Highly Cited
1984
Highly Cited
1984
Sporomusa, a new genus of gram-negative anaerobic bacteria including Sporomusa sphaeroides spec. nov. and Sporomusa ovata spec. nov.
A new genus of strictly anaerobic, gram-negative, banana-shaped bacteria is described. Cells formed spores and were motile by… Expand
  • table 1
  • figure 2
  • table 2
  • table 3
  • figure 3
Is this relevant?
Highly Cited
1980
Highly Cited
1980
THE GROUND STATE OF THE ELECTRON GAS BY A STOCHASTIC METHOD
., • ' % . ^ : K ~* B J£L~i0813_ 4JC-4 J NATIONAL RESOURCE FOR COMPUTATION IN CHEMISTRY^ '• • ' THE 81R0UND STATED 6|/THE… Expand
Is this relevant?
Highly Cited
1970
Highly Cited
1970
Language Development: Form and Function in Emerging Grammars
The research reported is in investigation into the early acquisition of grammar by three children from the age of approximately… Expand
  • table 1
  • table 2.1
  • figure 2.1
  • figure 2.2
  • table 3.1
Is this relevant?
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE