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.
Review
2010
Review
2010
THE MASS-LOSS RETURN FROM EVOLVED STARS TO THE LARGE MAGELLANIC CLOUD. II. DUST PROPERTIES FOR OXYGEN-RICH ASYMPTOTIC GIANT BRANCH STARS
We model multi-wavelength broadband UBVIJHKs and Spitzer IRAC and MIPS photometry and Infrared Spectrograph spectra from the SAGE… 
Highly Cited
2007
Highly Cited
2007
Thermo-economic Optimization of a Solid Oxide Fuel Cell, Gas Turbine Hybrid System
Large scale power production benefits from the high efficiency of gas-steam combined cycles. In the lower power range, fuel cells… 
Highly Cited
2005
Highly Cited
2005
Accepted for publication in the Astronomical Journal A recalibration of optical photometry:
  • 2005
  • Corpus ID: 16683262
2002
2002
Lagrangian simulation of the unsteady near field dynamics of planar buoyant plumes
The unsteady dynamics of planar plumes is investigated numerically with particular emphasis on the pulsating instability… 
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
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… 
1993
1993
Extended transaction processing based on dependency rules
  • R. Günthör
  • Proceedings RIDE-IMS `93: Third International…
  • 1993
  • Corpus ID: 5392539
Various extensions of the classic ACID transaction model have been discussed to eliminate its restrictions. To cover the… 
1992
1992
A logical model of competence and performance in the human sentence processor
This work is concerned with the way in which principled theories of syntax and modular theories of mind may participate in an… 
1990
1990
Applications of singlet oxygen reactions: mechanistic and kinetic investigations
Abstract 
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… 
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)