1984-08-01, English, Article, Journal or magazine article edition: Proof of Correctness of Decision Table Programs. Lew, A.

User activity

Share to:
 
Bookmark: http://trove.nla.gov.au/version/108198605
Physical Description
  • table
  • Magazine/​Journal article
Published
  • Oxford University Press, 1984 August
Language
  • English

Edition details

Title
  • Proof of Correctness of Decision Table Programs.
Appears In
  • Computer Journal, v27, no.n3, 1984 August, p230-232 (ISSN: 0010-4620)
Author
  • Lew, A.
Published
  • Oxford University Press, 1984 August
Physical Description
  • table
  • Magazine/​Journal article
Subjects
Target Audience
  • Trade
Summary
  • Decision table programs can be proven correct. Decision table programs can be used as an alternative to conventional languages for general purpose programming. There are no theoretical advantages in recasting conventional programs into decision table form in order to prove their correctness. A bubble sort algorithm is used to illustrate concepts.
Notes
  • table
Language
  • English
Database
  • Gale General OneFile
Identifier
  • 639234

Get this edition

Published in

Some editions of the publication "Computer journal (London)" are available from these libraries. The edition containing this article ( v27, n3, 1984 August, p230-232 ) may not be available:

None of your libraries hold this item.

These 20 locations in All:

Library Access Call number(s) Formats held Language
Charles Sturt University. Bathurst Campus Library. Open to the public 000099211; P001.64 4; Vol. 13:no. 1 (02/1970) - vol. 41:no. 8 (1998) Periodical; Journal, magazine, other English
Charles Sturt University. CSU Library - Electronic Resources (shared). Open to the public 002052117; Full Text Available; EBSCOhost - Available from 1996. Most recent 1 year(s) not available Periodical; Journal, magazine, other English
Defence Science and Technology Group. DST Group Research Information Services - Melbourne. Not open to the public Vol. 9; (1967)-; v. 41; (1998), Serials; Vol. 1, no. 4- v. 50, no. 6; Jan. 1959-2007; Incomplete Periodical; Journal, magazine, other English
Federation University Australia Library. Open to the public PER 004 CJOU; v.24-46; 1981-2003 Periodical; Journal, magazine, other English
Flinders University. Flinders University Central Library. Open to the public 9956828801771; 510.7805 C71 Periodical; Journal, magazine, other English
James Cook University. Townsville Campus Library. Open to the public 224660; (M) Vol. 1(1958)+ 621.38195 P2 <224660> Periodical; Journal, magazine, other English
Macquarie University. Macquarie University Library. Open to the public 992060410802171; QA76 .C57 Periodical; Journal, magazine, other English
Monash University. Monash University Library. Open to the public 9945568301751; 510.7805 C738.1; v. 1, no. 1 (Apr. 1958) to v. 51, no. 6 (Nov. 2008); HA; SER Periodical; Journal, magazine, other English
National Library of Australia. Open to the public S 510.78 COM; Vol. 1, no. 1-v. 28, no. 5; Apr. 1958-Nov. 1985; impf Periodical; Journal, magazine, other English
RMIT University. RMIT University Library. Open to the public 9912284250001341; PER 001.64 C738.5; Held in Storage. Request from <a href=http://www.rmit.edu.au/library/dds target=_blank>Document Delivery</a>; v. 1 (Apr. 1958)-v. 48, no. 1 (2005) Periodical; Journal, magazine, other English
Southern Cross University. University Library Lismore. Open to the public Electronic resource - Check catalogue for holdings Periodical; Journal, magazine, other English
State Library of NSW. Open to the public R NQ510.7806/1; Vol. 1 (Apr. 1958); v. 3 (Apr. 1960)-v. 10 (Feb. 1968); v. 12 (Feb. 1969)-v. 34 (Dec. 1991) Periodical; Journal, magazine, other English
State Library Victoria. Open to the public SF 510.78 C73J; Vol. 3 no.1-; Apr. 1960-; Sub. cancelled Dec. 1985 Periodical; Journal, magazine, other English
The University of Melbourne. The University of Melbourne Library. Open to the public MS P COMP; v.5-47; 1962-2004 Periodical; Journal, magazine, other English
The University of Sydney. University of Sydney Library. Open to the public S23195; held Periodical; Journal, magazine, other English
University of Newcastle. University of Newcastle Library. Open to the public S510.7805/1 Vol. 1, no. 1 (Apr. 1958)-v. 44, no. 6 (2001) Periodical; Journal, magazine, other English
University of Queensland. University of Queensland Library. Open to the public .b10151990; psep QA76 .C576 : 4(1961/62)-46(2003); Online access via Oxford journals at HighWire : v.39- no.1- (1996)-. Available for document delivery - restrictions apply; Online access via ABI/Inform global at ProQuest : (1999)- except the last 365 days. Available for document delivery - restrictions apply; Online access via Oxford journals archive at HighWire : v.1-38 no.1-10 (1958-1995). Available for document delivery - restrictions apply Periodical; Journal, magazine, other English
University of South Australia. University of South Australia Library. Open to the public 9912829601831; AV 333.320994 A154 Periodical; Journal, magazine, other English
University of Tasmania. Open to the public .b10710978; Scien ser v1-45;1958-2002 Periodical; Journal, magazine, other English
University of Western Australia. University of Western Australia Library. Open to the public 9950325702101; HELD; V. 39-46 ; 1996-2003; V. 14-38 ; 1971-1995 Periodical; Journal, magazine, other English
Show 0 more libraries...

