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

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 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
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
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 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
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
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
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
., • ' % . ^ : 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
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?