the proceedings contain 24 papers. the special focus in this conference is on theory and Practice of Software Development. the topics include: Full abstraction for series-parallel pomsets;on causality observed increme...
ISBN:
(纸本)9783540539827
the proceedings contain 24 papers. the special focus in this conference is on theory and Practice of Software Development. the topics include: Full abstraction for series-parallel pomsets;on causality observed incrementally, finally;on the domain of traces and sequential composition;compilation of pattern matching with associative-commutative functions;algebraic graph rewriting using a single pushout;unifying initial and loose semantics of parameterized specifications in an arbitrary institution;program specification and data refinement in type theory;smile analysis of linear congruence equalities among variables of a program;simple solutions for approximate tree matching problems;the tree inclusion problem;introducing a calculus of trees;domains in a realizabifity framework;iteration algebras;logicprogramming as hypergraph rewriting;a fuuy abstract model for concurrent constraint programming;a solved form algorithm for ask and tell herbrand constraints;a calculus of broadcasting systems;on the complexity of equation solving in process algebra;comparative semantics for a real-time programming language with integration;a complete proof system for timed observations and type inference with inequalities.
the proceedings contain 50 papers. the special focus in this conference is on Graph Grammars and their Application to Computer Science. the topics include: A note on hyperedge replacement;graph grsmmars based on node ...
ISBN:
(纸本)9783540544784
the proceedings contain 50 papers. the special focus in this conference is on Graph Grammars and their Application to Computer Science. the topics include: A note on hyperedge replacement;graph grsmmars based on node rewriting: an introduction to NLC graph grammars;tutorial introduction to the algebraic approach of graph grammars based on double and single pushouts;the logical expression of graph properties (abstract);the use of graph grammars in applications;an interactive tool for developing graph grammars;an integrated and incremental project support environment;a text-oriented hybrid editor for programmed graph rewriting systems;tools for analyzing graph grammars;an algebraictheory of graph reduction;programming with very large graphs;general solution to a system of recursive equations on hypergraphs;contruction of map OL-systems for developmental sequences of plant cell layers;cycle chain code picture languages;an efficient implementation of graph grammars based on the RETE matching algorithm;an application of graph grammars to the elimination of redundancy from functions defined by schemes;graphic equivalence and computer optimization;graph grammars and logicprogramming;an algebraic and logical approach;context-free handle-rewriting hypergraph grammars;from graph grammars to high level replacement systems;a characterization of context-free NCE graph languages by monadic second-order logic on trees;elementary actions on an extended entity-relationship database;collage grammars;structured transformations and computation graphs for actor grammars;grammatical inference based on hyperedge replacement;graph rewriting in some categories of partial morphisms.
the proceedings contain 27 papers. the special focus in this conference is on theory and Practice of Software Development. the topics include: CCS for OO and LP;an extended expansion theorem;concurrent abstract machin...
ISBN:
(纸本)9783540539810
the proceedings contain 27 papers. the special focus in this conference is on theory and Practice of Software Development. the topics include: CCS for OO and LP;an extended expansion theorem;concurrent abstract machines (abstract);knowledge and probability in distributed systems (abstract);verification methods for finite systems (abstract);interactive interworking for interoperating systems (abstract);formal specification of object systems;on the relationship between algebraic module specifications and program modules;construction and reuse of formal program developments;a theory of program modifications;proving termination of logic programs by exploiting term properties;parametric order-sorted types in logicprogramming;exploiting non-determinism through laziness in guarded functional latlguages;non-standard interpretations of LOTOS specifications;a new technique for stricmess analysis;using higher order logic for modelling real-time protocols;combining interaction and automation in process algebra verification;refining interfaces of communicating systems;actor-oriented system specification with dynamic logic;towards a formally based component description language;on addition schemes;efficient code motion and an adaption to strength reduction;on narrowing strategies for partial non-strict functions and from reduction machines to narrowing machines.
this book constitutes the refereed proceedings of the 4thinternationalconference on algebraic Biology, ANB 2010, held at the Castle of Hagenberg, Austria in July/August 2010. the conference is a follow up of the AB ...
详细信息
ISBN:
(数字)9783642280672
ISBN:
(纸本)9783642280665
this book constitutes the refereed proceedings of the 4thinternationalconference on algebraic Biology, ANB 2010, held at the Castle of Hagenberg, Austria in July/August 2010. the conference is a follow up of the AB conference.
the 10 papers were carefully reviewed and selected from numerous submissions. the papers are organized in topical sections on mathematical modeling, system analysis and design, genomics, molecular structure analysis, automata theory, artificial intelligence, sequence analysis, automated reasoning, formal language and hybrid symbolic numerical methods.
this volume constitutes the proceedings of the 4thinternationalconference on algebraic Methodology and Software Technology, held in Montreal, Canada in July 1995.;It includes full papers or extended abstracts of the...
详细信息
ISBN:
(数字)9783540494102
ISBN:
(纸本)9783540600435
this volume constitutes the proceedings of the 4thinternationalconference on algebraic Methodology and Software Technology, held in Montreal, Canada in July 1995.;It includes full papers or extended abstracts of the invited talks, refereed selected contributions, and research prototype tools. the invited speakers are David Gries, Jeanette Wing, Dan Craigen, Ted Ralston, Ewa Orlowska, Krzysztof Apt, Joseph Goguen, and Rohit Parikh. the 29 refereed papers presented were selected from some 100 submissions; they are organized in sections on algebraic and logical foundations, concurrent and reactive systems, software technology, logicprogramming and databases.
this book constitutes the refereed conference proceedings of the 20thinternational Workshop on Functional and Constraint logicprogramming, WFLP 2011, held in Odense, Denmark, in July 2011 as Part of the 13th Interna...
详细信息
ISBN:
(数字)9783642225314
ISBN:
(纸本)9783642225307
this book constitutes the refereed conference proceedings of the 20thinternational Workshop on Functional and Constraint logicprogramming, WFLP 2011, held in Odense, Denmark, in July 2011 as Part of the 13thinternational Symposium on Principles and Practice of Declarative programming (PPDP 2011), the 22st international Symposium on logic-Based Program Synthesis and Transformation (LOPSTR 2011), and the 4thinternational Workshop on Approaches and Applications of Inductive programming (AAIP 2011).
From the 10 papers submitted, 9 were accepted for presentation the proceeding. the papers cover current research in all areas of functional and logicprogramming as well as the integration of constraint logic and object-oriented programming, and term rewriting.
暂无评论