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
2005
Highly Cited
2005
Accepted for publication in the Astronomical Journal A recalibration of optical photometry:
  • 2005
  • Corpus ID: 16683262
2005
2005
Cover sheet Full title : True Optionality : When the grammar doesn ’ t mind
Optionality in movement operations is widely held to be fundamentally incompatible with a feature-driven approach to displacement… 
Highly Cited
2000
Highly Cited
2000
Regularity of solution sets for differential inclusions quasi-concave in a parameter
Highly Cited
2000
Highly Cited
2000
Exploring Twins: Towards a Social Analysis of Twinship
List of Tables Preface PART ONE Myths About Twins The Comparative Constitution of Twinship: Anthropological and Ethnographical… 
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… 
Highly Cited
1977
Highly Cited
1977
The benthic algal composition, standing crop and productivity of a Caribbean algal ridge
The distribution and standing crop of benthic algal species on a Caribbean algal ridge (St. Croix) and its associated carbonate… 
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)