PARLOG and its applications

The key concepts of the parallel logic programming language PARLOG are introduced by comparing the language with Prolog. Some familiarity with Prolog and with the concepts of logic programming is assumed. Two major application areas of PARLOG, systems programming and object-oriented programming, are...

Full description

Saved in:
Bibliographic Details
Published in:IEEE transactions on software engineering Vol. 14; no. 12; pp. 1792 - 1804
Main Author: Clark, K.L.
Format: Journal Article
Language:English
Published: New York, NY IEEE 01.12.1988
Institute of Electrical and Electronics Engineers
IEEE Computer Society
Subjects:
Applications
Applied sciences
Computer programming
Computer science; control theory; systems
Exact sciences and technology
Implementations
Logic programming
Methods
Object oriented programming
Parallel programming
Programming languages
Prolog
Software
Testing
Variables
Communicating process
Parallel programming
Programming language
Object oriented
Logical programming
PROLOG
Artificial intelligence
Comparative study
ISSN:0098-5589, 1939-3520
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Abstract The key concepts of the parallel logic programming language PARLOG are introduced by comparing the language with Prolog. Some familiarity with Prolog and with the concepts of logic programming is assumed. Two major application areas of PARLOG, systems programming and object-oriented programming, are illustrated. Other applications are briefly surveyed.< >
AbstractList The key concepts of the parallel logic programming language PARLOG are introduced by comparing the language with Prolog. Some familiarity with Prolog and with the concepts of logic programming is assumed. Two major application areas of PARLOG, systems programming and object-oriented programming, are illustrated. Other applications are briefly surveyed.< >
The main ideas behind the parallel logic programming language, PARLOG, are presented by comparing the language with Prolog; some knowledge of Prolog and of the concepts of logic programming is assumed. Illustrations for 2 main areas of PARLOG, systems programming and object-oriented programming, are given. Parallel logic programming languages fit naturally in the object-oriented style of programming in which information and the methods for manipulating and accessing the information are encapsulated in an object. An object can be represented in PARLOG as a tail recursive process, which takes an input stream of messages sent by other objects. Other applications for PARLOG -- such as simulation, specification of concurrent systems, expert systems, and language parsing -- are presented. PARLOG is currently being used by the PARLOG research group at Imperial College to run C implementation on Sun workstations, and a parallel implementation on a 6-processor, shared-memory machine is being developed.
The key concepts of the parallel logic programming language PARLOG are introduced by comparing the language with PROLOG. Some familiarity with PROLOG and with the concepts of logic programming is assumed. Two major application areas of PARLOG, systems programming and object-oriented programming, are illustrated. Other applications are briefly surveyed. (I.E.)
Author Clark, K.L.
Author_xml – sequence: 1
  givenname: K.L.
  surname: Clark
  fullname: Clark, K.L.
  organization: Dept. of Comput., Imperial Coll., London, UK
