Franz Lisp

In computer programming, Franz Lisp was a Lisp system written at UC Berkeley by the students of Professor Richard J. Fateman, based largely on… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1981-2005
051019812005

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
1989
1989
Many scientific computations involve two stages. First, the mathematical formulation of the problem at hand produces procedures… (More)
  • figure 1
Is this relevant?
1988
1988
A description is given of Troubleshooter, a system for diagnosing problems in the Datakit Virtual Circuit Switch networking… (More)
  • table I
  • figure 2
  • figure 3
  • figure 5
  • figure 6
Is this relevant?
1987
1987
It has been recognized that neither of the two major programming approaches, procedural and non-procedural, can be optimal for… (More)
  • figure 1
Is this relevant?
1987
1987
An automatic synthesis tool for CMOS op amps (OPASYN) has been developed. The program starts from one of a number of op amp… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?
1987
1987
This article describes the Indexing Aid Project for conducting research in the areas of knowledge representation and indexing for… (More)
Is this relevant?
1986
1986
This paper describes a set of techniques for the synthesis of pipelined data paths, and presents Sehwa, a program which performs… (More)
  • figure 2
  • figure 2-2
  • figure 4
  • figure 3-1
  • figure 3-2
Is this relevant?
Highly Cited
1986
Highly Cited
1986
MAHA is a program which implements an algorithm for register level synthesis of data paths from a data flow specification. The… (More)
  • table 1
  • figure 1
  • table 2
  • figure 2
  • figure 3
Is this relevant?
1986
1986
n recent years, escalating maintenance costs for electronic equipment and the increasing power of artificial intelligence methods… (More)
Is this relevant?
1985
1985
 
Is this relevant?
1983
1983
MBR is a r e a s o n i n g s y s t e m w h i c h a l l o w s m u l t i p l e b e l l e t s ( b e l i e t s t r o m m u l t i p l… (More)
Is this relevant?