This single location in Australian Capital Territory:

Library Access Call number(s) Formats held Language
National Library of Australia. Open to the public S 510.78 COM; Vol. 1, no. 1-v. 28, no. 5; Apr. 1958-Nov. 1985; impf Periodical; Journal, magazine, other English
Show 0 more libraries...

These 7 locations in New South Wales:

Library Access Call number(s) Formats held Language
Charles Sturt University. Bathurst Campus Library. Open to the public 000099211; P001.64 4; Vol. 13:no. 1 (02/1970) - vol. 41:no. 8 (1998) Periodical; Journal, magazine, other English
Charles Sturt University. CSU Library - Electronic Resources (shared). Open to the public 002052117; Full Text Available; EBSCOhost - Available from 1996. Most recent 1 year(s) not available Periodical; Journal, magazine, other English
Macquarie University. Macquarie University Library. Open to the public 992060410802171; QA76 .C57 Periodical; Journal, magazine, other English
Southern Cross University. University Library Lismore. Open to the public Electronic resource - Check catalogue for holdings Periodical; Journal, magazine, other English
State Library of NSW. Open to the public R NQ510.7806/1; Vol. 1 (Apr. 1958); v. 3 (Apr. 1960)-v. 10 (Feb. 1968); v. 12 (Feb. 1969)-v. 34 (Dec. 1991) Periodical; Journal, magazine, other English
The University of Sydney. University of Sydney Library. Open to the public S23195; held Periodical; Journal, magazine, other English
University of Newcastle. University of Newcastle Library. Open to the public S510.7805/1 Vol. 1, no. 1 (Apr. 1958)-v. 44, no. 6 (2001) Periodical; Journal, magazine, other English
Show 0 more libraries...
None of your libraries hold this item.

These 2 locations in Queensland:

Library Access Call number(s) Formats held Language
James Cook University. Townsville Campus Library. Open to the public 224660; (M) Vol. 1(1958)+ 621.38195 P2 <224660> Periodical; Journal, magazine, other English
University of Queensland. University of Queensland Library. Open to the public .b10151990; psep QA76 .C576 : 4(1961/62)-46(2003); Online access via Oxford journals at HighWire : v.39- no.1- (1996)-. Available for document delivery - restrictions apply; Online access via ABI/Inform global at ProQuest : (1999)- except the last 365 days. Available for document delivery - restrictions apply; Online access via Oxford journals archive at HighWire : v.1-38 no.1-10 (1958-1995). Available for document delivery - restrictions apply Periodical; Journal, magazine, other English
Show 0 more libraries...

These 2 locations in South Australia:

Library Access Call number(s) Formats held Language
Flinders University. Flinders University Central Library. Open to the public 9956828801771; 510.7805 C71 Periodical; Journal, magazine, other English
University of South Australia. University of South Australia Library. Open to the public 9912829601831; AV 333.320994 A154 Periodical; Journal, magazine, other English
Show 0 more libraries...

This single location in Tasmania:

Library Access Call number(s) Formats held Language
University of Tasmania. Open to the public .b10710978; Scien ser v1-45;1958-2002 Periodical; Journal, magazine, other English
Show 0 more libraries...

These 6 locations in Victoria:

Library Access Call number(s) Formats held Language
Defence Science and Technology Group. DST Group Research Information Services - Melbourne. Not open to the public Vol. 9; (1967)-; v. 41; (1998), Serials; Vol. 1, no. 4- v. 50, no. 6; Jan. 1959-2007; Incomplete Periodical; Journal, magazine, other English
Federation University Australia Library. Open to the public PER 004 CJOU; v.24-46; 1981-2003 Periodical; Journal, magazine, other English
Monash University. Monash University Library. Open to the public 9945568301751; 510.7805 C738.1; v. 1, no. 1 (Apr. 1958) to v. 51, no. 6 (Nov. 2008); HA; SER Periodical; Journal, magazine, other English
RMIT University. RMIT University Library. Open to the public 9912284250001341; PER 001.64 C738.5; Held in Storage. Request from <a href=http://www.rmit.edu.au/library/dds target=_blank>Document Delivery</a>; v. 1 (Apr. 1958)-v. 48, no. 1 (2005) Periodical; Journal, magazine, other English
State Library Victoria. Open to the public SF 510.78 C73J; Vol. 3 no.1-; Apr. 1960-; Sub. cancelled Dec. 1985 Periodical; Journal, magazine, other English
The University of Melbourne. The University of Melbourne Library. Open to the public MS P COMP; v.5-47; 1962-2004 Periodical; Journal, magazine, other English
Show 0 more libraries...
None of your libraries hold this item.

Other suppliers

User activity


e.g. test cricket, Perth (WA), "Parkes, Henry"

Separate different tags with a comma. To include a comma in your tag, surround the tag with double quotes.

Be the first to add a tag for this edition

Be the first to add this to a list

Comments and reviews

What are comments? Add a comment

No user comments or reviews for this version

Add a comment