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
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
2002
Highly Cited
2002
Solving the Geometric Design Problem of Spatial 3R Robot Manipulators Using Polynomial Homotopy Continuation
In this paper, the geometric design problem of serial-link robot manipulators with three revolute (R) joints is solved using a… 
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
1999
Highly Cited
1999
The Internal and External Distribution of Pronominal DPs
The form and distribution of pronouns varies considerably cross-linguistically. In this paper, I will propose that there is a… 
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… 
1976
1976
Stable model equations for long water waves
In this paper, a sequel to two others [1, 2], some extensions and improvements of this earlier work are presented. Among these… 
Highly Cited
1972
Highly Cited
1972
The extent and nature of the strength-differential effect in steels
Tensile and compressive stress-strain curves were obtained for several types of microstructures in a variety of steels. The… 
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)