Sciweavers

6343 search results - page 453 / 1269
» Development of a Cartographic Language
Sort
View
VL
1998
IEEE
116views Visual Languages» more  VL 1998»
15 years 11 months ago
Programming Web-Based Applications within a Data-Flow VL
This paper shows how a general purpose data flow visual programming environment can be effectively used to find, collect and manipulate information available on the web. The discu...
Roberto Idini, Mauro Mosconi, Marco Porta
VL
1998
IEEE
172views Visual Languages» more  VL 1998»
15 years 11 months ago
VIQING: Visual Interactive Querying
This paper presents VIQING, an environment for expressing queries via direct manipulation of data visualizations. VIQING provides a simple graphical interface for connecting visua...
Chris Olston, Michael Stonebraker, Alexander Aiken...
CADE
1998
Springer
15 years 11 months ago
Automated Theorem Proving in a Simple Meta-Logic for LF
Abstract. Higher-order representation techniques allow elegant encodings of logics and programming languages in the logical framework LF, but unfortunately they are fundamentally i...
Carsten Schürmann, Frank Pfenning
ECOOP
1998
Springer
15 years 11 months ago
On Object Extension
The last few years have seen the development of statically typed object based (also called prototype-based) programming languages. Two proposals, namely the Lambda Calculus of Obje...
Luigi Liquori
EWSPT
1998
Springer
15 years 11 months ago
Programming Process Coordination in Little-JIL
Abstract. Process programming languages have not been readily adopted by practitioners. We are addressing this problem through the development of Little-JIL, a language that focuse...
Barbara Staudt Lerner, Leon J. Osterweil, Stanley ...