FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2345522090> ?p ?o ?g. }

• W2345522090 abstract "Developing correct computer programs is a notoriously dicult task, which has attracted a signicant intellectual eort over the past decades. One attractive methodology that has been proposed to tackle this problem consists of systems for program renement, in which a calculus is given for transforming, often in a top-down manner, the specication of a computational task into a program implementing this specication (excellent introductions to renement are Back and von Wright 1998 and Morgan 1994). Calculi for the renement of sequential programs are by now a mature and well-established eld. In this abstract, I wish to discuss some issues that arise when we try to develop a renement calculus for distributed programs. This discussion is based on a joint project with Ron van der Meyden and Kai Engelhardt of the University of New South Wales, Sydney, Australia. Some insight into the technical aspects of the approach we are pursuing can be found in Engelhardt et al. 1998 and 2000 and in van der Meyden and Moses 2000. 1 An obvious point to start a discussion of renement for distributed programs is the sequential case. The subtlety and inherent complexity of distributed systems make the task of renement for distributed programs much harder. The purpose of this abstract is to discuss, in an informal fashion, some of the distinctive issues that seem to play a role in this eort. The hope is that a discussion of these issues may contribute to other work on formal and algorithmic approaches to distributed computation. On sequential renement: We have described the goal of a renement calculus as being the transformation of a specication into an implementation. Roughly speaking, then, we start out with an object of one type|specication| and end up with an object of another type|an executable program. In the process of transforming the former to the latter we may have intermediate objects that do not qualify as being pure specications nor as being executable programs. To overcome this disparity, it is common to dene a larger class of programs that will contain specications and executable programs, as well as all of the intermediateform programs that can arise in the course of the renement process. A natural question, then, is what this space should consist of. For sequential programs, 1 Insights described here have been obtained as part of this joint work; any mistakes or misrepresentations are my own doing." @default.
• W2345522090 created "2016-06-24" @default.
• W2345522090 creator A5005055897 @default.
• W2345522090 date "2000-01-01" @default.
• W2345522090 modified "2023-09-27" @default.
• W2345522090 title "Issues in the Renement of Distributed Programs" @default.
• W2345522090 cites W1526359699 @default.
• W2345522090 cites W1549420241 @default.
• W2345522090 cites W2042981544 @default.
• W2345522090 cites W2045364115 @default.
• W2345522090 cites W2058696974 @default.
• W2345522090 cites W2077371116 @default.
• W2345522090 cites W2087171358 @default.
• W2345522090 cites W2097139655 @default.
• W2345522090 cites W2103953153 @default.
• W2345522090 cites W2296352387 @default.
• W2345522090 cites W2611515161 @default.
• W2345522090 cites W2913064602 @default.
• W2345522090 hasPublicationYear "2000" @default.
• W2345522090 type Work @default.
• W2345522090 sameAs 2345522090 @default.
• W2345522090 citedByCount "0" @default.
• W2345522090 crossrefType "journal-article" @default.
• W2345522090 hasAuthorship W2345522090A5005055897 @default.
• W2345522090 hasConcept C162324750 @default.
• W2345522090 hasConcept C187736073 @default.
• W2345522090 hasConcept C199360897 @default.
• W2345522090 hasConcept C2524010 @default.
• W2345522090 hasConcept C2777667586 @default.
• W2345522090 hasConcept C2780451532 @default.
• W2345522090 hasConcept C28719098 @default.
• W2345522090 hasConcept C33923547 @default.
• W2345522090 hasConcept C41008148 @default.
• W2345522090 hasConcept C42475967 @default.
• W2345522090 hasConcept C80444323 @default.
• W2345522090 hasConceptScore W2345522090C162324750 @default.
• W2345522090 hasConceptScore W2345522090C187736073 @default.
• W2345522090 hasConceptScore W2345522090C199360897 @default.
• W2345522090 hasConceptScore W2345522090C2524010 @default.
• W2345522090 hasConceptScore W2345522090C2777667586 @default.
• W2345522090 hasConceptScore W2345522090C2780451532 @default.
• W2345522090 hasConceptScore W2345522090C28719098 @default.
• W2345522090 hasConceptScore W2345522090C33923547 @default.
• W2345522090 hasConceptScore W2345522090C41008148 @default.
• W2345522090 hasConceptScore W2345522090C42475967 @default.
• W2345522090 hasConceptScore W2345522090C80444323 @default.
• W2345522090 hasLocation W23455220901 @default.
• W2345522090 hasOpenAccess W2345522090 @default.
• W2345522090 hasPrimaryLocation W23455220901 @default.
• W2345522090 hasRelatedWork W1489921942 @default.
• W2345522090 hasRelatedWork W1533556407 @default.
• W2345522090 hasRelatedWork W1560587967 @default.
• W2345522090 hasRelatedWork W1922601841 @default.
• W2345522090 hasRelatedWork W1980864478 @default.
• W2345522090 hasRelatedWork W1992483812 @default.
• W2345522090 hasRelatedWork W2002350534 @default.
• W2345522090 hasRelatedWork W2004321173 @default.
• W2345522090 hasRelatedWork W2028083276 @default.
• W2345522090 hasRelatedWork W2038871803 @default.
• W2345522090 hasRelatedWork W2107283383 @default.
• W2345522090 hasRelatedWork W2296582496 @default.
• W2345522090 hasRelatedWork W2333972013 @default.
• W2345522090 hasRelatedWork W2555016675 @default.
• W2345522090 hasRelatedWork W2574891804 @default.
• W2345522090 hasRelatedWork W3083890264 @default.
• W2345522090 hasRelatedWork W874095766 @default.
• W2345522090 hasRelatedWork W94209932 @default.
• W2345522090 hasRelatedWork W2306125749 @default.
• W2345522090 hasRelatedWork W2560089524 @default.
• W2345522090 isParatext "false" @default.
• W2345522090 isRetracted "false" @default.
• W2345522090 magId "2345522090" @default.
• W2345522090 workType "article" @default.