Journal of the ACM (JACM)
A syntax directed compiler for ALGOL 60
Communications of the ACM
A formal approach to undo operations in programming languages
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
A view of the origins and development of Prolog
Communications of the ACM
Inferring sequences produced by pseudo-random number generators
Journal of the ACM (JACM)
Different perspectives of the N-Queens problem
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
HOPL-II The second ACM SIGPLAN conference on History of programming languages
Algebraic approaches to nondeterminism—an overview
ACM Computing Surveys (CSUR)
Programming pearls: a sample of brilliance
Communications of the ACM
A Backtrack Procedure for Isomorphism of Directed Graphs
Journal of the ACM (JACM)
Some Properties of Predicate Transformers
Journal of the ACM (JACM)
Construction through decomposition: a divide-and-conquer algorithm for the N-queens problem
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
The Evolving Role of Constraints in the Functional Data Model
Journal of Intelligent Information Systems - Special issue on functional approach to intelligent information systems
ACM Computing Surveys (CSUR)
Backtracking in a Generalized Control Setting
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
The Evaluation of Expressions in Icon
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communications of the ACM
Communications of the ACM
Two-level control structure for nondeterministic programming
Communications of the ACM
Requirements for advanced programming systems for list processing
Communications of the ACM
GEDANKEN—a simple typeless language based on the principle of completeness and the reference concept
Communications of the ACM
A model and stack implementation of multiple environments
Communications of the ACM
MPACT: microprocessor application to control-firmware translator
ACM SIGDA Newsletter
Strict deterministic versus LR(0) parsing
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The temporal logic of branching time
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A proposal for certain process management and intercommunication primitives
ACM SIGOPS Operating Systems Review
Control structure aptness: A case study using top-down parsing
ICSE '78 Proceedings of the 3rd international conference on Software engineering
The optimal fixedpoint of recursive programs
STOC '75 Proceedings of seventh annual ACM symposium on Theory of computing
APL '79 Proceedings of the international conference on APL: part 1
A procedure mechanism for backtrack programming
ACM '76 Proceedings of the 1976 annual conference
ACM '76 Proceedings of the 1976 annual conference
ACM '73 Proceedings of the ACM annual conference
A syntax directed approach for handling natural language relations
ACM '72 Proceedings of the ACM annual conference - Volume 1
The specification of program flow in Madcap 6
ACM '72 Proceedings of the ACM annual conference - Volume 2
An implementation of backtracking for programming languages
ACM '72 Proceedings of the ACM annual conference - Volume 2
Programming with(out) the GOTO
ACM '72 Proceedings of the ACM annual conference - Volume 2
An overview of nonprocedural languages
Proceedings of the ACM SIGPLAN symposium on Very high level languages
Parallel non-deterministic bottom-up parsing
Proceedings of the international symposium on Extensible languages
Note on semantics and optimization
ACM SIGPLAN Notices
Issues in programming language design: an overview
ACM SIGPLAN Notices - Special issue on programming language design
A survey of control structures in programming languages
ACM SIGPLAN Notices - Special issue on control structures in programming languages
The specification of program flow in Madcap 6
ACM SIGPLAN Notices - Special issue on control structures in programming languages
An implementation of backtracking for programming languages
ACM SIGPLAN Notices - Special issue on control structures in programming languages
Programming with(out) the GOTO
ACM SIGPLAN Notices - Special issue on control structures in programming languages
Present and future paradigms in the automatized translation of natural languages
COLING '80 Proceedings of the 8th conference on Computational linguistics
IEEE Annals of the History of Computing
We have met the enemy and she is us: a mixup'd search for software engineering
ACM SIGSOFT Software Engineering Notes
Assembly instruction level reverse execution for debugging
ACM Transactions on Software Engineering and Methodology (TOSEM)
Theory and Practice of Logic Programming
History of programming languages---II
Revisiting an automatic program inverter for Lisp
ACM SIGPLAN Notices
A laboratory for the study of automating programming
ACM SIGSAM Bulletin
A Method for Automatic Program Inversion Based on LR(0) Parsing
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 1
ACM Turing award lectures
A Model for Control Structures for Artificial Intelligence Programming Languages
IEEE Transactions on Computers
Semi-inversion of functional parameters
PEPM '08 Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Record of the Project MAC conference on concurrent systems and parallel computation
Transforming general networks into feed-forward by using turn-prohibition
Computer Communications
A laboratory for the study of automating programming
AFIPS '72 (Spring) Proceedings of the May 16-18, 1972, spring joint computer conference
Issues in programming language design: an overview
AFIPS '75 Proceedings of the May 19-22, 1975, national computer conference and exposition
Term transformers: A new approach to state
ACM Transactions on Programming Languages and Systems (TOPLAS)
EUROCRYPT '09 Proceedings of the 28th Annual International Conference on Advances in Cryptology: the Theory and Applications of Cryptographic Techniques
Improved Cryptanalysis of the Common Scrambling Algorithm Stream Cipher
ACISP '09 Proceedings of the 14th Australasian Conference on Information Security and Privacy
Tool Presentation: Teaching Concurrency and Model Checking
Proceedings of the 16th International SPIN Workshop on Model Checking Software
The concept of nondeterminism: its development and implications for teaching
ACM SIGCSE Bulletin
MAGMA-Lisp: a "Machine language" for artificial intelligence
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
A model for control structures for artificial intelligence programming languages
IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
Backtracking in MLISP2: an efficient backtracking method for LISP
IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
Programming with angelic nondeterminism
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An Approach to Nondeterminism in Translation of CZ Set Theory into Martin-Löf 's Theory of Types
Electronic Notes in Theoretical Computer Science (ENTCS)
A technique for implementing backtrack algorithms and its application
Information Processing Letters
Fuzzy and probabilistic programs
Information Sciences: an International Journal
Mathematical theory of partial correctness
Journal of Computer and System Sciences
Report on an implementation of a semi-inverter
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Preference and non-deterministic choice
ICTAC'10 Proceedings of the 7th International colloquium conference on Theoretical aspects of computing
A design-based model of reversible computation
UTP'06 Proceedings of the First international conference on Unifying Theories of Programming
A language for automatically enforcing privacy policies
POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The program inverter LRinv and its structure
PADL'05 Proceedings of the 7th international conference on Practical Aspects of Declarative Languages
On two dually nondeterministic refinement algebras
RelMiCS'06/AKA'06 Proceedings of the 9th international conference on Relational Methods in Computer Science, and 4th international conference on Applications of Kleene Algebra
Concurrent applicative implementations of nondeterministic algorithms
Computer Languages
Minimalism in cryptography: the even-mansour scheme revisited
EUROCRYPT'12 Proceedings of the 31st Annual international conference on Theory and Applications of Cryptographic Techniques
Finding common ground: choose, assert, and assume
Proceedings of the 2012 Workshop on Dynamic Analysis
A Method for Automatic Program Inversion Based on LR(0) Parsing
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 1
Turning nondeterminism into parallelism
Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications
Amorphous computing: examples, mathematics and theory
Natural Computing: an international journal
A dynamic programming approach to dependent task clustering
ACM SIGMIS Database
| Hi-index | 0.13 |
Programs to solve combinatorial search problems may often be simply written by using multiple-valued functions. Such programs, although impossible to execute directly on conventional computers, may be converted in a mechanical way into conventional backtracking programs. The process is illustrated with algorithms to find all solutions to the eight queens problem on the chessboard, and to find all simple cycles in a network.