作者：
PARIGOT, MEquipe de Logique
CNRS UA 753 Université Paris 7 UFR de Mathématiques 2 place Jussieu PARIS Cedex 05 75251 France
We analyse the algorithmic properties of programs induced by the choice of the representation of data in lambda-calculus. From a logical point of view there are two canonical ways of defining the data types: the itera...
详细信息
The proceedings contain 21 papers. The special focus in this conference is on Category Theory and Computer Science. The topics include: Preface;coherence and valid isomorphism in closed categories applications of proo...
ISBN:
(纸本)9783540516620
The proceedings contain 21 papers. The special focus in this conference is on Category Theory and Computer Science. The topics include: Preface;coherence and valid isomorphism in closed categories applications of proof theory to category theory in a computer scientist perspective;independence results for calculi of dependent types;quantitative domains, groupoids and linear logic;graded multicategories of polynomial-time realizers;on the semantics of second order lambda calculus: From Bruce-Meyer-Mitchell models to hyperdoctrine models and vice-versa;dictoses;declarative continuations: An investigation of duality in programming language semantics;logicrepresentation in LF: Report on work in progress;unification properties of commutative theories: A categorical treatment;an abstract formulation for rewrite systems;from Petri nets to linear logic;an algebraic view of interleaving and distributed operational semantics for CCS;a dialectica-like model of linear logic;a final coalgebra theorem;temporal structures;compositional relational semantics for indeterminate dataflow networks;operations on records;projections for polymorphic strictness analysis;a category-theoretic account of program modules;a note on categorical datatypes;a set constructor for inductive sets in Martin-Löf's type theory.
This paper demonstrates a notion for formal semantics specification of concurrent programming languages and applies it to the concurrent part of the programming language Ada. The abstract syntax of an Ada program is g...
详细信息
This book constitutes the refereed conference proceedings of the workshops held at the 37th international ISC High Performance 2022 Conference, in Hamburg, Germany, in June 2, 2022.;The 27 full papers were included in...
详细信息
ISBN:
(数字)9783031232206
ISBN:
(纸本)9783031232190
This book constitutes the refereed conference proceedings of the workshops held at the 37th international ISC High Performance 2022 Conference, in Hamburg, Germany, in June 2, 2022.;The 27 full papers were included in this book were carefully reviewed and selected from 43 submissions.;ISC High Performance 2022 presents the following workshops:;Compiler-assisted Correctness Checking and Performance Optimization for HPC;HPC on Heterogeneous Hardware (H3);Malleability Techniques Applications in High Performance Computing;Fifth workshop on Interactive High Performance Computing;3rd ISC HPC internationalworkshop on Monitoring & Operational Data Analytics;6th internationalworkshop on In Situ Visualization;17th workshop on Virtualization in High Performance Cloud Computing;Chapter “Compiler-Assisted Instrumentation Selection for Large-Scale C++ Codes” is available open access under a Creative Commons Attribution 4.0 international License via ***.
This book constitutes the thoroughly refereed post-conference proceedings of the 27th IFIP WG 1.3internationalworkshop on Algebraic Development Techniques, WADT 2024, held in Enschede, The Netherlands, on July 8, 20...
详细信息
ISBN:
(数字)9783031889301
ISBN:
(纸本)9783031889295
This book constitutes the thoroughly refereed post-conference proceedings of the 27th IFIP WG 1.3 internationalworkshop on Algebraic Development Techniques, WADT 2024, held in Enschede, The Netherlands, on July 8, 2024.
The 6 full papers presented in this volume were carefully reviewed and selected from 11 submissions.
The contributed presentations covered a wide range of topics on the algebraic approach to system specification: from foundations of algebraic-specification languages to institutions and knowledgerepresentation, to graph transformations, rewrite rules, process algebra, and bialgebraic frameworks, to many-logics modal systems and quantum process calculi, and to several applications to code synthesis and maintainability.
This book constitutes revised selected papers from the workshops collocated with the SEFM 2014 conference on Software Engineering and Formal Methods, held in Grenoble, France, in September 2014. The 26 papers included...
详细信息
ISBN:
(数字)9783319152011
ISBN:
(纸本)9783319152004
This book constitutes revised selected papers from the workshops collocated with the SEFM 2014 conference on Software Engineering and Formal Methods, held in Grenoble, France, in September 2014. The 26 papers included in this volume were carefully reviewed and selected from 49 submissions. They are from the following workshops: the 1st workshop on Human-Oriented Formal Methods - From Readability to Automation, HOFM 2014, the 3rdinternational Symposium on Modelling and knowledge Management Applications - Systems and Domains, MoKMaSD 2014, the 8th internationalworkshop on Foundations and Techniques for Open Source Software Certification, Open Cert 2014, the 1st workshop on Safety and Formal Methods, SaFoMe 2014 and the 4th workshop on Formal Methods in the Development of Software, WS-FMDS 2014.
These are the proceedings of the First international Conference on Compu- tional logic (CL 2000) which was held at Imperial College in London from 24th to 28th July, 2000. The theme of the conference covered all aspec...
详细信息
ISBN:
(数字)9783540449577
ISBN:
(纸本)9783540677970
These are the proceedings of the First international Conference on Compu- tional logic (CL 2000) which was held at Imperial College in London from 24th to 28th July, 2000. The theme of the conference covered all aspects of the theory, implementation, and application of computational logic, where computational logic is to be understood broadly as the use of logic in computer science. The conference was collocated with the following events: { 6th international Conference on Rules and Objects in Databases (DOOD 2000) { 10th internationalworkshop on logic-based Program Synthesis and Tra- formation (LOPSTR 2000) { 10th international Conference on Inductive logicprogramming (ILP 2000). CL 2000 consisted of seven streams: { Program Development (LOPSTR 2000) { logicprogramming: Theory and Extensions { Constraints { Automated Deduction: Putting Theory into Practice { knowledgerepresentation and Non-monotonic Reasoning { Database Systems (DOOD 2000) { logicprogramming: Implementations and Applications. The LOPSTR 2000 workshop constituted the program development stream and the DOOD 2000 conference constituted the database systems stream. Each stream had its own chair and program committee, which autonomously selected the papers in the area of the stream. Overall, 176 papers were submitted, of which 86 were selected to be presented at the conference and appear in these proceedings. The acceptance rate was uniform across the streams. In addition, LOPSTR 2000 accepted about 15 extended abstracts to be presented at the conference in the program development stream.
This book constitutes the thoroughly refereed joint post-conference proceedings of two consecutive internationalworkshops on Learning Classifier Systems that took place in Seattle, WA, USA in July 2006, and in London...
详细信息
ISBN:
(数字)9783540881384
ISBN:
(纸本)9783540881377
This book constitutes the thoroughly refereed joint post-conference proceedings of two consecutive internationalworkshops on Learning Classifier Systems that took place in Seattle, WA, USA in July 2006, and in London, UK, in July 2007 - all hosted by the Genetic and Evolutionary Computation Conference, GECCO. The 14 revised full papers presented were carefully reviewed and selected from the workshop contributions. The papers are organized in topical sections on knowledgerepresentation, analysis of the system, mechanisms, new directions, as well as applications.
This book constitutes the thoroughly refereed post-conference proceedings of the Second internationalworkshop on Graph Structures for knowledgerepresentation and Reasoning, GKR 2011, held in Barcelona, Spain, in Jul...
详细信息
ISBN:
(数字)9783642294495
ISBN:
(纸本)9783642294488
This book constitutes the thoroughly refereed post-conference proceedings of the Second internationalworkshop on Graph Structures for knowledgerepresentation and Reasoning, GKR 2011, held in Barcelona, Spain, in July 2011 as satellite event of IJCAI 2011, the 22nd international Joint Conference on Artificial Intelligence. The 7 revised full papers presented together with 1 invited paper were carefully reviewed and selected from 12 submissions. The papers feature current research involved in the development and application of graph-based knowledgerepresentation formalisms and reasoning techniques and investigate further developments of knowledgerepresentation and reasoning graph based techniques. Topics addressed are such as: bayesian networks, semantic networks, conceptual graphs, formal concept analysis, cp-nets, gai-nets, euler diagrams, existential graphs all of which have been successfully used in a number of applications (semantic Web, recommender systems, bioinformatics etc.).
暂无评论