Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 231,166,403 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
1997
Highly Cited
1997
Conductive Blends of Thermally Dodecylbenzene Sulfonic Acid-Doped Polyaniline with Thermoplastic Polymers
M. Zilberman
,
G. Titelman
,
A. Siegmann
,
Y. Haba
,
M. Narkis
,
David Alperstein
1997
Corpus ID: 8937811
In the present study, a conductive polyaniline-dodecyl benzene sulfonic acid (PANI-DBSA) complex, prepared by a thermal doping…
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
1986
Highly Cited
1986
A Discrete Fourier-Cosine Transform Chip
M. Vetterli
,
A. Ligtenberg
IEEE J. Sel. Areas Commun.
1986
Corpus ID: 12294290
An 8-point Fourier-cosine transform chip designed for a data rate of 100 Mbits/s is described. The top-down design is presented…
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