Refined Fortran: an update

Refined Languages (Refined Fortran, Refined C, etc.) are extensions of their parent languages in which it is possible to express parallelism, but impossible to create races or deadlocks. Where strictly deterministic behavior is desired, multiple executions of a Refined Fortran program with the same...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Proceedings of the 1989 ACM/IEEE conference on Supercomputing s. 607 - 615
Hlavní autoři: Klappholz, D., Kong, X., Kalis, A. D.
Médium: Konferenční příspěvek
Jazyk:angličtina
Vydáno: New York, NY, USA ACM 01.08.1989
IEEE
Edice:ACM Conferences
Témata:
Computer systems organization > Architectures > Parallel architectures
Concurrent computing
Costs
Detectors
Parallel processing
Permission
Program processors
Programming profession
Runtime
Sensor arrays
Software and its engineering > Software notations and tools > General programming languages > Language features
Software and its engineering > Software notations and tools > General programming languages > Language types
Software and its engineering > Software organization and properties > Contextual software domains > Operating systems > Process management
Theory of computation > Models of computation > Concurrency
Theory of computation > Models of computation > Concurrency > Parallel computing models
Writing
ISBN:9780897913416, 0897913418
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Abstract Refined Languages (Refined Fortran, Refined C, etc.) are extensions of their parent languages in which it is possible to express parallelism, but impossible to create races or deadlocks. Where strictly deterministic behavior is desired, multiple executions of a Refined Fortran program with the same input data can be guaranteed to either compute the same results or terminate with the same run-time errors regardless of differences in scheduling. Where asynchronous behavior is desired, freedom from races can be guaranteed. The Refined Languages approach achieves its goal by extending sequential imperative programming languages with data- (rather than control-) oriented constructs, and by viewing the expression of parallelism in data- (rather than control-) oriented terms. Earlier versions of Refined Fortran are discussed in [1]-[2]; the present work supersedes and extends work reported in these earlier publications.
AbstractList Refined Languages (Refined Fortran, Refined C, etc.) are extensions of their parent languages in which it is possible to express parallelism, but impossible to create races or deadlocks. Where strictly deterministic behavior is desired, multiple executions of a Refined Fortran program with the same input data can be guaranteed to either compute the same results or terminate with the same run-time errors regardless of differences in scheduling. Where asynchronous behavior is desired, freedom from races can be guaranteed. The Refined Languages approach achieves its goal by extending sequential imperative programming languages with data- (rather than control-) oriented constructs, and by viewing the expression of parallelism in data- (rather than control-) oriented terms. Earlier versions of Refined Fortran are discussed in [1]-[2]; the present work supersedes and extends work reported in these earlier publications.
Author Klappholz, D.
Kong, X.
Kalis, A. D.
Author_xml – sequence: 1
  givenname: D.
  surname: Klappholz
  fullname: Klappholz, D.
  organization: Department of Electrical Engineerlng and Computer Science, Stevens Institute of Technology, Castle Point Station, Hohoken, NJ
– sequence: 2
  givenname: X.
  surname: Kong
  fullname: Kong, X.
  organization: Department of Electrical Engineerlng and Computer Science, Stevens Institute of Technology, Castle Point Station, Hohoken, NJ
– sequence: 3
  givenname: A. D.
  surname: Kalis
  fullname: Kalis, A. D.
  organization: Department of Electrical Engineerlng and Computer Science, Stevens Institute of Technology, Castle Point Station, Hohoken, NJ
