New programming languages for (1974)

by Bertram Raphael
Venue:Communications of the ACM
Citations:8 - 0 self

Active Bibliography

4 Adept - A Heuristic Program For Proving Theorems Of Group Theory – L]is Mark Norton, Departentel Gittee, Lewis Mark Norton - 1966
2 The cognitive systems paradigm – Pat Langley - 2012
DESIGN AND IMPLEMENTATION OF FLIP, A LISP FORMAT DIRECTED LIST PROCESSOR – Warren Teitelman, Contract Monitor, Stanley R. Petrick - 1967
Evolving TXL – Adrian Thurston James
6 Efficient Submatch Addressing for Regular Expressions – Ville Laurikari - 2001
Here the term – unknown authors
2 Redesigning the String Hash Table, Burst Trie, and BST to Exploit Cache – Nikolas Askitis, JUSTIN ZOBEL - 2011
PAGE #s: 14 FIGURES: Q TABLES: QIteration Abstraction in Sather – S. Murer, Credit Suisse, S. Omohundro Neci, Stephan Murer, Stephen Omohundro, David Stoutamiref, Clemens Szyperski - 1995
23 A Functional Database – Phil Trinder, Phil Trinder - 1989
1 SIMPLIFYING THE ANALYSIS OF C++ PROGRAMS – Yuriy Solodkyy, Jaakko Järvi, Lawrence Rauchwerger, Sergiy Butenko, Duncan M. (hank Walker - 2013
23 Iteration Abstraction in Sather – Stephan Murer, Stephen Omohundro, David Stoutamire, Clemens Szyperski - 1996
CHAPTER 2. – Rana Rattagupta, R. M. Lfa, Inrrcixx Ticn, Anfcbtia Reriwval System
Internal versus External DSLs for Trace Analysis ⋆ Extended Abstract – Howard Barringer, Klaus Havelund
5 Modelling Social Interaction Attitudes in Multi-Agent Systems – Susanne Kalenka - 2001
11 Theorem-Proving by Resolution as a Basis for Question-Answering Systems – Cordell Green
28 Domain-specific automatic programming – David Barstow - 1985
42 Theorem-proving by resolution as a basis for question-answering systems, in – Cordell Green - 1969
26 The Applications of Theorem Proving to Question-Answering Systems – Claude Cordell Green, Arpa Order No, Claude Cordell Green, Claude Cordell Green - 1969
224 Application of theorem proving to problem solving – Cordell Green - 1969