@TechReport{OlivaWand92a,
  author = 	"Dino P. Oliva and Mitchell Wand",
  title = 	"A Verified Run-Time Structure for Pure PreScheme",
  institution = 	"Northeastern University College of Computer Science",
  year = 	"1992",
  type = 	"Technical Report",
  number = 	"NU-CCS-92-97",
  OPTaddress = 	"",
  OPTmonth = 	sep,
  OPTnote = 	"",
  abstract =    "This document gives a summary of activities under MITRE Corporation Contract
Number F19628-89-C-0001.  It gives an operational semantics of an abstract
machine for Pure PreScheme and of its implementation as a run-time structure
on an Motorola 68000 microprocessor.  The relationship between these two
models is stated formally and proved."
}

{"_id":"6zvDfsichSi2C6G7W","bibbaseid":"oliva-wand-averifiedruntimestructureforpureprescheme-1992","downloads":0,"creationDate":"2017-04-23T20:31:12.571Z","title":"A Verified Run-Time Structure for Pure PreScheme","author_short":["Oliva, D. P.","Wand, M."],"year":1992,"bibtype":"techreport","biburl":"http://www.ccs.neu.edu/home/wand/Bibliography.bib","bibdata":{"bibtype":"techreport","type":"Technical Report","author":[{"firstnames":["Dino","P."],"propositions":[],"lastnames":["Oliva"],"suffixes":[]},{"firstnames":["Mitchell"],"propositions":[],"lastnames":["Wand"],"suffixes":[]}],"title":"A Verified Run-Time Structure for Pure PreScheme","institution":"Northeastern University College of Computer Science","year":"1992","number":"NU-CCS-92-97","optaddress":"","optmonth":"September","optnote":"","abstract":"This document gives a summary of activities under MITRE Corporation Contract Number F19628-89-C-0001. It gives an operational semantics of an abstract machine for Pure PreScheme and of its implementation as a run-time structure on an Motorola 68000 microprocessor. The relationship between these two models is stated formally and proved.","bibtex":"@TechReport{OlivaWand92a,\n author = \t\"Dino P. Oliva and Mitchell Wand\",\n title = \t\"A Verified Run-Time Structure for Pure PreScheme\",\n institution = \t\"Northeastern University College of Computer Science\",\n year = \t\"1992\",\n type = \t\"Technical Report\",\n number = \t\"NU-CCS-92-97\",\n OPTaddress = \t\"\",\n OPTmonth = \tsep,\n OPTnote = \t\"\",\n abstract = \"This document gives a summary of activities under MITRE Corporation Contract\nNumber F19628-89-C-0001. It gives an operational semantics of an abstract\nmachine for Pure PreScheme and of its implementation as a run-time structure\non an Motorola 68000 microprocessor. The relationship between these two\nmodels is stated formally and proved.\"\n}\n\n","author_short":["Oliva, D. P.","Wand, M."],"key":"OlivaWand92a","id":"OlivaWand92a","bibbaseid":"oliva-wand-averifiedruntimestructureforpureprescheme-1992","role":"author","urls":{},"downloads":0,"html":""},"search_terms":["verified","run","time","structure","pure","prescheme","oliva","wand"],"keywords":[],"authorIDs":[],"dataSources":["zM8mNPR4ZkAHKtvDs"]}