BackLink http://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=7248323$$DView record in Pascal Francis
BookMark eNqN0E1LAzEQBuAgFaxVvApeioietk6STbI5luIXFBTRc8jGWUjZ7q7J9uC_N_2gh-LB0wzMMwPznpJB0zZIyAWFCaWg7zmbaJD5ERlSzXXGBYMBGQLoIhOi0CfkNMYFAAilxJBcvU3f569PY9t8jX0fx7brau9s79smnpHjytYRz3d1RD4fHz5mz1laeJlN55njouiziuelEE6JUmHhJFJZUmlRguZMIGhkriwLBCqlEjr1jCksQYq8pIyD4iNyu73bhfZ7hbE3Sx8d1rVtsF1Fw3KtuGT5f6AUTOkErw_gol2FJj1hqF6nAIoldLNDNjpbV8E2zkfTBb-04ccolhec8cTutsyFNsaA1V5QMOvEDWdmnXiS2YF0vt9E2Qfr6z_85dZ7RNxf3Yx-AZQwhvo
CODEN IESEDJ
CitedBy_id crossref_primary_10_1016_0167_739X_91_90001_E
crossref_primary_10_1016_0167_739X_92_90034_9
crossref_primary_10_1145_72551_72552
crossref_primary_10_1016_S0167_6423_97_00011_7
crossref_primary_10_1016_0167_739X_91_90014_O
Cites_doi 10.1007/3-540-16492-8_90
10.1145/5001.5390
10.1007/BFb0014983
10.1007/3-540-17945-3_2
10.1007/3-540-16492-8_71
10.1016/0743-1066(85)90003-2
10.1145/800223.806776
10.1145/359576.359585
10.1007/BF03037066
10.1007/3-540-16492-8_80
10.1145/28697.28721
10.1007/BF03037020
ContentType Journal Article
Copyright 1989 INIST-CNRS
Copyright Institute of Electrical and Electronics Engineers, Inc. (IEEE) Dec 1988
Copyright_xml – notice: 1989 INIST-CNRS
– notice: Copyright Institute of Electrical and Electronics Engineers, Inc. (IEEE) Dec 1988
DBID AAYXX
CITATION
IQODW
3V.
7WY
7WZ
7X7
7XB
87Z
88E
88F
88I
88K
8AL
8FE
8FG
8FI
8FJ
8FK
8FL
8G5
ABJCF
ABUWG
AFKRA
ARAPS
AZQEC
BENPR
BEZIV
BGLVJ
CCPQU
DWQXO
FRNLG
FYUFA
F~G
GHDGH
GNUQQ
GUQSH
HCIFZ
JQ2
K60
K6~
K7-
K9.
L.-
L6V
M0C
M0N
M0S
M1P
M1Q
M2O
M2P
M2T
M7S
MBDVC
P5Z
P62
PHGZM
PHGZT
PJZUB
PKEHL
PPXIY
PQBIZ
PQBZA
PQEST
PQGLB
PQQKQ
PQUKI
PRINS
PTHSS
Q9U
8FD
H8D
L7M
7SC
L~C
L~D
DOI 10.1109/32.9064
DatabaseName CrossRef
Pascal-Francis
ProQuest Central (Corporate)
ABI/INFORM Collection
ABI/INFORM Global (PDF only)
Health & Medical Collection
ProQuest Central (purchase pre-March 2016)
ABI/INFORM Collection
Medical Database (Alumni Edition)
Military Database (Alumni Edition)
Science Database (Alumni Edition)
Telecommunications (Alumni Edition)
Computing Database (Alumni Edition)
ProQuest SciTech Collection
ProQuest Technology Collection
Hospital Premium Collection
Hospital Premium Collection (Alumni Edition)
ProQuest Central (Alumni) (purchase pre-March 2016)
ABI/INFORM Collection (Alumni)
Research Library (Alumni)
Materials Science & Engineering Collection
ProQuest Central (Alumni)
ProQuest Central UK/Ireland
Advanced Technologies & Computer Science Collection
ProQuest Central Essentials
ProQuest Central
Business Premium Collection
Technology Collection
ProQuest One Community College
ProQuest Central Korea
Business Premium Collection (Alumni)
Health Research Premium Collection
ABI/INFORM Global (Corporate)
Health Research Premium Collection (Alumni)
ProQuest Central Student
ProQuest Research Library
SciTech Premium Collection
ProQuest Computer Science Collection
ProQuest Business Collection (Alumni Edition)
ProQuest Business Collection
Computer Science Database
ProQuest Health & Medical Complete (Alumni)
ABI/INFORM Professional Advanced
ProQuest Engineering Collection
ABI/INFORM Global
Computing Database
ProQuest Health & Medical Collection
Medical Database
Military Database
Research Library
Science Database
Telecommunications Database
Engineering Database
Research Library (Corporate)
Advanced Technologies & Aerospace Database
ProQuest Advanced Technologies & Aerospace Collection
ProQuest Central Premium
ProQuest One Academic (New)
ProQuest Health & Medical Research Collection
ProQuest One Academic Middle East (New)
ProQuest One Health & Nursing
ProQuest One Business
ProQuest One Business (Alumni)
ProQuest One Academic Eastern Edition (DO NOT USE)
ProQuest One Applied & Life Sciences
ProQuest One Academic (retired)
ProQuest One Academic UKI Edition
ProQuest Central China
Engineering Collection
ProQuest Central Basic
Technology Research Database
Aerospace Database
Advanced Technologies Database with Aerospace
Computer and Information Systems Abstracts
Computer and Information Systems Abstracts – Academic
Computer and Information Systems Abstracts Professional
DatabaseTitle CrossRef
ProQuest Business Collection (Alumni Edition)
Research Library Prep
Computer Science Database
ProQuest Central Student
ProQuest Advanced Technologies & Aerospace Collection
ProQuest Central Essentials
ProQuest Computer Science Collection
SciTech Premium Collection
ProQuest Military Collection
ProQuest Central China
ABI/INFORM Complete
ProQuest Telecommunications
ProQuest One Applied & Life Sciences
Health Research Premium Collection
Health & Medical Research Collection
ProQuest Central (New)
ProQuest Medical Library (Alumni)
Engineering Collection
Advanced Technologies & Aerospace Collection
Business Premium Collection
ABI/INFORM Global
Engineering Database
ProQuest Science Journals (Alumni Edition)
ProQuest One Academic Eastern Edition
ProQuest Hospital Collection
ProQuest Technology Collection
Health Research Premium Collection (Alumni)
ProQuest Telecommunications (Alumni Edition)
ProQuest Business Collection
ProQuest Hospital Collection (Alumni)
ProQuest Health & Medical Complete
ProQuest One Academic UKI Edition
ProQuest One Academic
ProQuest One Academic (New)
ABI/INFORM Global (Corporate)
ProQuest One Business
Technology Collection
ProQuest One Academic Middle East (New)
ProQuest Health & Medical Complete (Alumni)
ProQuest Central (Alumni Edition)
ProQuest One Community College
ProQuest One Health & Nursing
Research Library (Alumni Edition)
ProQuest Central
ABI/INFORM Professional Advanced
ProQuest Health & Medical Research Collection
ProQuest Engineering Collection
Health and Medicine Complete (Alumni Edition)
ProQuest Central Korea
ProQuest Research Library
ABI/INFORM Complete (Alumni Edition)
ProQuest Computing
ABI/INFORM Global (Alumni Edition)
ProQuest Central Basic
ProQuest Science Journals
ProQuest Computing (Alumni Edition)
ProQuest Military Collection (Alumni Edition)
ProQuest SciTech Collection
Advanced Technologies & Aerospace Database
ProQuest Medical Library
Materials Science & Engineering Collection
ProQuest One Business (Alumni)
ProQuest Central (Alumni)
Business Premium Collection (Alumni)
Technology Research Database
Aerospace Database
Advanced Technologies Database with Aerospace
Computer and Information Systems Abstracts
Computer and Information Systems Abstracts – Academic
Computer and Information Systems Abstracts Professional
DatabaseTitleList
Computer and Information Systems Abstracts
ProQuest Business Collection (Alumni Edition)
Technology Research Database
Database_xml – sequence: 1
  dbid: BENPR
  name: ProQuest Central
  url: https://www.proquest.com/central
  sourceTypes: Aggregation Database
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
Applied Sciences
EISSN 1939-3520
EndPage 1804
ExternalDocumentID 1142626
7248323
10_1109_32_9064
9064
GroupedDBID --Z
-DZ
-~X
.4S
.DC
0R~
29I
3EH
4.4
5GY
5VS
6IK
7WY
7X7
85S
88E
88I
8FE
8FG
8FI
8FJ
8FL
8G5
8R4
8R5
97E
9M8
AAJGR
AARMG
AASAJ
AAWTH
ABAZT
ABFSI
ABJCF
ABPPZ
ABQJQ
ABUWG
ABVLG
ACGFO
ACGOD
ACIWK
ACNCT
ADBBV
AENEX
AETIX
AFKRA
AGQYO
AGSQL
AHBIQ
AI.
AIBXA
AKJIK
AKQYR
ALLEH
ALMA_UNASSIGNED_HOLDINGS
ARAPS
ARCSS
ASUFR
ATWAV
AZQEC
BEFXN
BENPR
BEZIV
BFFAM
BGLVJ
BGNUA
BKEBE
BKOMP
BPEOZ
BPHCQ
BVXVI
CCPQU
CS3
DU5
DWQXO
E.L
EBS
EDO
EJD
FRNLG
FYUFA
GNUQQ
GROUPED_ABI_INFORM_RESEARCH
GUQSH
HCIFZ
HMCUK
HZ~
H~9
I-F
IBMZZ
ICLAB
IEDLZ
IFIPE
IFJZH
IPLJI
ITG
ITH
JAVBF
K60
K6V
K6~
K7-
L6V
LAI
M0C
M1P
M1Q
M2O
M2P
M43
M7S
MS~
O9-
OCL
OHT
P2P
P62
PHGZM
PHGZT
PJZUB
PPXIY
PQBIZ
PQBZA
PQGLB
PQQKQ
PROAC
PSQYO
PTHSS
PUEGO
Q2X
RIA
RIE
RNI
RNS
RXW
RZB
S10
TAE
TN5
TWZ
UHB
UKHRP
UPT
UQL
VH1
WH7
XOL
YYP
YZZ
ZCG
AAYXX
AFFHD
CITATION
ALIPV
IQODW
RIG
3V.
7XB
88K
8AL
8FK
JQ2
K9.
L.-
M0N
M2T
MBDVC
PKEHL
PQEST
PQUKI
PRINS
Q9U
8FD
H8D
L7M
7SC
L~C
L~D
ID FETCH-LOGICAL-c358t-f34b55c75b7e8c6e16b16ae609325e09e2cbb8e0166759cbb227eb0654b123073
IEDL.DBID RIE
ISICitedReferencesCount 5
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=10_1109_32_9064&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN 0098-5589
IngestDate Sat Sep 27 17:02:06 EDT 2025
Wed Oct 01 13:54:58 EDT 2025
Mon Oct 06 16:58:30 EDT 2025
Mon Jul 21 09:14:37 EDT 2025
Sat Nov 29 02:38:26 EST 2025
Tue Nov 18 22:09:31 EST 2025
Wed Aug 27 02:47:43 EDT 2025
IsPeerReviewed true
IsScholarly true
Issue 12
Keywords Communicating process
Parallel programming
Programming language
Object oriented
Logical programming
PROLOG
Artificial intelligence
Comparative study
Language English
License https://ieeexplore.ieee.org/Xplorehelp/downloads/license-information/IEEE.html
CC BY 4.0
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-c358t-f34b55c75b7e8c6e16b16ae609325e09e2cbb8e0166759cbb227eb0654b123073
Notes ObjectType-Article-1
SourceType-Scholarly Journals-1
content type line 14
ObjectType-Article-2
ObjectType-Feature-1
content type line 23
PQID 195589072
PQPubID 23500
PageCount 13
ParticipantIDs proquest_miscellaneous_24965279
ieee_primary_9064
pascalfrancis_primary_7248323
proquest_journals_195589072
crossref_citationtrail_10_1109_32_9064
proquest_miscellaneous_24973624
crossref_primary_10_1109_32_9064
PublicationCentury 1900
PublicationDate 1988-12-01
PublicationDateYYYYMMDD 1988-12-01
PublicationDate_xml – month: 12
  year: 1988
  text: 1988-12-01
  day: 01
