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", }