Entry Gallimore:1989:UOL from compj1980.bib
Last update: Sat Jan 6 02:03:49 MST 2018
Top |
Symbols |
Math |
A |
B |
C |
D |
E |
F |
G |
H |
I |
J |
K |
L |
M |
N |
O |
P |
Q |
R |
S |
T |
U |
V |
W |
X |
Y |
Z
BibTeX entry
@Article{Gallimore:1989:UOL,
author = "R. M. Gallimore and D. Coleman and V. Stavridou",
title = "{UMIST} {OBJ}: a language for executable program
specifications",
journal = j-COMP-J,
volume = "32",
number = "5",
pages = "413--421",
month = oct,
year = "1989",
CODEN = "CMPJA6",
DOI = "https://doi.org/10.1093/comjnl/32.5.413",
ISSN = "0010-4620 (print), 1460-2067 (electronic)",
ISSN-L = "0010-4620",
bibdate = "Tue Dec 4 14:48:27 MST 2012",
bibsource = "http://comjnl.oxfordjournals.org/content/32/5.toc;
http://www.math.utah.edu/pub/tex/bib/compj1980.bib;
http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_05/",
URL = "http://comjnl.oxfordjournals.org/content/32/5/413.full.pdf+html;
http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_05/tiff/413.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_05/tiff/414.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_05/tiff/415.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_05/tiff/416.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_05/tiff/417.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_05/tiff/418.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_05/tiff/419.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_05/tiff/420.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_05/tiff/421.tif",
acknowledgement = ack-nhfb,
affiliation = "Hewlett--Packard Labs, Bristol, UK",
classcodes = "C6110B (Software engineering techniques); C6140D (High
level languages)",
classification = "C6110B (Software engineering techniques); C6140D
(High level languages)",
corpsource = "Hewlett--Packard Labs, Bristol, UK",
fjournal = "The Computer Journal",
journal-URL = "http://comjnl.oxfordjournals.org/",
keywords = "Abstract data types; abstract data types; Abstract
designs; abstract designs; algebraic; Algebraic
specification language; Associated problem domain;
associated problem domain; Behaviour; behaviour;
Computer programs; computer programs; Executable
program specifications; executable program
specifications; formal; Formal notations; formal
specification; notations; OBJ specification; Program
description; program description; Software engineering;
software engineering; specification language;
specification languages; Support tools; support tools;
UMIST OBJ",
thesaurus = "Formal specification; Specification languages",
treatment = "P Practical",
}
Related entries
- abstract,
23(3)243,
24(4)308,
25(1)17,
25(2)161,
26(4)289,
27(2)127,
28(1)1,
28(1)59,
28(2)154,
28(3)298,
29(3)261,
29(4)340,
31(2)110,
31(2)165,
31(3)193,
31(4)313,
31(6)570,
32(2)127,
32(4)290,
32(4)312,
32(5)461,
32(6)494
- algebraic,
27(2)178,
27(4)301,
28(1)59,
28(2)142,
28(2)154,
29(3)261,
29(5)416,
30(4)316,
31(3)229,
31(4)313,
32(2)122
- associated,
29(4)289,
30(5)420
- behaviour,
26(2)154,
27(3)238,
28(1)9,
28(3)257,
29(1)47,
30(2)168,
30(5)437,
32(1)68,
32(4)290,
32(4)297,
32(6)541
- C6110B,
31(6)510,
32(4)297,
32(4)312,
32(5)399,
32(5)422,
32(5)432
- C6140D,
32(1)36,
32(1)90,
32(2)127,
32(2)152,
32(4)290,
32(4)297,
32(4)305,
32(4)312,
32(4)323,
32(4)341
- description,
23(4)360,
25(2)176,
28(1)89,
28(2)170,
28(2)184,
28(4)357,
28(4)409,
29(5)460,
30(2)128,
30(4)337,
31(6)525,
32(2)108,
32(5)386,
32(5)453
- domain,
28(3)291,
29(6)572
- engineering, 23-3-200a-200,
23(4)324,
24(3)235,
25(2)253,
26(1)1,
26(1)79,
27(1)37,
27(2)97,
27(2)179,
27(4)340,
28(3)195,
28(5)498,
29(1)20,
29(1)83,
29(1)90,
29(2)97,
29(2)161,
29(3)229,
29(3)241,
29(3)246,
29(4)300,
29(4)330,
29(5)385,
29(5)475,
29(6)527,
29(6)545,
30(2)128,
30(3)233,
30(3)254,
30(4)316,
30(4)337,
30(5)469,
30(5)475,
30(6)481,
31(3)193,
31(3)248,
31(5)391,
31(5)420,
31(5)431,
31(5)445,
31(6)510,
31(6)525,
32(4)297,
32(4)312,
32(4)323,
32(5)399,
32(5)422,
32(5)432,
32(5)453
- executable,
23(3)223
- formal,
27(2)121,
28(1)59,
28(2)112,
28(2)162,
28(5)474,
28(5)480,
29(6)481,
30(2)134,
30(2)183,
30(4)316,
30(4)328,
30(4)337,
30(6)507,
31(4)313,
31(4)325,
31(4)336,
31(6)510,
31(6)525,
31(6)564,
32(1)1,
32(1)36,
32(1)90,
32(1)91,
32(4)290,
32(4)305,
32(4)351,
32(5)385,
32(5)399,
32(5)422,
32(5)432,
32(5)445
- high,
23(2)124,
23(2)153,
24(1)56,
25(1)153,
25(2)176,
25(2)264,
25(3)289,
26(1)52,
26(1)72,
26(2)124,
26(2)175,
26(3)228,
26(3)277,
26(4)344,
26(4)360,
26(4)366,
27(1)37,
27(1)83,
27(2)97,
27(2)151,
28(1)34,
28(3)231,
28(3)250,
28(4)391,
29(2)118,
29(3)229,
29(3)253,
29(4)289,
29(4)340,
29(6)500,
29(6)506,
29(6)538,
30(2)128,
30(5)437,
30(6)487,
30(6)558,
31(2)99,
31(2)110,
31(3)220,
31(3)243,
32(1)36,
32(1)90,
32(2)127,
32(2)152,
32(2)162,
32(4)290,
32(4)297,
32(4)305,
32(4)312,
32(4)323,
32(4)341
- level,
23(2)124,
23(2)153,
24(1)25,
24(1)56,
24(1)62,
25(1)153,
25(2)176,
25(2)264,
25(3)289,
25(4)429,
26(1)52,
26(1)72,
26(2)124,
26(2)175,
26(2)188,
26(3)228,
26(3)235,
26(3)277,
26(4)344,
26(4)360,
26(4)366,
27(1)83,
27(2)97,
27(2)151,
27(4)334,
28(1)34,
28(3)250,
28(4)357,
29(2)118,
29(3)229,
29(3)253,
29(4)340,
29(6)500,
29(6)506,
29(6)538,
30(1)52,
30(2)128,
30(5)437,
30(6)487,
31(2)99,
31(2)110,
31(3)220,
31(3)229,
31(3)243,
31(4)344,
32(1)36,
32(1)90,
32(2)127,
32(2)152,
32(2)162,
32(4)290,
32(4)297,
32(4)305,
32(4)312,
32(4)323,
32(4)341
- notation,
25(3)316,
28(3)250,
28(4)357,
29(3)241,
29(6)500
- OBJ,
30(4)316
- specification,
23(1)61,
23(3)230,
25(1)34,
25(1)63,
26(4)289,
27(2)121,
27(2)143,
28(1)22,
28(1)59,
28(2)117,
28(2)154,
28(2)162,
28(3)250,
28(4)357,
29(3)261,
29(6)495,
30(2)97,
30(2)134,
30(3)223,
30(3)239,
30(4)316,
30(4)337,
30(6)512,
31(3)193,
31(3)229,
31(3)269,
31(4)313,
31(5)426,
31(6)510,
32(1)1,
32(5)399,
32(5)422,
32(5)432,
32(6)541
- support,
25(1)148,
27(1)37,
29(1)90,
29(2)109,
29(3)201,
30(2)97,
31(3)229,
31(5)391,
31(6)481,
32(3)194,
32(4)323,
32(5)386,
32(5)461,
32(6)541
- tool, 23-3-255a-255,
24(1)25,
25(2)253,
27(1)37,
27(2)179,
28(1)22,
28(1)29,
28(2)154,
29(2)135,
29(2)151,
29(3)201,
29(3)235,
29(3)241,
29(4)322,
29(5)460,
29(6)506,
29(6)527,
30(1)2,
30(1)63,
30(2)97,
31(3)285,
31(4)379,
31(5)445,
31(6)525,
32(3)194,
32(3)202,
32(4)323,
32(4)333,
32(5)386,
32(5)445,
32(6)516,
32(6)541
- type,
23(1)66,
24(2)118,
24(4)308,
25(3)289,
25(4)448,
26(4)289,
26(4)366,
27(1)47,
27(3)260,
27(4)310,
28(1)59,
28(2)154,
28(3)298,
29(1)38,
29(3)261,
29(4)340,
29(6)538,
30(1)27,
30(5)404,
30(5)451,
31(2)99,
31(2)110,
31(2)116,
31(6)517,
32(4)305,
32(4)312,
32(6)524,
32(6)541