{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T18:52:14Z","timestamp":1648839134818},"reference-count":40,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1998,6,1]],"date-time":"1998-06-01T00:00:00Z","timestamp":896659200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Systems and Software"],"published-print":{"date-parts":[[1998,6]]},"DOI":"10.1016\/s0164-1212(97)10017-6","type":"journal-article","created":{"date-parts":[[2003,4,5]],"date-time":"2003-04-05T02:09:52Z","timestamp":1049508592000},"page":"161-173","source":"Crossref","is-referenced-by-count":2,"title":["A practical language and toolkit for high-integrity tools"],"prefix":"10.1016","volume":"41","author":[{"given":"I","family":"Toyn","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D.M","family":"Cattrall","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.A","family":"McDermid","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.L","family":"Jacob","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0164-1212(97)10017-6_BIB1","unstructured":"Anderson, T. (Ed.), 1989. Dependability of Resilient Computers. Blackwell Professional Books, Oxford"},{"key":"10.1016\/S0164-1212(97)10017-6_BIB2","doi-asserted-by":"crossref","unstructured":"Augustsson, L., 1985. Compiling pattern matching. In: Jouannaud, J.-P. (Ed.), Functional Programming Languages and Computer Architecture, Nancy, France. Lecture Notes in Computer Science, vol. 201. Springer, Berlin, pp. 368\u2013380","DOI":"10.1007\/3-540-15975-4_48"},{"key":"10.1016\/S0164-1212(97)10017-6_BIB3","unstructured":"Bird, R., Wadler, P., 1988. Introduction to Functional Programming. Prentice-Hall, Englewood Cliffs, NJ"},{"key":"10.1016\/S0164-1212(97)10017-6_BIB4","unstructured":"Bundy, A., 1983. The Computer Modelling of Mathematical Reasoning. Academic Press, New York"},{"issue":"1","key":"10.1016\/S0164-1212(97)10017-6_BIB5","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1145\/321992.321996","article-title":"A transformation system for developing recursive programs","volume":"24","author":"Burstall","year":"1977","journal-title":"Journal of the ACM"},{"issue":"2","key":"10.1016\/S0164-1212(97)10017-6_BIB6","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1016\/0167-6423(87)90019-0","article-title":"Basic polymorphic typechecking","volume":"8","author":"Cardelli","year":"1987","journal-title":"Science of Computer Programming"},{"key":"10.1016\/S0164-1212(97)10017-6_BIB7","doi-asserted-by":"crossref","unstructured":"Carr\u00e9, B., 1989. Reliable programming in standard languages. In: C. Sennett (Ed.), High-integrity Software, Computer Systems Series, Ch. 5. Pitman, London, Program Validation Ltd","DOI":"10.1007\/978-1-4684-5775-9_5"},{"key":"10.1016\/S0164-1212(97)10017-6_BIB8","unstructured":"Carr\u00e9, B., Jennings, T., Maclennan, F., Farrow, P., Garnsworthy, J., 1988. SPARK \u2013 The SPADE Ada Kernel, 3.1 ed, Program Validation Ltd"},{"key":"10.1016\/S0164-1212(97)10017-6_BIB9","doi-asserted-by":"crossref","unstructured":"Cattrall, D., 1993. The design and implementation of a relational programming system. D.Phil. Thesis YCST 93\/01, Department of Computer Science, University of York, England","DOI":"10.1145\/165180.165206"},{"key":"10.1016\/S0164-1212(97)10017-6_BIB10","doi-asserted-by":"crossref","unstructured":"Cattrall, D., Runciman, C., 1992. A relational programming system with inferred representations. In: Bruynooghe, M., Wirsing, M. (Eds.), Fourth International Symposium, Programming Language Implementation and Logic Programming, Leuven, Belgium. Lecture Notes in Computer Science, vol. 631. Springer, Berlin, pp. 475\u2013476.","DOI":"10.1007\/3-540-55844-6_156"},{"key":"10.1016\/S0164-1212(97)10017-6_BIB11","doi-asserted-by":"crossref","unstructured":"Cattrall, D., Runciman, C., 1993. Widening the representation bottleneck: A functional implementation of relational programming. In: Williams, J. (Ed.), FPCA'93: Conference on Functional Programming Languages and Computer Architecture, Copenhagen, Denmark. ACM, New York, pp. 191\u2013200","DOI":"10.1145\/165180.165206"},{"key":"10.1016\/S0164-1212(97)10017-6_BIB12","doi-asserted-by":"crossref","unstructured":"Chapman, R., Burns, A., Wellings, A., 1994. Integrated program proof and worst-case timing analysis of SPARK Ada. In: Pugh, W. (Ed.), PLDI'94: ACM workshop on language, compiler and tool support for real-time systems. ACM, New York","DOI":"10.1145\/192867.192873"},{"issue":"2","key":"10.1016\/S0164-1212(97)10017-6_BIB13","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1049\/sej.1991.0007","article-title":"The choice of computer languages for use in safety-critical systems","volume":"6","author":"Cullyer","year":"1991","journal-title":"Software Engineering Journal"},{"key":"10.1016\/S0164-1212(97)10017-6_BIB14","unstructured":"DRA, 1993. TDF Specification. St Andrews Rd, Malvern, Worcestershire: Defence Research Agency. Issue 2.1.0"},{"key":"10.1016\/S0164-1212(97)10017-6_BIB15","unstructured":"Field, A., Harrison, P., 1988. Functional Programming. Addison-Wesley, Reading, MA"},{"key":"10.1016\/S0164-1212(97)10017-6_BIB16","unstructured":"Garnsworthy, J., O'Neil, I., Carr\u00e9, B., 1993. Automatic proof of the absence of run-time errors. In: Collingbourne, L. (Ed.), Ada: Towards Maturity. IOS Press, Amsterdam, pp. 108\u2013122"},{"key":"10.1016\/S0164-1212(97)10017-6_BIB17","doi-asserted-by":"crossref","unstructured":"Grosch, J., Emmelmann, H., 1990. A tool box for compiler construction. In: Hammer, D. (Ed.), Compiler Compilers, Third International Workshop, CC'90, Schwerin, FRG. Lecture Notes in Computer Science vol. 477. Springer, Berlin, pp. 106\u2013116","DOI":"10.1007\/3-540-53669-8_77"},{"key":"10.1016\/S0164-1212(97)10017-6_BIB18","unstructured":"Jordan, D., Locke, C., McDermid, J., Parker, C., Sharp, B., Toyn, I., 1994. Literate formal development of Ada from Z for safety critical applications. In: Proceedings of SAFECOMP'94, Instrument Society of America, pp. 1\u201310"},{"key":"10.1016\/S0164-1212(97)10017-6_BIB19","unstructured":"Kernighan, B., Ritchie, D., 1988. The C Programming Language, 2nd ed. Prentice-Hall, Englewood Cliffs, NJ"},{"issue":"3","key":"10.1016\/S0164-1212(97)10017-6_BIB20","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1145\/24039.24040","article-title":"IDL: Sharing intermediate representations","volume":"9","author":"Lamb","year":"1987","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10.1016\/S0164-1212(97)10017-6_BIB21","doi-asserted-by":"crossref","unstructured":"Lipps, P., M\u00f6ncke, U., Wilhelm, R., 1988. OPTRAN \u2013 a language\/system for the specification of program transformations: System overview and experiences. In: Compiler Compilers and High Speed Compilation. 2nd CCHSC Workshop, Berlin. Lecture Notes in Computer Science, vol. 371. Springer, Berlin, pp. 52\u201365","DOI":"10.1007\/3-540-51364-7_4"},{"issue":"3","key":"10.1016\/S0164-1212(97)10017-6_BIB22","doi-asserted-by":"crossref","first-page":"348","DOI":"10.1016\/0022-0000(78)90014-4","article-title":"A theory of type polymorphism in programming","volume":"17","author":"Milner","year":"1978","journal-title":"Journal of Computer and System Sciences"},{"key":"10.1016\/S0164-1212(97)10017-6_BIB23","unstructured":"MoD, 1991a. The procurement of safety critical software in defence equipment. INTERIM Defence Standard 00-55 (PART 1: REQUIREMENTS)\/Issue 1"},{"key":"10.1016\/S0164-1212(97)10017-6_BIB24","unstructured":"MoD, 1991b. The procurement of safety critical software in defence equipment. INTERIM Defence Standard 00-55 (PART 2: GUIDANCE)\/Issue 1"},{"key":"10.1016\/S0164-1212(97)10017-6_BIB25","unstructured":"MoD, 1993. Safety management requirements for defence systems containing programmable electronics. Draft Defence Standard 00-56"},{"key":"10.1016\/S0164-1212(97)10017-6_BIB26","unstructured":"Morgan, C., 1994. Programming from Specifications, 2nd ed. Prentice-Hall, Englewood Cliffs, NJ"},{"key":"10.1016\/S0164-1212(97)10017-6_BIB27","unstructured":"Paulson, L., 1992. ML for the Working Programmer, Cambridge University Press, Cambridge"},{"key":"10.1016\/S0164-1212(97)10017-6_BIB28","unstructured":"Jones, S.P., 1987. The Implementation of Functional Programming Languages. Prentice-Hall, Englewood Cliffs, NJ"},{"key":"10.1016\/S0164-1212(97)10017-6_BIB29","unstructured":"PVL, 1994. Formal Semantics of SPARK. Program Validation Limited (2 volumes)"},{"key":"10.1016\/S0164-1212(97)10017-6_BIB30","unstructured":"Reade, C., 1989. Elements of Functional Programming. Addison-Wesley, Reading, MA"},{"key":"10.1016\/S0164-1212(97)10017-6_BIB31","unstructured":"RTCA, 1992. Software considerations in airborne systems and equipment certification. Prepared by RTCA SC-167\/EUROCAE WG-12"},{"issue":"1","key":"10.1016\/S0164-1212(97)10017-6_BIB32","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1017\/S0956796800000629","article-title":"Incremental, exploratory and transformational environment for lazy functional programming","volume":"3","author":"Runciman","year":"1993","journal-title":"Journal of Functional Programming"},{"issue":"2","key":"10.1016\/S0164-1212(97)10017-6_BIB33","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1017\/S0956796800000708","article-title":"Heap profiling of lazy functional programs","volume":"3","author":"Runciman","year":"1993","journal-title":"Journal of Functional Programming"},{"key":"10.1016\/S0164-1212(97)10017-6_BIB34","doi-asserted-by":"crossref","unstructured":"Sansom, P., Jones, S.P., 1995. Time and space profiling for non-strict higher-order functional languages. In: Proceedings of the 22nd Annual ACM Symposium on the Principles of Programming Languages","DOI":"10.1145\/199448.199531"},{"key":"10.1016\/S0164-1212(97)10017-6_BIB35","doi-asserted-by":"crossref","unstructured":"Sennett, C. (Ed.), 1989. High-integrity Software. Computer Systems Series. Pitman, London","DOI":"10.1007\/978-1-4684-5775-9"},{"key":"10.1016\/S0164-1212(97)10017-6_BIB36","unstructured":"Spivey, J., 1992. The Z Notation: A Reference Manual, 2nd ed. Prentice-Hall, Englewood Cliffs, NJ"},{"key":"10.1016\/S0164-1212(97)10017-6_BIB37","unstructured":"Toyn, I., 1994. Compost \u2013 The BIO Heap. Department of Computer Science, University of York"},{"key":"10.1016\/S0164-1212(97)10017-6_BIB38","unstructured":"Toyn, I., 1994b. Peat \u2013 A Program to Elaborate Algebraic Types. Department of Computer Science, University of York"},{"issue":"11","key":"10.1016\/S0164-1212(97)10017-6_BIB39","doi-asserted-by":"crossref","first-page":"1001","DOI":"10.1002\/spe.4380241103","article-title":"Efficient binary transfer of pointer structures","volume":"24","author":"Toyn","year":"1994","journal-title":"Software \u2013 Practice and Experience"},{"issue":"3","key":"10.1016\/S0164-1212(97)10017-6_BIB40","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1002\/spe.4380250306","article-title":"CADiZ: An architecture for Z tools and its implementation","volume":"25","author":"Toyn","year":"1995","journal-title":"Software \u2013 Practice and Experience"}],"container-title":["Journal of Systems and Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121297100176?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121297100176?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T13:16:03Z","timestamp":1578489363000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0164121297100176"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,6]]},"references-count":40,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1998,6]]}},"alternative-id":["S0164121297100176"],"URL":"https:\/\/doi.org\/10.1016\/s0164-1212(97)10017-6","relation":{},"ISSN":["0164-1212"],"issn-type":[{"value":"0164-1212","type":"print"}],"subject":[],"published":{"date-parts":[[1998,6]]}}}