PublicationDecade 1980
PublicationPlace New York, NY
PublicationPlace_xml – name: New York, NY
– name: New York
PublicationTitle IEEE transactions on software engineering
PublicationTitleAbbrev TSE
PublicationYear 1988
Publisher IEEE
Institute of Electrical and Electronics Engineers
IEEE Computer Society
Publisher_xml – name: IEEE
– name: Institute of Electrical and Electronics Engineers
– name: IEEE Computer Society
References ref35
takeuchi (ref43) 1986
ref31
ringwood (ref38a) 1987
gregory (ref27) 1985
ueda (ref45) 1985
clark (ref6a) 1984
mierkowsky (ref36) 1985
gilbert (ref24) 1987
shapiro (ref40) 1984
(ref7) 1984
cutcher (ref11) 1987; 5
davison (ref12) 1987
ref6b
huntbach (ref29) 1987
foster (ref17) 1986
lam (ref33) 1987
(ref34) 1984
ringwood (ref37) 1984
trehan (ref44) 1987
shapiro (ref39) 1983
(ref9) 1987
foster (ref20) 1987
elshiewy (ref16) 1987
ref46
garcia (ref22) 1987
ref42
gregory (ref26) 1987
ref41
foster (ref18) 1987
ref21
lam (ref32) 1987
ref28
davison (ref13) 1987
dijkstra (ref15) 1976
gilbert (ref23) 1987
ref8
huntbach (ref30) 1987
ref4
ref3
ref5
(ref38b) 1988
broda (ref1) 1984
crammond (ref10) 1988
darlington (ref14) 1981
buckle (ref2) 1987
gregory (ref25) 1987
foster (ref19) 1987
References_xml – year: 1984
  ident: ref6a
  publication-title: PARLOG Parallel programming in logic
