Filters








169,741 Hits in 3.8 sec

Experiences with the development of a reverse engineering tool for UML sequence diagrams

Matthias Merdes, Dirk Dorsch
2006 Proceedings of the 4th international symposium on Principles and practice of programming in Java - PPPJ '06  
The development of a tool for reconstructing UML sequence diagrams from executing Java programs is a challenging task. We implemented such a tool designed to analyze any kind of Java program.  ...  It is of special interest to investigate systematically in what ways the Java platform facilitates (or hinders) the construction of the described reverse engineering tool.  ...  Disadvantages of such a scripting language compared to a high-level object-oriented programming language like Java include limitations of the core language libraries, as well as fewer third-party libraries  ... 
doi:10.1145/1168054.1168072 dblp:conf/pppj/MerdesD06 fatcat:lyvlbqo2ljgmnbba2sigvbhkmy

Formal Analysis of CRT-RSA Vigilant's Countermeasure Against the BellCoRe Attack

Pablo Rauzy, Sylvain Guilley
2014 Proceedings of ACM SIGPLAN on Program Protection and Reverse Engineering Workshop 2014 - PPREW'14  
Indeed, the original version of Vigilant's countermeasure is actually broken, but not as much as Coron et al. thought it was. As a consequence, the repaired version they proposed can be simplified.  ...  Fortunately, we could formally prove the simplified repaired version to be resistant to the BellCoRe attack, which was considered a "challenging issue" by the authors of the countermeasure themselves.  ...  We also sincerely acknowledge the SIGPLAN PAC program of the ACM for a financial sponsor.  ... 
doi:10.1145/2556464.2556466 dblp:conf/popl/RauzyG14 fatcat:65tl3lh4fnhopdpzbpzovhzsvq

Embracing the Laws of Physics: Three Reversible Models of Computation [article]

Jacques Carette, Roshan P. James, Amr Sabry
2018 arXiv   pre-print
We then consider a structured notion of data based on the Curry-Howard correspondence; here reversible deformations, as a programming language for witnessing type isomorphisms, comes from proof terms for  ...  We then "move up a level" to treat programs as data.  ...  Acknowledgements We would like to thank the numerous students and colleagues who participated in various aspects of this research and who provided valuable feedback and constructive criticism.  ... 
arXiv:1811.03678v2 fatcat:norbif3a3zgdvn4ompwdw4lqn4

Principles for modeling language design

R.F Paige, J.S Ostroff, P.J Brooke
2000 Information and Software Technology  
Modeling languages, like programming languages, need to be designed if they are to be practical, usable, accepted, and of lasting value. We present principles for the design of modeling languages.  ...  We conject that the principles are applicable to the development of new modeling languages, and for improving the design of existing modeling languages that have evolved, perhaps through a process of unification  ...  A great deal of effort has been spent on studying and producing principles and criteria for the design of programming languages.  ... 
doi:10.1016/s0950-5849(00)00109-9 fatcat:pzlyynzqrvhrdc2bkosuomf5ni

Reversible Control of Robots [chapter]

Ulrik Pagh Schultz
2020 Lecture Notes in Computer Science  
Thanks to Gabriel Ciobanu for help in describing the related work on reversibility of massively parallel systems.  ...  Language The idea of reversible control of industrial robots was initially presented using a high-level programming language [11] . An example is shown in Fig. 2 .  ...  There is for example a large design space for different programming language approaches, both in terms of the generality of the language and the means by which reversibility is achieved.  ... 
doi:10.1007/978-3-030-47361-7_8 fatcat:ula4oeu6ujccvf5lhwc2fmryqm

The Single Model Principle

Richard F. Paige, Jonathan S. Ostroff
2002 Journal of Object Technology  
We propose that to best support seamless, reversible software development of reliable software, it is preferable to follow the single model principle for a specific subset of development tasks.  ...  We describe how a UML profile (including the use of Java) might provide weak support for the principle.  ...  In order to explore the single model principle, we will need to choose a programming language (e.g., Java) to complement the UML.  ... 
doi:10.5381/jot.2002.1.5.c6 fatcat:j23sb75s4reibirx7uceuu4xcq

Component-Based Design from Finite Element Software Written in the FORTRAN Language

T. Arudchelvam, S. Ratnajeevan H. Hoole, Janaka Wijayakulasooriya
2014 Journal of clean energy technologies  
Much of those codes were written in FORTRAN programming language and modern software developers are facing difficulties in understanding and modifying those codes according to the present needs.  ...  Further, developing a suitable user interface will make it easy to the users depending on the nature of the problems and the level of the users.  ...  He also thanks the University of Peradeniya for their support to carry out this research work. Further, he thanks Wayamba University of Sri Lanka for the study leave and other moral support rendered.  ... 
doi:10.7763/ijcte.2014.v6.849 fatcat:cwhbqeuklbgvlb6q5dzcecti7i

Clean Translation of an Imperative Reversible Programming Language [chapter]

Holger Bock Axelsen
2011 Lecture Notes in Computer Science  
In particular, target programs only require a constant amount of temporary garbage space.  ...  We describe the translation techniques used for the code generation in a compiler from the high-level reversible imperative programming language Janus to the low-level reversible assembly language PISA  ...  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

Machine language programming in an undergraduate computer science curriculum

Ian Sommerville
1977 ACM SIGCSE Bulletin  
A teaching language based on reverse Polish notation, but with high-level control constructs, is presented as an alternative to conventional assembly language.  ...  This paper examines the advantages and disadvantages of teaching machine inaguage programming to computer science undergraduate students.  ...  Our language, POLLY. is described below. THE PROGRAMMING LANGUAGE POLLY A POLLY program consists of variable and procedure declarations followed by a reverse Polish string of instructions.  ... 
doi:10.1145/382063.803369 fatcat:wy7yxrjbnbhtpjbrrjkerv2qgi

Machine language programming in an undergraduate computer science curriculum

Ian Sommerville
1977 Proceedings of the seventh SIGCSE technical symposium on Computer science education - SIGCSE '77  
A teaching language based on reverse Polish notation, but with high-level control constructs, is presented as an alternative to conventional assembly language.  ...  This paper examines the advantages and disadvantages of teaching machine inaguage programming to computer science undergraduate students.  ...  Our language, POLLY. is described below. THE PROGRAMMING LANGUAGE POLLY A POLLY program consists of variable and procedure declarations followed by a reverse Polish string of instructions.  ... 
doi:10.1145/800104.803369 fatcat:fuuvmh6jnjekblccwdwgxxcrs4

From Reversible Programs to Univalent Universes and Back [article]

Jacques Carette, Chao-Hong Chen, Vikraman Choudhury, Amr Sabry
2017 arXiv   pre-print
We establish a close connection between a reversible programming language based on type isomorphisms and a formally presented univalent universe.  ...  The result suggests a simple computational interpretation of paths and of univalence in terms of familiar programming constructs whenever the universe in question is computable.  ...  Reversible Programming Languages Starting from the physical principle of "conservation of information" [16, 14] , James and Sabry [18] proposed a family of programming languages Π in which computation  ... 
arXiv:1708.02710v1 fatcat:pz3qqdsrgfa37pcdim3fl72tuq

Organizational support for training of russian sign language translators in educational institutions

Olga O. Afanasyeva, Anastasia V. Karpunina, Angelina A. Kvitkovskaya, Olga A. Anikeeva, Valeriya V. Sizikova
2021 Política e Gestão Educacional  
But because such a knowledge of sign language is designed to eliminate and compensate for numerous barriers of interaction.  ...  The article contains materials for analysis of general principles of organizing training, legislatively enshrined conditions for organizing the process of training Russian sign language translators (RSL  ...  a written examination for knowledge of the theoretical foundations of translation activities, demonstration of translation (direct consecutive, reverse consecutive, direct simultaneous, reverse synchronous  ... 
doi:10.22633/rpge.v25iesp.3.15579 fatcat:zov2emhxhvh5pcqbwfzho6y24a

Continuation-Passing Style, Defunctionalization, Accumulations, and Associativity

Jeremy Gibbons
2021 The Art, Science, and Engineering of Programming  
Context: Reynolds showed us how to use continuation-passing style and defunctionalization to transform a recursive interpreter for a language into an abstract machine for programs in that language.  ...  Grounding: We replay developments of these programs through a series of program transformations and data refinements, justified by equational reasoning.  ...  Acknowledgements I'm very grateful for constructive feedback from members of the Algebra of Programming research group at Oxford, especially Guillaume Boisseau, Josh Ko, Shin Cheng Mu, Richard Bird, Geraint  ... 
doi:10.22152/programming-journal.org/2022/6/7 fatcat:kmlmnvfhfzbd3k2a7wcgkkgya4

Automatic differentiation in ML: Where we are and where we should be going [article]

Bart van Merriënboer, Olivier Breuleux, Arnaud Bergeron, Pascal Lamblin
2019 arXiv   pre-print
The ability to represent closures allows us to perform AD using ST without a tape, making the resulting derivative (adjoint) program amenable to ahead-of-time optimization using tools from functional language  ...  Lastly, we introduce a proof of concept compiler toolchain called Myia which uses a subset of Python as a front end.  ...  Her contributions and insight helped shape the current version of Myia. Early discussions and brainstorming with Olexa Bilaniuk also helped determining the scope and direction of the project.  ... 
arXiv:1810.11530v2 fatcat:g2chgpagsvhn5daeka26diuwle

Model Based Software Production Utilized by Visual Templates [chapter]

Mika Karaila
2010 Visual Servoing  
This makes reverse engineering of FBL programs significantly easier than reverse engineering programs written in traditional programming languages.  ...  The principles are applicable to be used in other context. Function block language 2.1 Introduction The visual notation of FBL consists of symbols and lines connecting them.  ...  This book collects the main studies about machine vision currently in the world, and has a powerful persuasion in the applications employed in the machine vision.  ... 
doi:10.5772/8544 fatcat:nwgoilvogfhfzcbibyxnqcbm6i
« Previous Showing results 1 — 15 out of 169,741 results