Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,201,840 papers from all fields of science
Search
Sign In
Create Free Account
Very high-level programming language
Known as:
Very High Level Programming Language
, VHLPL
, Goal-oriented programming language
Expand
A very high-level programming language (VHLL) is a programming language with a very high level of abstraction, used primarily as a professional…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
20 relations
*Lisp (StarLisp)
Alice
Domain-specific language
Fifth-generation programming language
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Taxonomy-based relaxation of query answering in relational databases
D. Martinenghi
,
Riccardo Torlone
The VLDB journal
2014
Corpus ID: 11355769
Traditional information search in which queries are posed against a known and rigid schema over a structured database is shifting…
Expand
2007
2007
Hash Crash and Beyond
Paul M. Dorfman
,
Lessia S. Shajenko
,
K. Vyverman
2007
Corpus ID: 62383112
In SAS® Version 9.1, the hash table - the very first object introduced via the DATA Step Component Interface in Version 9.0 - has…
Expand
2007
2007
Kernel Development for High Assurance
Kevin Elphinstone
,
Gerwin Klein
,
Philip Derrin
,
Timothy Roscoe
,
Gernot Heiser
2007
Corpus ID: 16935171
In the paper we examine one of the issues in designing, specifying, implementing and formally verifying a small operating system…
Expand
2003
2003
On the use of Graph Transformations in the Formal Specification of Computer-Based Systems kle
G. Karsai
,
Aditya Agrawal
,
Feng Shi
,
Jonathan Sprin
2003
Corpus ID: 17425710
The rt a odel-based engineering process. As it was discussed in a previous paper [1], there are several for doing this. (1) We…
Expand
2003
2003
A natural language interface for an intelligent universal situational awareness (USA) system
S. Rubin
,
Gordon K. Lee
The 12th IEEE International Conference on Fuzzy…
2003
Corpus ID: 12967220
Detecting and countering potential terrorist threats requires a synergistic conjunction of intelligent technologies. The paper…
Expand
1992
1992
Metaprogramming for the Creation of Scientific Software
G. Berkooz
,
Paul Chew
,
J. Cremer
,
Richard S. Palmer
,
R. Zippel
1992
Corpus ID: 14602480
A major cost in scientific computing is the creation of software that performs the numerical computations. This paper presents…
Expand
1988
1988
Future directions in programming languages
Guy L. Steele
Proceedings. International Conference on…
1988
Corpus ID: 39858871
Possibilities for the programming languages of the future are explored. Projections are based on past accomplishments and future…
Expand
1984
1984
Use of Model VHLL in Software Development and Maintenance
E. Lock
,
B. Szymański
,
N. Prywes
IEEE Computer Society International Conference
1984
Corpus ID: 27184356
1984
1984
Architecture for VHLL: a direct execution approach
D. Dromard
,
F. Dromard
1984
Corpus ID: 63356030
1977
1977
A Summary of the PSI Program Synthesis System
C. Green
International Joint Conference on Artificial…
1977
Corpus ID: 26263841
This paper describes the current status of the PSI program synthesis system. It allows program specification dialogues using…
Expand