– year: 1987
  ident: ref25
  publication-title: Parallel Logic Programming in PARLOG
– ident: ref35
  doi: 10.1007/3-540-16492-8_90
– year: 1987
  ident: ref2
  publication-title: Process modelling in PARLOG
– ident: ref6b
  doi: 10.1145/5001.5390
– year: 1986
  ident: ref17
  publication-title: The PARLOG programming system Reference manual
– ident: ref4
  doi: 10.1007/BFb0014983
– ident: ref3
  doi: 10.1007/3-540-17945-3_2
– start-page: 927
  year: 1987
  ident: ref9
  article-title: PARLOG and Prolog united
  publication-title: Proc Int Conf Logic Programming
– year: 1987
  ident: ref23
  publication-title: Implementing LOTOS in PARLOG
– year: 1987
  ident: ref26
  publication-title: An Abstract Machine for the Implementation of PARLOG on Uniprocessors
– start-page: 288
  year: 1987
  ident: ref29
  article-title: Algorithmic PARLOG debugging
  publication-title: Proc 1987 Symp on Logic Programming
– start-page: 301
  year: 1984
  ident: ref1
  article-title: PARLOG for discrete event simulation
  publication-title: Proc Int Conf Logic Programming
– year: 1985
  ident: ref45
  publication-title: Guarded Horn Clauses
