Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 223,660,140 papers from all fields of science
Search
Sign In
Create Free Account
Spec#
Known as:
Sing
, Sing Sharp
, Spec sharp
Expand
Spec# is a programming language with specification language features that extends the capabilities of the C# programming language with Eiffel-like…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
18 relations
.NET Framework
ESC/Java
Eiffel
Event-driven programming
Expand
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
Junesang Choi
,
P. Anderson
,
H. Srivastava
Applied Mathematics and Computation
2008
Corpus ID: 9281984
Highly Cited
2008
Highly Cited
2008
SDSS J092712.65+294344.0: RECOILING BLACK HOLE OR A SUBPARSEC BINARY CANDIDATE?
T. Bogdanović
,
M. Eracleous
,
S. Sigurdsson
2008
Corpus ID: 10240151
A search for recoiling supermassive black hole (SBH) candidates recently yielded the best candidate thus far, SDSS J092712.65…
Expand
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
Jin-Lin Liu
,
Hari M. Srivastava
Applied Mathematics and Computation
2004
Corpus ID: 35635937
Highly Cited
2002
Highly Cited
2002
A Study of the Direct Fitting Method for Measurement of Galaxy Velocity Dispersions
A. Barth
,
L. Ho
,
W. Sargent
2002
Corpus ID: 15838476
We have measured the central stellar velocity dispersions of 33 nearby spiral and elliptical galaxies, using a straightforward…
Expand
Highly Cited
2002
Highly Cited
2002
Hybrid channel access scheduling in ad hoc networks
L. Bao
,
J. Garcia-Luna-Aceves
10th IEEE International Conference on Network…
2002
Corpus ID: 2873954
We present the hybrid activation multiple access (HAMA) protocol for ad hoc networks. Unlike previous channel access scheduling…
Expand
Highly Cited
1999
Highly Cited
1999
Thiophene-Linked Polyphenylquinoxaline: A New Electron Transport Conjugated Polymer for Electroluminescent Devices
Yuan Cui
,
Xuejun Zhang
,
S. Jenekhe
1999
Corpus ID: 46564861
Abstract : A new n-type conjugated polymer, poly2,2'-(THIOPHENE-2,5-DIYL)-6,6'-BIS(3-PHENYLQUINOXALINE) (PTQx), was synthesized…
Expand
Highly Cited
1995
Highly Cited
1995
Using Dynamic Classes and Role Classes to Model Object Migration
R. Wieringa
,
W. D. Jonge
,
Paul Spruit
Theory and Practice of Object Systems
1995
Corpus ID: 29902416
n this paper, we argue that object-oriented models must be able to represent three kinds of taxonomic structures: static classes…
Expand
Highly Cited
1983
Highly Cited
1983
ACE: An Expert System for Telephone Cable Maintenance
Gregg T. Vesonder
,
S. Stolfo
,
J. E. Zielinski
,
F. Miller
,
D. H. Copp
International Joint Conference on Artificial…
1983
Corpus ID: 18632956
ACE, a system for Automated Cable Expertise, is a Knowledge-Based Expert System designed to provide troubleshooting reports and…
Expand
Highly Cited
1972
Highly Cited
1972
The extent and nature of the strength-differential effect in steels
G. Rauch
,
W. C. Leslie
1972
Corpus ID: 136503260
Tensile and compressive stress-strain curves were obtained for several types of microstructures in a variety of steels. The…
Expand
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)
ACCEPT & CONTINUE