Entry Apt:1998:AIL from toplas.bib

Last update: Tue May 1 02:05:46 MDT 2012                Valid HTML 3.2!

Index sections

Top | Symbols | Math | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z

BibTeX entry

@Article{Apt:1998:AIL,
  author =       "Krzsztof R. Apt and Jacob Brunekreef and Vincent
                 Partington and Andrea Schaerf",
  title =        "{Alma-O}: An Imperative Language that Supports
                 Declarative Programming",
  journal =      j-TOPLAS,
  volume =       "20",
  number =       "5",
  pages =        "1014--1066",
  month =        sep,
  year =         "1998",
  CODEN =        "ATPSDT",
  ISSN =         "0164-0925 (print), 1558-4593 (electronic)",
  ISSN-L =       "0164-0925",
  bibdate =      "Mon Mar 1 10:04:11 MST 1999",
  bibsource =    "http://www.acm.org/pubs/toc/;
                 http://www.math.utah.edu/pub/tex/bib/toplas.bib",
  URL =          "http://www.acm.org:80/pubs/citations/journals/toplas/1998-20-5/p1014-apt/",
  abstract =     "We describe here an implemented small programming
                 language, called Alma-O, that augments the expressive
                 power of imperative programming by a limited number of
                 features inspired by the logic programming paradigm.
                 These additions encourage declarative programming and
                 make it a more attractive vehicle for problems that
                 involve search. We illustrate the use of Alma-O by
                 presenting solutions to a number of classical problems,
                 including [alpha]-[beta] search, STRIPS planning,
                 knapsack, and Eight Queens. These solutions are
                 substantially simpler than their counterparts written
                 in the imperative or in the logic programming style and
                 can be used for different purposes without any
                 modification. We also discuss here the implementation
                 of Alma-O and an operational, executable, semantics of
                 a large subset of the language.",
  acknowledgement = ack-nhfb,
  fjournal =     "ACM Transactions on Programming Languages and
                 Systems",
  keywords =     "languages",
  subject =      "{\bf D.3.2} Software, PROGRAMMING LANGUAGES, Language
                 Classifications, Nondeterministic languages**. {\bf
                 F.3.2} Theory of Computation, LOGICS AND MEANINGS OF
                 PROGRAMS, Semantics of Programming Languages,
                 Operational semantics. {\bf F.3.3} Theory of
                 Computation, LOGICS AND MEANINGS OF PROGRAMS, Studies
                 of Program Constructs, Control primitives. {\bf I.2.8}
                 Computing Methodologies, ARTIFICIAL INTELLIGENCE,
                 Problem Solving, Control Methods, and Search,
                 Backtracking. {\bf I.5.5} Computing Methodologies,
                 PATTERN RECOGNITION, Implementation, Special
                 architectures.",
}

Related entries