Last update: Thu Jun 20 02:00:37 MDT 2019
@Article{Fleck:1984:PCT, author = "A. C. Fleck", title = "Proposal for Comparison of Types in {Pascal} and Associated Semantic Models", journal = j-COMP-LANGS, volume = "9", number = "2", pages = "71--87", month = "????", year = "1984", CODEN = "COLADA", ISSN = "0096-0551 (print), 1873-6742 (electronic)", ISSN-L = "0096-0551", bibdate = "Tue Mar 25 14:04:06 MST 1997", bibsource = "Compendex database; http://www.math.utah.edu/pub/tex/bib/complngs.bib", acknowledgement = ack-nhfb, affiliationaddress = "Univ of Iowa, Dep of Computer Science, Iowa City, IA, USA", classcodes = "C6120 (File organisation); C6140D (High level languages)", classification = "723", corpsource = "Dept. of Comput. Sci., Iowa Univ., Iowa City, IA, USA", journal-URL = "http://www.sciencedirect.com/science/journal/00960551", journalabr = "Comput Lang", keywords = "algorithm for type equivalence; computer programming --- Algorithms; computer programming languages; computer software; data structures; equivalence; formal type models; Pascal; semantic models; subtype; type equivalence; types", treatment = "P Practical", }