Lava

Known as: Lava programming language, LavaPE 
Lava is an experimental, visual object-oriented, interpreter-based programming language with an associated programming environment (Lava Programming… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1965-2017
05010019652017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
Kansas Lava is a functional hardware description language implemented in Haskell. In the course of attempting to generate ever… (More)
  • figure 1
  • figure 2
Is this relevant?
2009
2009
Kansas Lava is a domain specific language for hardware description. Though there have been a number of previous implementations… (More)
  • figure 1
  • table 1
  • figure 3
Is this relevant?
Highly Cited
2007
Highly Cited
2007
In recent literature, network coding has emerged as a promising information theoretic approach to improve the performance of both… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 3
  • figure 5
Is this relevant?
2007
2007
This paper reports on some initial experiences developing and evaluating a games-based approach to explorative learning. The… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Review
2006
Review
2006
The Hawaiian Islands offer great potential for evolutionary research. The discovery of specialized cavernicoles among the… (More)
  • figure 1
  • figure 2
Is this relevant?
2004
2004
  • Satnam Singh
  • 17th International Conference on VLSI Design…
  • 2004
We present Lava, a hardware description language in which concise circuit descriptions generate compact high performance… (More)
Is this relevant?
2004
2004
Some meteorites are pieces of lava flows. They have the expected minerals present and the crystals are intertwined in a… (More)
Is this relevant?
2003
2003
The Lava system provides novel techniques for representing system level specifications which are supported by a design flow that… (More)
  • figure 1
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Animating lava flowing down the slopes of a volcano brings several challenges: modeling the mechanical features of lava and how… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1998
Highly Cited
1998
Lava is a tool to assist circuit designers in specifying, designing, verifying and implementing hardware. It is a collection of… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?