– start-page: 139
  year: 1985
  ident: ref27
  article-title: PARLOG for specification, verification and simulation
  publication-title: Proc 11th Int l Symp Computer Hardware Description Languages and Their Applications
– ident: ref21
  doi: 10.1007/3-540-16492-8_71
– year: 1983
  ident: ref39
  publication-title: A Subset of Concurrent Prolog and Its Interpreter
– start-page: 294
  year: 1987
  ident: ref32
  article-title: PARLOG and ALICE: A marriage of convenience
  publication-title: Proc Int Conf Logic Programming
– year: 1984
  ident: ref34
  publication-title: micro-PARLOG 3 1 Programmers Reference Manual
– ident: ref8
  doi: 10.1016/0743-1066(85)90003-2
– year: 1987
  ident: ref24
  article-title: Executable LOTOS: Using PARLOG to implement an FDT
  publication-title: Proc 8th Int Symp Protocol Specification Testing Verification
– ident: ref5
  doi: 10.1145/800223.806776
– year: 1987
  ident: ref33
  publication-title: Implementation of PARLOG on DACTL
– start-page: 910
  year: 1987
  ident: ref18
  article-title: Logic operating systems: Design issues
  publication-title: Proc Int Conf Logic Programming
– year: 1988
  ident: ref10
  publication-title: Implementation of committed choice languages on shared memory multiprocessors
– year: 1987
  ident: ref19
  publication-title: Parallel implementation of PARLOG
– ident: ref28
  doi: 10.1145/359576.359585
– year: 1985
  ident: ref36
  publication-title: The Design and Implementation of Flat Concurrent Prolog