BookMark eNqNkDFPwzAQhS0BElA6scGSATEgtfh8tmOzVRUFpEpICGbLiS9SoIlDnA78e9KWH8At76T36Q3fOTtuY0uMXQKfA0h1n2uhcZ5rRHHEpjY33NjcAkrQp2ya0icfTyljLJyxqzeq6pZCtor90Pv2IfNttu2CH-iCnVR-k2j6lxP2sXp8Xz7P1q9PL8vFeuaRq2EG2igpCUMQgkqwprDAx79UgLryUoNHZYISxmKweSh1kNx6W0kwptABJ-z2sNv18XtLaXBNnUrabHxLcZscghJcCxzB6wNYE5Hr-rrx_Y9TKI3Vu_bm0PqycUWMX8kBdzsjbm_E7Y2M2N0_MFf0NVX4C9i7XZQ
ContentType Conference Proceeding
Copyright 1989 ACM
Copyright_xml – notice: 1989 ACM
DBID 6IE
6IL
CBEJK
RIE
RIL
7SC
8FD
JQ2
L7M
L~C
L~D
DOI 10.1145/76263.76332
DatabaseName IEEE Electronic Library (IEL) Conference Proceedings
IEEE Xplore POP ALL
IEEE Xplore All Conference Proceedings
IEEE Electronic Library (IEL)
IEEE Proceedings Order Plans (POP All) 1998-Present
Computer and Information Systems Abstracts
Technology Research Database
ProQuest Computer Science Collection
Advanced Technologies Database with Aerospace
Computer and Information Systems Abstracts – Academic
Computer and Information Systems Abstracts Professional
DatabaseTitle Computer and Information Systems Abstracts
Technology Research Database
Computer and Information Systems Abstracts – Academic
Advanced Technologies Database with Aerospace
ProQuest Computer Science Collection
Computer and Information Systems Abstracts Professional
DatabaseTitleList
Computer and Information Systems Abstracts
Database_xml – sequence: 1
  dbid: RIE
  name: IEEE Electronic Library (IEL)
  url: https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EndPage 615
ExternalDocumentID 5348963
Genre orig-research
Conference Paper
GroupedDBID 6IE
6IK
AAJGR
ACGHX
ACM
ADPZR
ALMA_UNASSIGNED_HOLDINGS
APO
BEFXN
BFFAM
BGNUA
BKEBE
BPEOZ
CBEJK
GUFHI
OCL
RIB
RIC
RIE
6IL
AAWTH
LHSKQ
RIL
7SC
8FD
JQ2
L7M
L~C
L~D
ID FETCH-LOGICAL-a305t-168544e3dd22ec198b910d22c5136fa461a358d52893d97dc6d409a9f4188b6d3
IEDL.DBID RIE
ISBN 9780897913416
0897913418
ISICitedReferencesCount 0
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=10.1145/76263.76332&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
IngestDate Fri Jul 11 05:42:33 EDT 2025
Tue Aug 26 16:56:19 EDT 2025
Wed Jan 31 06:43:56 EST 2024
IsDoiOpenAccess false
IsOpenAccess true
IsPeerReviewed false
IsScholarly false
Language English
License Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from Permissions@acm.org
LinkModel DirectLink
MeetingName SC '89: International Conference for High Performance Computing, Networking, Storage and Analysis
MergedId FETCHMERGED-LOGICAL-a305t-168544e3dd22ec198b910d22c5136fa461a358d52893d97dc6d409a9f4188b6d3
Notes SourceType-Conference Papers & Proceedings-1
ObjectType-Conference Paper-1
content type line 25
OpenAccessLink https://dl.acm.org/doi/pdf/10.1145/76263.76332
PQID 31520623
PQPubID 23500
PageCount 9
ParticipantIDs proquest_miscellaneous_31520623
acm_books_10_1145_76263_76332
acm_books_10_1145_76263_76332_brief
ieee_primary_5348963
PublicationCentury 1900
PublicationDate 19890801
1989-Nov.
19891101
PublicationDateYYYYMMDD 1989-08-01
1989-11-01
PublicationDate_xml – month: 08
  year: 1989
  text: 19890801
  day: 01
