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
2017
Highly Cited
2017
Spatial Analysis
The aim and scope of the special session: Neural computing has been employed to analyze spatial problems under high level of… 
Highly Cited
2008
Highly Cited
2008
Application of quantum cascade lasers to trace gas analysis
Quantum cascade (QC) lasers are virtually ideal mid-infrared sources for trace gas monitoring. They can be fabricated to operate… 
Highly Cited
2000
Highly Cited
2000
The principles and interpretation of annular dark-field Z-contrast imaging
Highly Cited
1998
Highly Cited
1998
Phrase Structure in Minimalist Syntax
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Linguistics and Philosophy, 1995. 
Highly Cited
1997
Highly Cited
1997
UNIQUE CHARACTERISTICS OF COLD CATHODE CARBON-NANOTUBE-MATRIX FIELD EMITTERS
The attributes of electron field emission from disordered matrix arrays of carbon nanotubes are studied and found to be quite… 
Highly Cited
1995
Highly Cited
1995
N-VERSION PROGRAMMINC: A FAULT-TOLERANCE APPROACH TO RELlABlLlTY OF SOFTWARE OPERATlON
N-version programing is defined as the independent generation of N2 2 functionally e quivalent prograns fran the sme initial… 
Highly Cited
1994
Highly Cited
1994
Another Look at LTL Model Checking
We show how LTL model checking can be reduced to CTL model checking with fairness constraints. Using this reduction, we also… 
Highly Cited
1993
Highly Cited
1993
Finiteness properties of local cohomology modules (an application ofD-modules to commutative algebra)
SummaryThe main goal of this paper is to establish finiteness properties of local cohomology modules in characteristic 0 that… 
Highly Cited
1991
Highly Cited
1991
Guidelines for Establishing Marine Protected Areas
This text offers authoritative advice on the present day planning, policies and practices for marine protected areas. The… 
Highly Cited
1990
Highly Cited
1990
The A/A-bar distinction and movement theory
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)