Program development: From enumeration to backtracking

M. Broy; M. Wirsing

doi:10.1016/0020-0190(80)90138-6

Program development: From enumeration to backtracking

M. Broy, M. Wirsing

TUM Emeriti of Excellence

Technical University of Munich

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

3 Scopus citations

Original language	English
Pages (from-to)	193-197
Number of pages	5
Journal	Information Processing Letters
Volume	10
Issue number	4-5
DOIs	https://doi.org/10.1016/0020-0190(80)90138-6
State	Published - 1980

Keywords

Enumeration
backtracking
exhaustion
program development

Access to Document

10.1016/0020-0190(80)90138-6

Cite this

@article{b14f6dacff0b4ee7956b10af47edcfec,

title = "Program development: From enumeration to backtracking",

keywords = "Enumeration, backtracking, exhaustion, program development",

author = "M. Broy and M. Wirsing",

year = "1980",

doi = "10.1016/0020-0190(80)90138-6",

language = "English",

volume = "10",

pages = "193--197",

journal = "Information Processing Letters",

issn = "0020-0190",

publisher = "Elsevier B.V.",

number = "4-5",

}

TY - JOUR

T1 - Program development

T2 - From enumeration to backtracking

AU - Broy, M.

AU - Wirsing, M.

PY - 1980

Y1 - 1980

KW - Enumeration

KW - backtracking

KW - exhaustion

KW - program development

UR - http://www.scopus.com/inward/record.url?scp=77950058641&partnerID=8YFLogxK

U2 - 10.1016/0020-0190(80)90138-6

DO - 10.1016/0020-0190(80)90138-6

M3 - Article

AN - SCOPUS:77950058641

SN - 0020-0190

VL - 10

SP - 193

EP - 197

JO - Information Processing Letters

JF - Information Processing Letters

IS - 4-5

ER -

Program development: From enumeration to backtracking

Keywords

Access to Document

Other files and links

Cite this