– year: 1984
  ident: ref37
  publication-title: The dining logicians
– start-page: 1265
  year: 1987
  ident: ref22
  article-title: An implementation of PARLOG using high level tools
  publication-title: Proc ESPRIT87 Achievements and Impact
– year: 1987
  ident: ref12
  publication-title: POLKA a PARLOG object oriented language
– year: 1987
  ident: ref13
  publication-title: Representing blackboards in PARLOG
– ident: ref42
  doi: 10.1007/BF03037066
– year: 1987
  ident: ref16
  publication-title: Logic programming of real time control of telecommunication systems
– ident: ref46
  doi: 10.1007/3-540-16492-8_80
– ident: ref31
  doi: 10.1145/28697.28721
– start-page: 242
  year: 1986
  ident: ref43
  article-title: Parallel logic programming languages
  publication-title: Proc Int Conf Logic Programming
– year: 1976
  ident: ref15
  publication-title: A Discipline of Programming
– year: 1987
  ident: ref44
  publication-title: A parallel shift-reduce parser for committed choice non-deterministic logic languages
– year: 1987
  ident: ref38a
  publication-title: PARLOG86 and the dining logicians
– start-page: 83
  year: 1984
  ident: ref40
  article-title: Fair, biased, and self balancing merge operators
  publication-title: Proc IEEE Symp Logic Programming
– start-page: 299
  year: 1984
  ident: ref7
  article-title: Notes on systems programming in PARLOG
  publication-title: Proc Int Conf Fifth Generation Computer Systems
– year: 1987
  ident: ref20
  publication-title: Efficient metacontrol in parallel logic programming languages
– year: 1987
  ident: ref30
  publication-title: The partial evaluation of PARLOG programs
– volume: 5
  start-page: 376
  year: 1987
  ident: ref11
  article-title: PARAMEDICL: A computer aided medical diagnosis system for parallel architectures
  publication-title: ICL Tech J
– ident: ref41
  doi: 10.1007/BF03037020
– year: 1981
  ident: ref14
  article-title: ALICE: A multiprocessor reduction machine
  publication-title: Proc of ACM Conf on functional languages and computer architecture
– year: 1988
  ident: ref38b
  publication-title: Commun ACM
SSID ssj0005775
Score 1.3797245
Snippet The key concepts of the parallel logic programming language PARLOG are introduced by comparing the language with Prolog. Some familiarity with Prolog and with...
The main ideas behind the parallel logic programming language, PARLOG, are presented by comparing the language with Prolog; some knowledge of Prolog and of the...
The key concepts of the parallel logic programming language PARLOG are introduced by comparing the language with PROLOG. Some familiarity with PROLOG and with...
SourceID proquest
pascalfrancis
crossref
ieee
SourceType Aggregation Database
Index Database
Enrichment Source
Publisher
StartPage 1792
SubjectTerms Applications
Applied sciences
Computer programming
Computer science; control theory; systems
Exact sciences and technology
Implementations
Logic programming
Methods
Object oriented programming
Parallel programming
Programming languages
Prolog
Software
Testing
Variables
SummonAdditionalLinks – databaseName: Military Database
  dbid: M1Q
  link: http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV3NS8MwFH_o9ODFzS-sc9qDeKtrk6ZpTjLEqTDnFIXdSpKmIEg3186_36RfOgZevJUmpe1L3lfy8vsBXOBQxCHWCkhixR3tIRKHuzFyFENCh7PSJbKAzB_R8TicTtmkqs3JqrLK2iYWhjqeSbNG3vcYIaHO5ND1_NMxpFFmc7Vi0NiELR0nMwOd_-g9_1R4UEpqyEzzcHlm1kBs9jG6Ym7grzijgl3F1EbyTIsnKXkt1kx04XeG7X9-cQd2q4DTHpQzZA82VLoP7ZrMwa50-wC6k8HL6OnO5mlsP-SZPfi1s30Ib8Pb15t7p2JOcCQmYe4k2BeESEoEVaEMlBcIL-AqcHW0RpTLFJJChEqHezpfYPoaIaqEOWcqPFMZjo-glc5SdQy2SGSMONF-jjGd_MU8UK5wuSc4QVQSasFlLcJIVrDiht3iIyrSC5dFGEVG1hbYTcd5iaSx3qVjxqBpLu_1VgakaaTI19YIW9CtpR9V6pdFjegtOG9atd6YzRCeqtkyi5ABykeU_dmD6t_2T_58Qxd2PKatTVHhcgqtfLFUPdiWX_l7tjgrJuQ3YnTmGg
  priority: 102
  providerName: ProQuest
