Results 1  10
of
149
Reversible Structured Program Theorem
"... In 2001, Patrick P. Gelsinger, a senior vice president at Intel corp., predicts that one of the bottlenecks of modern chip design is heat dissipation and that the upper limits of power density will be reached within the next 15 years, provided that the current trends continue [Gel01]. For the end of ..."
Abstract
 Add to MetaCart
and programming language level. Reversible computation which is a deterministic forward and backward computation of a program is closely related to inverse computation. A reversible program allows a deterministic timeinvertible computation where at any time not only the next machine state can be constructed
TIE: Principled reverse engineering of types in binary programs
 In Proceedings of the Network and Distributed System Security Symposium
, 2011
"... A recurring problem in security is reverse engineering binary code to recover highlevel language data abstractions and types. Highlevel programming languages have data abstractions such as buffers, structures, and local variables that all help programmers and program analyses reason about progr ..."
Abstract

Cited by 39 (2 self)
 Add to MetaCart
A recurring problem in security is reverse engineering binary code to recover highlevel language data abstractions and types. Highlevel programming languages have data abstractions such as buffers, structures, and local variables that all help programmers and program analyses reason about
Proving Theorems about LISP Functions
, 1975
"... Program verification is the idea that properties of programs can be precisely stated and proved in the mathematical sense. In this paper, some simple heuristics combining evaluation and mathematical induction are described, which the authors have implemented in a program that automatically proves a ..."
Abstract

Cited by 59 (2 self)
 Add to MetaCart
wide variety of theorems about recursive LISP functions. The method the program uses to generate induction formulas is described at length. The theorems proved by the program include that REVERSE is its own inverse and that a particular SORT program is correct. A list of theorems proved by the program
Reverse Engineering Method Stereotypes
"... An approach to automatically identify the stereotypes of all the methods in an entire system is presented. A taxonomy for objectoriented class method stereotypes is given that unifies and extends the existing literature to address gaps and deficiencies. Based on this taxonomy, a set of definitions ..."
Abstract

Cited by 16 (8 self)
 Add to MetaCart
is given and method stereotypes are reverse engineered using lightweight static program analysis. Classification is done solely by programming language structures and idioms, in this case C++. The approach is used to automatically redocument each method by annotating the original source code
A functional quantum programming language
 In: Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science
, 2005
"... This thesis introduces the language QML, a functional language for quantum computations on finite types. QML exhibits quantum data and control structures, and integrates reversible and irreversible quantum computations. The design of QML is guided by the categorical semantics: QML programs are inte ..."
Abstract

Cited by 64 (10 self)
 Add to MetaCart
This thesis introduces the language QML, a functional language for quantum computations on finite types. QML exhibits quantum data and control structures, and integrates reversible and irreversible quantum computations. The design of QML is guided by the categorical semantics: QML programs are in
CausalConsistent Reversibility in a TupleBased Language
"... Abstract—Causalconsistent reversibility is a natural way of undoing concurrent computations. We study causalconsistent reversibility in the context of µKLAIM, a formal coordination language based on distributed tuple spaces. We consider both uncontrolled reversibility, suitable to study the basic ..."
Abstract
 Add to MetaCart
properties of the reversibility mechanism, and controlled reversibility based on a rollback operator, more suitable for programming applications. The causality structure of the language, and thus the definition of its reversible semantics, differs from all the reversible languages in the literature because
Reverse Engineering Foreign Type Systems
"... Abstract. Building systems from existing applications and data sources is common practice. Semistructured data sources (such as XML, HTML, and databases) and programming languages (such as C # and Java) conform to welldefined, albeit different, type systems, each with their own unique underlying re ..."
Abstract
 Add to MetaCart
Abstract. Building systems from existing applications and data sources is common practice. Semistructured data sources (such as XML, HTML, and databases) and programming languages (such as C # and Java) conform to welldefined, albeit different, type systems, each with their own unique underlying
Reverse mathematics and Π12 comprehension
 Bulletin of Symbolic Logic
"... Abstract. We initiate the reverse mathematics ofgeneraltopology. We show thata certain m etrization theorem is equivalent to Π12 comprehension. An MF space is defined to be a topologicalspace of the form MF(P) with the topology generated by fNp j p 2 Pg. Here P is a poset, MF(P) is the setof maximal ..."
Abstract

Cited by 6 (5 self)
 Add to MetaCart
. This is the firstexample of a theorem of core mathematics which is provable in second orderarithm eticand im plies Π12 comprehension. In the foundations ofmathematics, there is an ongoingresearch program known as reverse mathematics. One focuses on specific core mathematical theorem s ô, and one determ ines
A Method of Program Understanding using Constraint Satisfaction for Software Reverse Engineering
, 1996
"... The process of understanding a source code in a highlevel programming language is a complex cognitive task. The provision of helpful decision aid subsystems would be of great benefit to software maintainers. Given a library of program plan templates, generating a partial understanding of a piece of ..."
Abstract

Cited by 5 (2 self)
 Add to MetaCart
The process of understanding a source code in a highlevel programming language is a complex cognitive task. The provision of helpful decision aid subsystems would be of great benefit to software maintainers. Given a library of program plan templates, generating a partial understanding of a piece
Language Oriented Programming
 In: Software  Concepts and Tools, Springer Berlin / Heidelberg, Vol.15, No.4
, 1994
"... This paper describes the concept of language oriented programming which is a novel way of organising the development of a large software system, leading to a different structure for the finished product. The approach starts by developing a formally specified, domainoriented, very highlevel languag ..."
Abstract

Cited by 14 (3 self)
 Add to MetaCart
This paper describes the concept of language oriented programming which is a novel way of organising the development of a large software system, leading to a different structure for the finished product. The approach starts by developing a formally specified, domainoriented, very high
Results 1  10
of
149