Lucid

Known as: Intensional programming 
Lucid is a dataflow programming language. It is designed to experiment with non-von Neumann programming models. It was designed by Bill Wadge and Ed… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1935-2018
020406019352017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Convolutional networks reach top quality in pixel-level video object segmentation but require a large amount of training data (1k… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 2
Is this relevant?
2017
2017
Convolutional networks reach top quality in pixel-level object tracking but require a large amount of training data (1k∼10k) to… (More)
Is this relevant?
2012
2012
In this paper we remedy one of the most annoying weaknesses of Lucid and indexical languages in general: the lack of higher-order… (More)
Is this relevant?
2009
2009
Although the concept of ‘lucid dreaming’ was fi rst coined by Frederik Willems van Eeden, a Dutch psychiatrist, and introduced at… (More)
Is this relevant?
Highly Cited
2007
Highly Cited
2007
Touch is a compelling input modality for interactive devices; however, touch input on the small screen of a mobile device is… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2003
2003
ive a digital computer a problem in arithmetic , and it will grind away methodically , tirelessly, at gigahertz speed, until… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
1987
Highly Cited
1977
Highly Cited
1977
Lucid is a formal system in which programs can be written and proofs of programs carried out. The proofs are particularly easy to… (More)
Is this relevant?
1977
1977
The intermittent assertion technique of Burstall can be formulated and made rigorous in the formal-system/programming-language… (More)
Is this relevant?
Highly Cited
1976
Highly Cited
1976
Lucid is both a programming language and a formal system for proving properties of Lucid programs. The programming language is… (More)
Is this relevant?