Last update: Thu Jun 20 02:00:37 MDT 2019
@Article{Falkman:1997:PSD,
author = "G. Falkman",
title = "Program separation and definitional higher order
programming",
journal = j-COMP-LANGS,
volume = "23",
number = "2-4",
pages = "179--206",
month = jul # "--" # dec,
year = "1997",
CODEN = "COLADA",
ISSN = "0096-0551 (print), 1873-6742 (electronic)",
ISSN-L = "0096-0551",
bibdate = "Sun Oct 25 08:22:03 MST 1998",
bibsource = "Compendex database;
http://www.math.utah.edu/pub/tex/bib/complngs.bib",
acknowledgement = ack-nhfb,
affiliation = "Chalmers Univ of Technology",
affiliationaddress = "Goteborg, Sweden",
classification = "723; 723.1; 723.1.1; C4240 (Programming and
algorithm theory)",
conference = "Proceedings of the 1994 11th International Conference
on Logic Programming, ICLP'94",
corpsource = "Dept. of Comput. Sci., Chalmers Univ. of Technol.,
Goteborg, Sweden",
journal-URL = "http://www.sciencedirect.com/science/journal/00960551",
journalabr = "Comput Lang",
keywords = "algorithm content; algorithm form; algorithm global
structure; algorithm theory; Algorithms; Computer
programming; definition finding; Definitional higher
order programming; definitional higher-order
programming; Formal languages; local operations;
locally definable algorithm; Program separation scheme;
program separation scheme; programming theory",
meetingaddress = "Santa Margherite Ligure, Italy",
meetingdate = "Jun 1994",
meetingdate2 = "06/94",
pubcountry = "UK",
treatment = "T Theoretical or Mathematical",
}