Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 232,788,150 papers from all fields of science
Search
Sign In
Create Free Account
High-level programming language
Known as:
High level languages
, High and low level programming languages
, HLL
Expand
In computer science, a high-level programming language is a programming language with strong abstraction from the details of the computer. In…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
ALGOL 58
ARC Macro Language
Append
Atmel AVR
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2006
Highly Cited
2006
Formal Verification of SystemC Designs Using a Petri-Net Based Representation
D. Karlsson
,
P. Eles
,
Zebo Peng
Proceedings of the Design Automation & Test in…
2006
Corpus ID: 17046676
This paper presents an effective approach to formally verify SystemC designs. The approach translates SystemC models into a Petri…
Expand
Highly Cited
1999
Highly Cited
1999
A Free Form Feature Taxonomy
M. Fontana
,
F. Giannini
,
Maria Meirana
Computer graphics forum (Print)
1999
Corpus ID: 16673090
In this paper the notion of free form feature for aesthetic design is presented. The design of industrial products constituted by…
Expand
Highly Cited
1999
Highly Cited
1999
COMPLEMENTARY FORAGING BEHAVIORS ALLOW COEXISTENCE OF TWO CONSUMERS
W. Wilson
,
C. Osenberg
,
R. Schmitt
,
R. Nisbet
1999
Corpus ID: 55084742
We developed a mathematical model based on the microalgal-gastropod system studied by Schmitt, in which two coexisting consumers…
Expand
Highly Cited
1998
Highly Cited
1998
Efficient layering for high speed communication: Fast Messages 2.x
Mario Lauria
,
S. Pakin
,
A. Chien
Proceedings. The Seventh International Symposium…
1998
Corpus ID: 15323563
The authors describe their experience designing, implementing, and evaluating two generations of the high performance…
Expand
Highly Cited
1995
Highly Cited
1995
Theoretical Evaluation of the Vapor Compression Cycle With a Liquid-Line/Suction-Line Heat Exchanger, Economizer, and Ejector (NISTIR 5606)
P. Domanski
1995
Corpus ID: 92254833
The report presents a theoretical analysis of three vapor compression cycles which are derived from the Rankine cycle by…
Expand
Highly Cited
1993
Highly Cited
1993
Adaptive Systems : from intelligent tutoring to autonomous agents 1
D. Benyon
,
Dianne M. Murray
1993
Corpus ID: 1739405
Computer systems which can automatically alter aspects of their functionality or interface to suit the needs of individuals or…
Expand
Highly Cited
1992
Highly Cited
1992
New imaging mode in atomic-force microscopy based on the error signal
C. Putman
,
K. O. van der Werf
,
B. D. de Grooth
,
N. F. van Hulst
,
J. Greve
,
P. Hansma
Photonics West - Lasers and Applications in…
1992
Corpus ID: 56541167
A new imaging mode, the error signal mode, is introduced to atomic force microscopy. In this mode, the error signal is displayed…
Expand
Highly Cited
1989
Highly Cited
1989
Design and Implementation of ET++, a Seamless Object-Oriented Application Framework 1
André Weinand
,
E. Gamma
,
Rudolph Marty
1989
Corpus ID: 17008767
ET++ is a homogeneous object-oriented class library integrating user interface building blocks, basic data structures, and…
Expand
Review
1989
Review
1989
Knowledge Programming in Loops: Report on an Experimental Course
M. Stefik
,
D. Bobrow
,
S. Mittal
,
L. Conway
The AI Magazine
1989
Corpus ID: 2712977
Early this year fifty people took an experimental course at Xerox PARC on knowledge programming in Loops During the course, they…
Expand
Highly Cited
1985
Highly Cited
1985
Simulation of critical IC fabrication processes using advanced physical and numerical methods
W. Jungling
,
P. Pichler
,
S. Selberherr
,
E. Guerrero
,
H. Potzl
IEEE Transactions on Electron Devices
1985
Corpus ID: 6371838
Critical steps of IC fabrication are simulated by one- and two-dimensional computer programs using advanced physical models. Our…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE