Filters








18,560 Hits in 5.2 sec

A Minimalist's Reversible While Language

Robert GLÜCK, Tetsuo YOKOYAMA
2017 IEICE transactions on information and systems  
Despite its extreme simplicity, the language is reversibly universal, which means that it is as powerful as any reversible language can be, while it is linear-time self-interpretable, and it allows reversible  ...  Owing to its simplicity, the language may also be used for educational purposes. key words: reversible programming language, reversible self-interpreter, while language, translation, program inversion  ...  A preliminary version of R-CORE and the translator was presented at the 17th Workshop on Programming and Programming Languages (PPL 2015).  ... 
doi:10.1587/transinf.2016edp7274 fatcat:3ipg2pgkvvedlmugdpwkuouxxu

可逆命令型言語の線形時間自己解釈系
A Linear-Time Self-Interpreter of a Reversible Imperative Language

Robert GLÜCK, Tetsuo YOKOYAMA
2016 Konpyuta sofutowea  
A linear-time reversible self-interpreter in an r-Turing complete reversible imperative language is presented.  ...  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  ...  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

Transforming interpreters into inverse interpreters by partial evaluation

Robert Glück, Youhei Kawada, Takuya Hashimoto
2003 SIGPLAN notices  
This way we generated inverse interpreters for several small languages including interpreters for Turing machines, an applied lambda calculus, a flowchart language, and a subset of Java bytecode.  ...  The experiments in this paper apply the idea of prototyping programming language tools from robust semantics: we used a partial evaluator (Similix) to turn interpreters into inverse interpreters.  ...  to Takeshi Takeuchi for testing some of the programs.  ... 
doi:10.1145/966049.777391 fatcat:iymfman5ofhtjdbdiz364fwvg4

Transforming interpreters into inverse interpreters by partial evaluation

Robert Glück, Youhei Kawada, Takuya Hashimoto
2003 Proceedings of the 2003 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation - PEPM '03  
This way we generated inverse interpreters for several small languages including interpreters for Turing machines, an applied lambda calculus, a flowchart language, and a subset of Java bytecode.  ...  The experiments in this paper apply the idea of prototyping programming language tools from robust semantics: we used a partial evaluator (Similix) to turn interpreters into inverse interpreters.  ...  to Takeshi Takeuchi for testing some of the programs.  ... 
doi:10.1145/777388.777391 dblp:conf/pepm/GluckKH03 fatcat:ik3heqwf4zg2vablulu7q3hxfu

Reversible Computation and Reversible Programming Languages

Tetsuo Yokoyama
2010 Electronical Notes in Theoretical Computer Science  
A reversible programming language supports deterministic forward and backward computation. This tutorial focuses on a high-level reversible programming language Janus.  ...  Janus is simple, yet powerful, and its constructs can serve as a model for designing reversible languages in general.  ...  Any level of self-interpreters can be both inverted and uncalled. A reversible self-interpreter for the original Janus and a tower of reversible interpreters were reported in [32] .  ... 
doi:10.1016/j.entcs.2010.02.007 fatcat:jkfz6vwpnncttkhnudpl4r6ze4

What Do Reversible Programs Compute? [chapter]

Holger Bock Axelsen, Robert Glück
2011 Lecture Notes in Computer Science  
Thus, even though the RTMs are sub-universal in the classical sense, they are powerful enough as to include a self-interpreter.  ...  transformations such as inversion, and general static prediction of program properties.  ...  The authors wish to thank Michael Kirkedal Thomsen for help with the figures and Tetsuo Yokoyama for discussions on RTM-computability.  ... 
doi:10.1007/978-3-642-19805-2_4 fatcat:httvxsi2vjgina3pd7krqznzti

Principles of Inverse Computation and the Universal Resolving Algorithm [chapter]

Sergei Abramov, Robert Glück
2002 Lecture Notes in Computer Science  
We survey fundamental concepts in inverse programming and present the Universal Resolving Algorithm (URA), an algorithm for inverse computation in a first-order, functional programming language.  ...  We explain the idea of a semantics modifier for inverse computation which allows us to perform inverse computation in other programming languages via interpreters. On leave from DIKU,  ...  Acknowledgements The authors thank the reviewers for thorough and careful reading of the submitted paper and for providing many helpful comments.  ... 
doi:10.1007/3-540-36377-7_13 fatcat:75bwzlgv5bhivdzqbhahukzrui

Formal Methods within a Totally Functional Approach to Programming [chapter]

Paul A. Bailes, Colin J. M. Kemp
2003 Lecture Notes in Computer Science  
Taking functional programming to its extremities in search of simplicity still requires integration with other development (e.g. formal) methods.  ...  Induction is the key to deriving and verifying functional programs, but can be simplified through packaging proofs with functions, particularly "folds", on data (structures).  ...  Acknowledgements We are grateful to our numerous students/colleagues whom have contributed to the work reported above over the years and to its presentation in this form, notably Trevor Chorvat, Simeon  ... 
doi:10.1007/978-3-540-40007-3_18 fatcat:nqtizeveojcsjar4h4pkahf7ii

A Categorical Foundation for Structured Reversible Flowchart Languages

Robert Glück, Robin Kaarsgaard
2018 Electronical Notes in Theoretical Computer Science  
about it, and discuss further applications of decisions in reversible programming.  ...  This leads to a categorical semantics for structured reversible flowcharts, from which we show that a program inverter can be extracted.  ...  and the invertibility of object language programs.  ... 
doi:10.1016/j.entcs.2018.03.021 fatcat:kor4p3i4bjcdzexx7uoxlxna3u

Design and Implementation of a Reversible Object-Oriented Programming Language [article]

Tue Haulund
2017 arXiv   pre-print
The language extends the design of existing reversible imperative languages and it allows for effective implementation on reversible machines.  ...  ROOPL statements are locally invertible at no extra cost to program size or computational complexity and the language provides direct access to the inverse semantics of each class method.  ...  A reversible self-interpreter for the reversible imperative language R-WHILE was shown in [23] .  ... 
arXiv:1707.07845v1 fatcat:tfy6pezitfgr5j7s555rqn5szy

Dynamic Reverse Code Generation for Backward Execution

Jooyong Lee
2007 Electronical Notes in Theoretical Computer Science  
The novelty of our work is that we generate reverse code on-the-fly, while running a debugger, which makes it possible to apply the method even to debugging multi-threaded programs.  ...  The need for backward execution in debuggers has been raised a number of times. Backward execution helps a user naturally think backwards and, in turn, easily locate the cause of a bug.  ...  Acknowledgement The author would like to thank especially Mogens Nielsen and Olivier Danvy for their valuable comments and advice.  ... 
doi:10.1016/j.entcs.2006.12.028 fatcat:h7d4ckhk4ngcjm4tagtlyahkeq

A Program Inverter for a Functional Language with Equality and Constructors [chapter]

Robert Glück, Masahiko Kawabe
2003 Lecture Notes in Computer Science  
We present a method for automatic program inversion in a first-order functional programming language.  ...  We formalize the transformation and illustrate it with several examples including the automatic derivation of a program for run-length decoding from a program for runlength encoding.  ...  Acknowledgements We are grateful to Alberto Pettorossi and Maurizio Proietti for valuable comments on an earlier version of our inversion method. The  ... 
doi:10.1007/978-3-540-40018-9_17 fatcat:mjwxpvxz2bcybiugckq47ethku

Interpreting and inverting with less cursing: A guide to interpreting IRAP data

Ian Hussey, Miles Thompson, Ciara McEnteggart, Dermot Barnes-Holmes, Yvonne Barnes-Holmes
2015 Journal of Contextual Behavioral Science  
This Professional Interest Brief seeks to provide a clear guide to interpreting data generated by Implicit Relational Assessment Procedure (IRAP).  ...  Abstract This Professional Interest Brief seeks to provide a clear guide to interpreting data generated by Implicit Relational Assessment Procedure (IRAP).  ...  Interpreting and inverting with less cursing: A guide to interpreting IRAP data One of the cornerstones of Contextual Behavioral Science (CBS: Hayes, Barnes-Holmes, & Wilson, 2012) is its appeal to a  ... 
doi:10.1016/j.jcbs.2015.05.001 fatcat:zvx7p6armvaihfzexxqzc62ecy

Foundations of Reversible Computation [chapter]

Bogdan Aman, Gabriel Ciobanu, Robert Glück, Robin Kaarsgaard, Jarkko Kari, Martin Kutrib, Ivan Lanese, Claudio Antares Mezzina, Łukasz Mikulski, Rajagopal Nagarajan, Iain Phillips, G. Michele Pinna (+3 others)
2020 Lecture Notes in Computer Science  
The linear-time self-interpretability makes the language also suitable for foundational studies of computability and complexity from a programming language perspective [84] .  ...  A program is regarded as reversible if each of its meaningful subprograms is partially invertible. Thus, reversible programs have reversible semantics [61] .  ... 
doi:10.1007/978-3-030-47361-7_1 fatcat:3qgnwqrqnvdltkqjbuzfgx7wty

Underlying Processes of an Inverted Personalization Effect in Multimedia Learning – An Eye-Tracking Study

Steffi Zander, Stefanie Wetzel, Tim Kühl, Sven Bertel
2017 Frontiers in Psychology  
Although there is evidence that these slight changes in regard to the language style affect learning, motivation and the perceived cognitive load, it remains unclear, (1) whether the positive effects of  ...  German university students (N = 37) learned symptoms and causes of cerebral hemorrhages either with a formal or a personalized version of the learning material.  ...  ACKNOWLEDGMENTS We thank Maria Reichelt for her support with preparation and conducting the study, data collection and analysis.  ... 
doi:10.3389/fpsyg.2017.02202 pmid:29326630 pmcid:PMC5736528 fatcat:s5horgjeszfnjbjnp3airh4vwy
« Previous Showing results 1 — 15 out of 18,560 results