Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Admissible numbering

Known as: Programming system, Rogers equivalence theorem, Acceptable numbering 
In computability theory, the admissible numberings are enumerations (numberings) of the set of partial computable functions that can be converted to… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2009
Highly Cited
2009
Heterogeneous multiprocessors are increasingly important in the multi-core era due to their potential for high performance and… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Review
2004
Review
2004
The Spec# programming system is a new attempt at a more cost effective way to develop and maintain high-quality software. This… Expand
Highly Cited
1999
Highly Cited
1999
In this paper we reexamine the place and role of stable model semantics in logic programming and contrast it with a least… Expand
Highly Cited
1998
Highly Cited
1998
An approach to clustering is presented that adapts the basic top-down induction of decision trees method towards clustering. To… Expand
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • table 2
Highly Cited
1998
Highly Cited
1998
This essay describes the Model-View-Controller (MVC) programming paradigm and methodology used in the Smalltalk-80TM programming… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Highly Cited
1993
Highly Cited
1993
We describe Charm++, an object oriented portable parallel programming language based on C++. Its design philosophy… Expand
Highly Cited
1992
Highly Cited
1992
This book is motivated largely by a desire to solve shape optimization problems that arise in applications, particularly in… Expand
Highly Cited
1984
Highly Cited
1984
The Smalltalk-80* programming language includes dynamic storage allocation, full upward funargs, and universally polymorphic… Expand
Highly Cited
1983
Highly Cited
1983
One of the most important problems faced by software developers and users is the prediction of the size of a programming system… Expand
  • table I
  • table II
  • table IV
  • figure 1
  • table V
Highly Cited
1960
Highly Cited
1960
A programming system called LISP (for LISt Processor) has been developed for the IBM 704 computer by the Artificial Intelligence… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5