On deriving a LISP program from its specification

F.E.J. Kruseman Aretz

doi:10.1016/0167-6423(88)90014-7

On deriving a LISP program from its specification

F.E.J. Kruseman Aretz

Mathematics and Computer Science

Research output: Contribution to journal › Article › Academic › peer-review

2 Downloads (Pure)

Abstract

The design considerations for a LISP program computing the solutions to a well-known AI-problem are presented. The resulting program and its output are listed in full.

Original language	English
Pages (from-to)	19-32
Number of pages	14
Journal	Science of Computer Programming
Volume	10
Issue number	1
DOIs	https://doi.org/10.1016/0167-6423(88)90014-7
Publication status	Published - 1988

Access to Document

10.1016/0167-6423(88)90014-7

Cite this

@article{25aaed6d8aaa4b54be6a951387103aa3,

title = "On deriving a LISP program from its specification",

abstract = "The design considerations for a LISP program computing the solutions to a well-known AI-problem are presented. The resulting program and its output are listed in full.",

author = "\{Kruseman Aretz\}, F.E.J.",

year = "1988",

doi = "10.1016/0167-6423(88)90014-7",

language = "English",

volume = "10",

pages = "19--32",

journal = "Science of Computer Programming",

issn = "0167-6423",

publisher = "Elsevier B.V.",

number = "1",

}

TY - JOUR

T1 - On deriving a LISP program from its specification

AU - Kruseman Aretz, F.E.J.

PY - 1988

Y1 - 1988

N2 - The design considerations for a LISP program computing the solutions to a well-known AI-problem are presented. The resulting program and its output are listed in full.

AB - The design considerations for a LISP program computing the solutions to a well-known AI-problem are presented. The resulting program and its output are listed in full.

U2 - 10.1016/0167-6423(88)90014-7

DO - 10.1016/0167-6423(88)90014-7

M3 - Article

SN - 0167-6423

VL - 10

SP - 19

EP - 32

JO - Science of Computer Programming

JF - Science of Computer Programming

IS - 1

ER -

On deriving a LISP program from its specification

Abstract

Access to Document

Fingerprint

Cite this