4,448 Hits in 2.7 sec

A Categorical Foundation for Structured Reversible Flowchart Languages

Robert Glück, Robin Kaarsgaard
2018 Electronical Notes in Theoretical Computer Science  
Structured reversible flowchart languages is a class of imperative reversible programming languages allowing for a simple diagrammatic representation of control flow built from a limited set of control  ...  Finally, we exemplify our approach by the development of a small structured reversible flowchart language, use our framework to both straightforwardly give it semantics and derive fundamental theorems  ...  in turn used these to model the fundamental control structures of reversible loops and conditionals in structured reversible flowchart languages.  ... 
doi:10.1016/j.entcs.2018.03.021 fatcat:kor4p3i4bjcdzexx7uoxlxna3u

Reverse Engineering Application Instruments and Code Reliability: A Comparative Study of Tools [chapter]

Manaqib Ahmad Zeeshan, Salman Sagheer Waris
2021 Advances in Transdisciplinary Engineering  
These instruments are used for a better understanding of the program algorithm, logic, and program specifics in windows API functions, programming assembler language, network interaction principle.  ...  Present research shows a comparative analysis of various tools to establish which reverse engineering tool is better based on what characteristics.  ...  graphs fundamentally.  ... 
doi:10.3233/atde210012 fatcat:fwbf26el2bayfpypbkrdbaqflq

A categorical foundation for structured reversible flowchart languages: Soundness and adequacy [article]

Robert Glück, Robin Kaarsgaard
2018 arXiv   pre-print
Structured reversible flowchart languages is a class of imperative reversible programming languages allowing for a simple diagrammatic representation of control flow built from a limited set of control  ...  This class includes the reversible programming language Janus (without recursion), as well as more recently developed reversible programming languages such as R-CORE and R-WHILE.  ...  in turn used these to model the fundamental control structures of reversible loops and conditionals in structured reversible flowchart languages.  ... 
arXiv:1710.03666v2 fatcat:ryerttpls5eifbgqwldgnegdfq

The Diagram of Flow: Its Departure from Software Engineering and Its Return [chapter]

S. J. Morris, O. C. Z. Gotel
2012 Lecture Notes in Computer Science  
This reappearance took a variety of forms with varying semantics until its stabilisation in the latest version of the Unified Modeling Language.  ...  Flow is there re-instated as a fundamental concept in software engineering although its importance, and that of the activity diagram used to represent it, diminished as a consequence of its becoming just  ...  programming language, as exemplified by the initial work of Jackson [12] .  ... 
doi:10.1007/978-3-642-31223-6_26 fatcat:5ctp5z6ga5dylhdjdkxhzdo36a

Page 8773 of Mathematical Reviews Vol. , Issue 99m [page]

1999 Mathematical Reviews  
Eilenberg, a fundamental result in the theory of varieties of string languages, establishes a bijection be- tween varieties of finite monoids and varieties of string languages.  ...  Variety theorems have been established for tree languages with ap- propriate definitions of a variety of tree languages and a variety of corresponding algebras.  ... 

Clean Translation of an Imperative Reversible Programming Language [chapter]

Holger Bock Axelsen
2011 Lecture Notes in Computer Science  
The given translation methods are generic, and should be applicable to any (imperative) reversible source language described with reversible flowcharts and reversible updates.  ...  the second compiler for reversible languages overall.  ...  A preliminary version of this work was presented at the 2nd Workshop on Reversible Computing in Bremen, July 2010.  ... 
doi:10.1007/978-3-642-19861-8_9 fatcat:k3xzwvq3jzd5zfg2od2jntblyu

A Linear-Time Self-Interpreter of a Reversible Imperative Language

2016 Konpyuta sofutowea  
As self-interpreters are used to show a number of fundamental properties in classic computability and complexity theory, the present study of an efficient reversible self-interpreter is intended as a basis  ...  Although the proposed reversible interpreter consumes superlinear space, the restriction of the number of variables in the source language leads to linear-time reversible simulation.  ...  Acknowledgments A preliminary version of this paper was presented at the 17th JSSST Workshop on Programming and Programming Languages (PPL2015).  ... 
doi:10.11309/jssst.33.3_108 fatcat:nqtjjn5uxrftjbfqjz45ambryq

Page 87 of IBM Journal of Research and Development Vol. 4, Issue 1 [page]

1960 IBM Journal of Research and Development  
Speculations are made on the reversal of the polarization deep in the fundamental absorption and on the symmetry and the nature of the sites causing the various fluorescence bands.  ...  The program analyzed may be written in any of a variety of programming languages.  ... 

