Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

18 relations
.NET FrameworkESC/JavaEiffelEvent-driven programming

Broader (1)

Microsoft Research

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2010
Highly Cited
2010
Heat-balance integral to fractional (half-time) heat diffusion sub-model
The fractional (half-time) sub-model of the heat diffusion equation, known as Dirac-like evolution diffusion equation has been… 
Highly Cited
2008
Highly Cited
2008
Some q-extensions of the Apostol-Bernoulli and the Apostol-Euler polynomials of order n, and the multiple Hurwitz zeta function
Highly Cited
2005
Highly Cited
2005
Accepted for publication in the Astronomical Journal A recalibration of optical photometry:
  • 2005
  • Corpus ID: 16683262
Highly Cited
2004
Highly Cited
2004
Certain properties of the Dziok-Srivastava operator
Highly Cited
2002
Highly Cited
2002
Hybrid channel access scheduling in ad hoc networks
We present the hybrid activation multiple access (HAMA) protocol for ad hoc networks. Unlike previous channel access scheduling… 
Highly Cited
2000
Highly Cited
2000
Regularity of solution sets for differential inclusions quasi-concave in a parameter
Highly Cited
1999
Highly Cited
1999
Thiophene-Linked Polyphenylquinoxaline: A New Electron Transport Conjugated Polymer for Electroluminescent Devices
Abstract : A new n-type conjugated polymer, poly2,2'-(THIOPHENE-2,5-DIYL)-6,6'-BIS(3-PHENYLQUINOXALINE) (PTQx), was synthesized… 
Highly Cited
1993
Highly Cited
1993
Glacial rebound and sea-level change: an example of a relationship between mantle and surface processes
Highly Cited
1983
Highly Cited
1983
ACE: An Expert System for Telephone Cable Maintenance
ACE, a system for Automated Cable Expertise, is a Knowledge-Based Expert System designed to provide troubleshooting reports and… 
Highly Cited
1978
Highly Cited
1978
Stomach Flushing: Effectiveness and Influence on Survival and Condition of Juvenile Salmonids
Hydraulic stomach flushing was an effective method to analyze relative food consumption and feeding habits of young salmonids… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)