Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,397,761 papers from all fields of science
Search
Sign In
Create Free Account
Warren Abstract Machine
Known as:
WAM
, Warren
In 1983, David H. D. Warren designed an abstract machine for the execution of Prolog consisting of a memory architecture and an instruction set. This…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
7 relations
ALF
Abstract machine
Compiler
Prolog
Expand
Broader (1)
Logic programming
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2009
Highly Cited
2009
Assessment of Trout Passage through Culverts in a Large Montana Drainage during Summer Low Flow
D. Burford
,
Thomas E. McMahon
,
J. Cahoon
,
Matthew Blank
2009
Corpus ID: 37362518
Abstract We used a combination of methods to assess the degree of fish passage restriction from road culverts during summer low…
Expand
Highly Cited
2009
Highly Cited
2009
Phase field approach to heterogeneous crystal nucleation in alloys
J. Warren
,
T. Pusztai
,
L. Környei
,
L. Gránásy
2009
Corpus ID: 34164987
We extend the phase field model of heterogeneous crystal nucleation developed recently [L. Gr\'an\'asy et al., Phys. Rev. Lett…
Expand
Highly Cited
2005
Highly Cited
2005
Development of the HXD-II wide-band all-sky monitor onboard Astro-E2
K. Yamaoka
,
M. Ohno
,
+40 authors
D. Yonetoku
IEEE Transactions on Nuclear Science
2005
Corpus ID: 20348255
The hard X-ray detector (HXD-II) is one of the three scientific instruments onboard Japanese X-ray astronomy satellite Astro-E2…
Expand
Highly Cited
1999
Highly Cited
1999
Effectiveness of current farming systems in the control of dryland salinity
G. Walker
,
M. Gilfedder
,
J. Williams
1999
Corpus ID: 67795771
Highly Cited
1997
Highly Cited
1997
The network society
J. V. Dijk
1997
Corpus ID: 56922979
The Network Society is now more than ever the essential guide to the past, consequences and future of digital communication…
Expand
Highly Cited
1986
Highly Cited
1986
D-PATR: A Development Environment for Unification-Based Grammars
L. Karttunen
International Conference on Computational…
1986
Corpus ID: 18054449
I)-PATR is a development environment for unification-based grammars on Xerox l i00 series work stations. It is based on the PATR…
Expand
Review
1985
Review
1985
Performance studies of a Prolog machine architecture
T. Dobry
,
A. Despain
,
Y. Patt
International Symposium on Computer Architecture
1985
Corpus ID: 14367172
The PLM is a co-processor a r c h i t e c t u r e designed for efficient execu t ion of Prolog programs. It is the first p ro to…
Expand
Review
1985
Review
1985
Tutorial on the Warren abstract machine for computational logic
J. R. Gabriel
,
Tim Lindholm
,
E. Lusk
,
R. Overbeek
1985
Corpus ID: 58404788
Tutorial description of the Warren machine with a basic introduction to the motivation of the machine and the instructions that…
Expand
Highly Cited
1982
Highly Cited
1982
Using Slots and Modifiers in Logic Grammars for Natural Language
M. McCord
Artificial Intelligence
1982
Corpus ID: 5165290
Highly Cited
1974
Highly Cited
1974
Semantic feature representations for normal and aphasic language
E. Zurif
,
A. Caramazza
,
R. Myerson
,
J. Galvin
1974
Corpus ID: 17830669
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