Analysis Refactoring with Tools

Zhala Sarkawt Othman
2018 Advances in Science, Technology and Engineering Systems  
Software refactoring has a direct impact on reducing the cost of software maintenance by changing the internal structure of the code without changing its external behavior.  ...  The software product is a very complex and timeconsuming process of development.  ...  The construction of flowchart assists to extant program logic which is easy to apprehend. In addition, the database logic is not related to the fundamental code that it is initially written [6] .  ... 
doi:10.25046/aj030617 fatcat:us3gig4a6bcrveittjtbxmt2gu

Condition/Decision Duality and the Internal Logic of Extensive Restriction Categories

Robin Kaarsgaard
2019 Electronical Notes in Theoretical Computer Science  
While categorical treatments of flowchart languages are abundant, none of them provide a treatment of this dual nature of predicates.  ...  In flowchart languages, predicates play an interesting double role.  ...  Indeed, the inspiration for using decisions as predicates came from the study of the categorical semantics of reversible flowchart languages (see [13, 19] ).  ... 
doi:10.1016/j.entcs.2019.09.010 fatcat:muwhtueaubdahjrbglw2wteqwa

Page 2128 of Mathematical Reviews Vol. , Issue 85e [page]

1985 Mathematical Reviews  
But today the programming language Pascal has become pervasive as the language of instruction in computer science de- partments.  ...  With that fact in mind we decided to alter our book Fundamentals of data structures [Comput. Sci. Press, Woodland Hills, Calif., 1976; MR 54 #6840], rewriting all of the algorithms in Pascal.  ... 

A Comparative Analysis of Looping Structures: Comparison of 'While' Loop and 'Do-While' Loop in the C++ Language

P. Shouthiri, N. Thushika
2019 Asian Journal of Research in Computer Science  
Looping is one of the fundamental logical instructions used for repeating a block of statements. All programming languages are used looping structures to simplify the programs.  ...  Loops are supported by all modern programming languages, though their implementations and syntax may differ.  ...  But for any given huge amount of iterations, the difference is fairly noticeable. Fig. 1 .Fig. 2 . 12 Flowchart of while loop Flowchart of do-while loop 4.  ... 
doi:10.9734/ajrcos/2018/v2i328752 fatcat:bbvpangoffhtvbtg23etedy6we

Design of a Fast and Autonomous Complex Line Tracker and Fully Controlled Robot by Limit Switches

Amevi Acakpovi, Salifu Osman, Olufemi O. Fatonade
2013 International Journal of Computer Applications  
The method consists first in developing a program written in Basic language under Microcode plus environment and loading it into the microcontroller to control the robot.  ...  This article mainly deals with the design of an electronic three wheeled-robot capable of tracking a black line by means of infrared sensors and also capable of moving through a given trajectory by control  ...  This is based on a specific program written in basic language and explained by the flowchart in Figure 5 . The three infrared sensors are considered digital inputs.  ... 
doi:10.5120/10079-4693 fatcat:nq7mabewnfdkrjrgoa6bcjj4gq

Guidelines for publishing papers containing theory and modeling

Alex Mogilner, Leah Edelstein-Keshet, Kerry Bloom
2011 Molecular Biology of the Cell  
engineering a biological system, that is, using fits to observed data to deduce values of important rates or parameters; and (6) extracting quantitative information from quantitative data.  ...  based on those that are observed; (3) discriminating between competing hypotheses; (4) supporting a qualitative hypothesis by showing that (simulated) computational results fit the experimental data; (5) reverse  ...  MBoC welcomes purely theoretical papers that provide an especially novel conceptual model or discussion of a fundamental biological question.  ... 
doi:10.1091/mbc.e11-01-0088 pmcid:PMC3069014 fatcat:dnq6hk5mevbgdlnnkhgumgemve

Modeling Languages [chapter]

Albert Fleischmann, Stefan Oppl, Werner Schmidt, Christian Stary
2020 Contextual Process Digitalization  
A fundamental distinction can be made between languages that focus on the flow of activity (such as flowcharts and EPCs) and those that focus on the actors in a process and their communication (such as  ...  The languages, however, fundamentally differ in what is considered to be an "actor" and how the behavior of such can be described.  ... 
doi:10.1007/978-3-030-38300-8_3 fatcat:qmzowhfiyffoncjugqtp3x7svu
« Previous Showing results 1 — 15 out of 4,448 results