Skip to main content Accessibility help

We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.

Close cookie message
×
  1. Home
  2. Journals
  3. The Knowledge Engineering Review
  4. Volume 7
Journal Home
Refine listing

Refine listing

Access:
Publication date:

Actions for selected content:

Select all | Deselect all
  • View selected items
  • Export citations
  • Download PDF (zip)
  • Save to Kindle
  • Save to Dropbox
  • Save to Google Drive

Save Search

You can save your searches here and later view and run them again in "My saved searches".

Please provide a title, maximum of 40 characters.
Cancel
×
< Back to all volumes

Volume 7 - December 1992

Contents

Page 2 of 3

Book Reviews

Research Article

  • Knowledge-based systems, Lisp, and very high level implementation languages*

  • Eric Sandewall
  • Published online by Cambridge University Press:
    07 July 2009, pp. 147-155

  • It is usually agreed that programming languages for implementing (other) programming languages, or ‘implementation languages’, should be simple low-level languages which are close to the machine code and to the operating system. In this paper it is argued that a very high level implementation language is a good idea, of particular importance for knowledge-based systems, and that Lisp (as a language and as a system) is very well suited to be a very high level implementation language. The significance of special-purpose programming languages is also discussed, and the requirements that they have for a very high level implementation language are considered.

Book Reviews

Research Article

  • Knowledge-Based Software Engineering

  • W. Lewis Johnson
  • Published online by Cambridge University Press:
    07 July 2009, pp. 367-369

  • The 7th Annual Knowledge-Based Software Engineering Conference was held at the McLean Hilton at Tysons Comer, in McLean, Virginia, on Sept. 20–23, 1992. This conference was sponsored by Rome Laboratory and held in cooperation with the IEEE Computer Society, ACM SIGART and SIGSOFT, and the American Association for Artificial Intelligence (AAAI).

  • Trends in applying abstract interpretation

  • Andrew Bowles
  • Published online by Cambridge University Press:
    07 July 2009, pp. 157-171

  • Abstract interpretation is a principled approach to inferring properties of a program's execution by simulating that execution using an interpreter which computes over some abstraction of the program's usual, concrete domain, and which collects the information of interest during the execution. Abstract interpretation has been used as the basis of research in logic and functional programming, particularly in applications concerned with compiler optimizations. However, abstract interpretation has the potential to be used in other applications, such as debugging or verification of programs. In this paper we review the use of abstract interpretation to both compiler optimizations and to other applications, attempting to give a flavour of the kind of information it is possible to infer and some of the issues involved

Book Reviews

From the Journals

Book Reviews

Front matter

  • KER volume 7 issue 1 Cover and Front matter

  • Published online by Cambridge University Press:
    07 July 2009, pp. f1-f2
    • Article
      • You have access
    • PDF
    • Export citation

  • KER volume 7 issue 3 Cover and Front matter

  • Published online by Cambridge University Press:
    07 July 2009, pp. f1-f2
    • Article
      • You have access
    • PDF
    • Export citation

Book Reviews

Back matter

  • KER volume 7 issue 3 Cover and Back matter

  • Published online by Cambridge University Press:
    07 July 2009, pp. b1-b3
    • Article
      • You have access
    • PDF
    • Export citation

Book Reviews

From the Journals

Back matter

  • KER volume 7 issue 1 Cover and Back matter

  • Published online by Cambridge University Press:
    07 July 2009, pp. b1-b3
    • Article
      • You have access
    • PDF
    • Export citation

Book Reviews

List of Referees

From the Journals

Front matter

  • KER volume 7 issue 4 Cover and Front matter

  • Published online by Cambridge University Press:
    07 July 2009, pp. f1-f2
    • Article
      • You have access
    • PDF
    • Export citation

Page 2 of 3