Title PARLOG and its applications
URI https://ieeexplore.ieee.org/document/9064
https://www.proquest.com/docview/195589072
https://www.proquest.com/docview/24965279
https://www.proquest.com/docview/24973624
Volume 14
WOSCitedRecordID wos10_1109_32_9064&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVIEE
  databaseName: IEEE Electronic Library (IEL)
  customDbUrl:
  eissn: 1939-3520
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0005775
  issn: 0098-5589
  databaseCode: RIE
  dateStart: 19750101
  isFulltext: true
  titleUrlDefault: https://ieeexplore.ieee.org/
  providerName: IEEE
– providerCode: PRVPQU
  databaseName: ABI/INFORM Collection
  customDbUrl:
  eissn: 1939-3520
  dateEnd: 20120331
  omitProxy: false
  ssIdentifier: ssj0005775
  issn: 0098-5589
  databaseCode: 7WY
  dateStart: 19870101
  isFulltext: true
  titleUrlDefault: https://www.proquest.com/abicomplete
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: Advanced Technologies & Aerospace Database
  customDbUrl:
  eissn: 1939-3520
  dateEnd: 20120331
  omitProxy: false
  ssIdentifier: ssj0005775
  issn: 0098-5589
  databaseCode: P5Z
  dateStart: 19870101
  isFulltext: true
  titleUrlDefault: https://search.proquest.com/hightechjournals
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: Computer Science Database
  customDbUrl:
  eissn: 1939-3520
  dateEnd: 20120331
  omitProxy: false
  ssIdentifier: ssj0005775
  issn: 0098-5589
  databaseCode: K7-
  dateStart: 19870101
  isFulltext: true
  titleUrlDefault: http://search.proquest.com/compscijour
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: Engineering Database
  customDbUrl:
  eissn: 1939-3520
  dateEnd: 20120331
  omitProxy: false
  ssIdentifier: ssj0005775
  issn: 0098-5589
  databaseCode: M7S
  dateStart: 19870101
  isFulltext: true
  titleUrlDefault: http://search.proquest.com
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: Health & Medical Collection
  customDbUrl:
  eissn: 1939-3520
  dateEnd: 20120331
  omitProxy: false
  ssIdentifier: ssj0005775
  issn: 0098-5589
  databaseCode: 7X7
  dateStart: 19870101
  isFulltext: true
  titleUrlDefault: https://search.proquest.com/healthcomplete
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: Military Database
  customDbUrl:
  eissn: 1939-3520
  dateEnd: 20120331
  omitProxy: false
  ssIdentifier: ssj0005775
  issn: 0098-5589
  databaseCode: M1Q
  dateStart: 19870101
  isFulltext: true
  titleUrlDefault: https://search.proquest.com/military
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: ProQuest ABI/INFORM Global
  customDbUrl:
  eissn: 1939-3520
  dateEnd: 20120331
  omitProxy: false
  ssIdentifier: ssj0005775
  issn: 0098-5589
  databaseCode: M0C
  dateStart: 19870101
  isFulltext: true
  titleUrlDefault: https://search.proquest.com/abiglobal
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: ProQuest Central
  customDbUrl:
  eissn: 1939-3520
  dateEnd: 20120331
  omitProxy: false
  ssIdentifier: ssj0005775
  issn: 0098-5589
  databaseCode: BENPR
  dateStart: 19870101
  isFulltext: true
  titleUrlDefault: https://www.proquest.com/central
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: Research Library
  customDbUrl:
  eissn: 1939-3520
  dateEnd: 20120331
  omitProxy: false
  ssIdentifier: ssj0005775
  issn: 0098-5589
  databaseCode: M2O
  dateStart: 19870101
  isFulltext: true
  titleUrlDefault: https://search.proquest.com/pqrl
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: Science Database
  customDbUrl:
  eissn: 1939-3520
  dateEnd: 20120331
  omitProxy: false
  ssIdentifier: ssj0005775
  issn: 0098-5589
  databaseCode: M2P
  dateStart: 19870101
  isFulltext: true
  titleUrlDefault: https://search.proquest.com/sciencejournals
  providerName: ProQuest
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LT9wwEB4B7aEXoKVVly1LDhW3gOOs4_hIEQ8JWMKj6raXyHZmJaQqi8guv78zTnZbRFWpl09O7Ej22OMZx_MA-JzmrspTYkBVoY1JQkxiKyoZo5GO1FkvlA8h8y_0aJSPx6bogkUHXxhEDMZnuM_FcJdfTf2cf5UdGJKfq7CqddY6av225dBaLYJjKpWb1juWg2kepHKfP3smdkIeFbaCtA0RYtJmsHixGQcJc7LxH33bhPVOjYwO23l_CytYv4ONRYqGqOPYLegXhzcXV6eRravoftZEf95Xv4evJ8d3R2dxlw8h9qnKZ_EkHTqlvFZOY-4zTDKXZBYzQTqYQmFQeudyJCWOTgGGylJqdOw96hK2904_wFo9rfEjRG7iK2kVSS9j6EhX2QyFEzZxVkntle7B3oJcpe-ChXPOip9lODQIU6ay5CH3IFo2fGjjY7xsssnkWla373aeEX9ZqeWQ9pi0B_3FZJQdUzVlYnhuhZY92F3WEjfwFYetcTpvSsnh76U2_2yhadjD7b_0qg9vEkM7R7BW-QRrs8c57sBr_zS7bx4HtPC-fWcc6wG8-nI8Km7o6VzHhJfiiDG5ZpRXAYuAd4z6lrBQPwZh2f4Cqrve-A
linkProvider IEEE
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1JS8QwFH6MC-jFccVxXHpQb9U2aZrmIDK44DDjIKLgrSZpBgTpqB0Vf5T_0ZduKoI3D95KE9q0X96WvLwPYJtGKokoCiBLjHTRQgxd6SXENYIodGe1x3ReMr_PB4Po5kZcNOC9Ogtj0yornZgr6mSk7Rr5vi8YizCSI4cPj64ljbKbqxWDRjEreubtFSO27KB7jPDuEHJ6cnV05pakAq6mLBq7QxooxjRniptIh8YPlR9KE2JkT5jxhCFaqcigJ4SutMBrQrhR9gim8m3SNMXnTsBUQCNuxarH3c-MEs5ZVaLTDrY4o2tLeu5Tsie8MPhm_HI2F5uLKTOEY1jwaPwwCbmdO23-sz80D3OlQ-10CglYgIZJF6FZkVU4pe5agvZF5xJH4Mg0cbrjzOl82blfhus_GeIKTKaj1KyCo4Y6IZKhHRcCg9tEhsZTnvSVZIRrxluwW0EW67JsumXvuI_z8MkTMSWxxbYFTt3xoagU8rPLvMW8bi7ubXybAHUjJwFqW9qCdoV2XKqXLK6hbsFW3Yp6wW72yNSMnrOYWCIAwsWvPTh-drD26xu2YObs6rwf97uDXhtmfYGaNc_mWYfJ8dOz2YBp_TK-y542c2Fw4Pav59YHuQVBWA
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=PARLOG+and+its+applications&rft.jtitle=IEEE+transactions+on+software+engineering&rft.au=Clark%2C+K.L.&rft.date=1988-12-01&rft.pub=IEEE&rft.issn=0098-5589&rft.volume=14&rft.issue=12&rft.spage=1792&rft.epage=1804&rft_id=info:doi/10.1109%2F32.9064&rft.externalDocID=9064
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0098-5589&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0098-5589&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0098-5589&client=summon