PublicationDecade 1980
PublicationPlace New York, NY, USA
PublicationPlace_xml – name: New York, NY, USA
PublicationSeriesTitle ACM Conferences
PublicationTitle Proceedings of the 1989 ACM/IEEE conference on Supercomputing
PublicationTitleAbbrev sc
PublicationYear 1989
Publisher ACM
IEEE
Publisher_xml – name: ACM
– name: IEEE
SSID ssj0000558891
Score 1.2095308
Snippet Refined Languages (Refined Fortran, Refined C, etc.) are extensions of their parent languages in which it is possible to express parallelism, but impossible to...
SourceID proquest
ieee
acm
SourceType Aggregation Database
Publisher
StartPage 607
SubjectTerms Computer systems organization -- Architectures -- Parallel architectures
Concurrent computing
Costs
Detectors
Parallel processing
Permission
Program processors
Programming profession
Runtime
Sensor arrays
Software and its engineering -- Software notations and tools -- General programming languages -- Language features
Software and its engineering -- Software notations and tools -- General programming languages -- Language types
Software and its engineering -- Software organization and properties -- Contextual software domains -- Operating systems -- Process management
Theory of computation -- Models of computation -- Concurrency
Theory of computation -- Models of computation -- Concurrency -- Parallel computing models
Writing
Title Refined Fortran: an update
URI https://ieeexplore.ieee.org/document/5348963
https://www.proquest.com/docview/31520623
WOSCitedRecordID wos10.1145/76263.76332&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
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LS8NAEB7a4sFT1VZstRrQo2mzTfblVSwepBRR6W3ZzW7Ag2lpG3-_s9u0HhTB24YQCB8zO9-8AW78DPI84Ty2xozjzIgkNr7W1eJlaB1HDh3iHW9PfDoV87mcNeB23wvjnAvFZ27ojyGXbxd55UNlI5pmAgWmCU3O2bZXax9PSSgVQpIw4lFyn08moh6ws3tmdX8eyeiI-yksQ1Quv3ekqfOPervKjys52JlJ-39_eATd74a9aLY3RcfQcOUJtHcbG6JagTvQf3YF0kobTZB1o5W6i3QZVUvv9XfhdfLwcv8Y19sRYo06uokJEzTLXGrteOxyIoVBy4_nnJKUFTpjRKdUWIoeVWoltzmz6MtpWSAwwjCbnkKrXJTuDCKkjKQw0tDccXQPhRaGMJ0iG-LSMSN7MECElKf9a7XtZKYqIKgCgj24_vO9Muj2Fz3oeMDUcjtGQ9VY9eBqh7hC0fb5Cl26RbVWKXKLBOlZ__cPz-EwFHyFxsALaG1WlRvAQf65eV-vLoN0fAFzVK-K
linkProvider IEEE
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3PT8IwFH5BNNETKhhBkSV6dEAZXVuvRoIRCTFouDXt2iUeHASYf7-vZeBBY-Kty7Jk-fJe3_d-A9y4GeRJl7HQaN0L-5p3Q-1qXQ1ehsYy5NA-3vE2YuMxn83EpAS3u14Ya60vPrNtd_S5fDNPchcq69Coz1Fg9mDfbc4qurV2EZUupZwL4oc8CuYyyoQXI3a2z3HRoUf6tMPcHJY2qpfbPLKnko9iv8qPS9lbmkHlf_94DLXvlr1gsjNGJ1Cy2SlUtjsbgkKFq9B4sSkSSxMMkHejnboLVBbkC-f31-B18DC9H4bFfoRQoZauQxJzxMFGxvR6NiGCa7T9eE4oieJU9WOiIsoNRZ8qMoKZJDbozSmRIjBcxyY6g3I2z-w5BEgaSaqFpoll6CByxTWJVYR8iAkba1GHJiIkHfFfyU0vM5UeQekRrMP1n--lRsc_rUPVASYXm0EassCqDq0t4hKF22UsVGbn-UpGyC66SNAav3_YgsPh9HkkR4_jpws48uVfvk3wEsrrZW6bcJB8rt9XyysvKV_QBrLT
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%3Abook&rft.genre=proceeding&rft.title=Proceedings+of+the+1989+ACM%2FIEEE+conference+on+Supercomputing&rft.atitle=Refined+Fortran%3A+an+update&rft.au=Klappholz%2C+D.&rft.au=Kong%2C+X.&rft.au=Kalis%2C+A.+D.&rft.series=ACM+Conferences&rft.date=1989-08-01&rft.pub=ACM&rft.isbn=9780897913416&rft.spage=607&rft.epage=615&rft_id=info:doi/10.1145%2F76263.76332
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780897913416/lc.gif&client=summon&freeimage=true
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780897913416/mc.gif&client=summon&freeimage=true
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780897913416/sc.gif&client=summon&freeimage=true