Algorithmic Languages and Calculi

Dynamic programming has long been used as an algorithm design technique, with various mathematical theories proposed to model it. Here we take a different perspective, using a relational calculus to model both. problems and their solutions obtained from dynamic programming. This approach serves to shed new light on the different styles of dynamic programming, representing them by different search strategies of the tree-like space of partial solutions.

[1]  Harald Ganzinger,et al.  Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability , 1983, TOPL.

[2]  Lawrence Yelowitz,et al.  Control Structure Abstractions of the Backtracking Programming Technique , 1976, IEEE Transactions on Software Engineering.

[3]  A. M. Geerling,et al.  Transformational development of data-parallel algorithms , 1996 .

[4]  K. Mani Chandy.  Parallel program design , 1989 .

[5]  Jules Desharnais,et al.  Embedding a demonic semilattice in a relation algebra , 1995 .

[6]  Martin S. Feather.  Constructing Specifications by Combining Parallel Elaborations , 1989, IEEE Trans. Software Eng..

[7]  Murray Cole,et al.  Algorithmic Skeletons: Structured Management of Parallel Computation , 1989 .

[8]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Specification 1: Equations and Initial Semantics , 1985 .

[9]  Glynn Winskel,et al.  A Classification of Models for Concurrency , 1993, CONCUR.

[10]  John Daniels,et al.  Designing Object Systems , 1994 .

[11]  Martin Wirsing,et al.  Implementation of Parameterized Hierarchical Specifications , 1982, ADT.

[12]  José Luiz Fiadeiro,et al.  Describing, Structuring and Implementing Objects , 1990, REX Workshop.

[13]  Jens E. Kristensen,et al.  Interaction detection, a logical approach , 1994, FIW.

[14]  Michel Bidoit,et al.  The Stratified Loose Approach: A Generalization of Initial and Loose Semantics , 1988, ADT.

[15]  Peter Pepper,et al.  Functional Development of Massively Parallel Programs (Invited Paper) , 1993, Formal Methods in Programming and Their Applications.

[16]  Peter Pepper,et al.  Deriving parallel numerical algorithms using data distribution algebras: Wang's algorithm , 1997, Proceedings of the Thirtieth Hawaii International Conference on System Sciences.

[17]  Hartmut Ehrig,et al.  Parameter passing commutes with implementation of parameterized data types , 1982 .

[18]  Alan R. Hevner,et al.  Principles of Information Systems Analysis and Design , 1986 .

[19]  Joseph A. Goguen,et al.  Institutions: abstract model theory for specification and programming , 1992, JACM.

[20]  Manfred Broy,et al.  Program Development: From Enumeration to Backtracking , 1980, Inf. Process. Lett..

[21]  K. Miller.  Modeling Joint Development of Ocular Dominance and Orientation Maps in Primary Visual Cortex , 1996 .

[22]  Ralph-Johan Back,et al.  Distributed cooperation with action systems , 1988, TOPL.

[23]  Stephen Fickas,et al.  Knowledge Representation and Reasoning in the Design of Composite Systems , 1992, IEEE Trans. Software Eng..

[24]  Leslie Lamport,et al.  The temporal logic of actions , 1994, TOPL.

[25]  Richard C. Linger,et al.  Extended semantics for box structures , 1992, Proceedings of the Twenty-Fifth Hawaii International Conference on System Sciences.

[26]  Rodney J. Douglas.  KIDS: A Semi-Automatic Program Development System , 1990 .

[27]  David Lorge Parnas,et al.  Simulating the behaviour of software modules by trace rewriting , 1993, ICSE '93.

[28]  Eerke A. Boiten,et al.  How to Produce Correct Software - An Introduction to Formal Specification and Program Development by Transformations , 1992, Comput. J..

[29]  José Luiz Fiadeiro,et al.  Interconnecting formalisms: supporting modularity, reuse and incrementality , 1995, SIGSOFT FSE.

[30]  Alberto Pettorossi,et al.  Transformation of Logic Programs , 1994 .

[31]  Klaus Schulten,et al.  Models of Orientation and Ocular Dominance Columns in the Visual Cortex: A Critical Comparison , 1995, Neural Computation.

[32]  Pierre Wolper,et al.  Synthesis of Communicating Processes from Temporal Logic Specifications , 1981, Logic of Programs.

[33]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[34]  Luigi Logrippo,et al.  Specifying features and analysing their interactions in a LOTOS environment , 1994, FIW.

[35]  Mary Shaw,et al.  Formulations and Formalisms in Software Architecture , 1995, Computer Science Today.

[36]  KD Miller.  A model for the development of simple cell receptive fields and the ordered arrangement of orientation columns through activity-dependent competition between ON- and OFF-center inputs , 1994, The Journal of neuroscience : the official journal of the Society for Neuroscience.

[37]  Brian A. Davey,et al.  An Introduction to Lattices and Order , 1989 .

[38]  K. Obermayer,et al.  Statistical-mechanical analysis of self-organization and pattern formation during the development of visual maps. , 1992, Physical review. A, Atomic, molecular, and optical physics.

[39]  Peter G. Harrison,et al.  Parallel Programming Using Skeleton Functions , 1993, PARLE.

[40]  Hartmut Ehrig,et al.  Parameter Passing in Algebraic Specification Languages , 1981, Theor. Comput. Sci..

[41]  Hartmut Ehrig,et al.  Functorial Theory of Parameterized Specifications in a General Specification Framework , 1994, Theor. Comput. Sci..

[42]  Friedrich L. Bauer,et al.  The Munich Project CIP: Volume I: The Wide Spectrum Language CIP-L , 1985 .

[43]  Susanna Ginali,et al.  A Categorical Approach to General Systems , 1978 .

[44]  Douglas R. Smith.  On the design of generate-and-test algorithms: subspace generators , 1987 .

[45]  Douglas R. Smith.  Constructing Specification Morphisms , 1993, J. Symb. Comput..

[46]  R Linsker,et al.  From basic network principles to neural architecture: emergence of orientation-selective cells. , 1986, Proceedings of the National Academy of Sciences of the United States of America.

[47]  Richard Jüllig,et al.  Specware: Formal Support for Composing Software , 1995, MPC.

[48]  David Gries,et al.  Specification and Transformation of Programs: A Formal Approach to Software Development , 1990 .

[49]  Richard S. Bird,et al.  Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France , 1997, Algorithmic Languages and Calculi.

[50]  D. Hubel,et al.  Receptive fields, binocular interaction and functional architecture in the cat's visual cortex , 1962, The Journal of physiology.

[51]  Joseph A. Goguen,et al.  Putting Theories Together to Make Specifications , 1977, IJCAI.

[52]  Joseph A. Goguen,et al.  Introducing Institutions , 1983, Logic of Programs.

[53]  José Luiz Fiadeiro,et al.  Categorical Semantics of Parallel Program Design , 1997, Sci. Comput. Program..