
Proceedings Twelfth Workshop on Developments in Computational Models and Ninth Workshop on Intersection Types and Related Systems
This volume contains a final and revised selection of papers presented a...
read it

Proceedings of the 13th International Workshop on Logical Frameworks and MetaLanguages: Theory and Practice
This volume contains a selection of papers presented at LFMTP 2018, the ...
read it

Proceedings Fifteenth Workshop on Logical Frameworks and MetaLanguages: Theory and Practice
This volume contains a selection of papers presented at LFMTP 2020, the ...
read it

Proceedings of the Fourteenth Workshop on Logical Frameworks and MetaLanguages: Theory and Practice
This volume contains a selection of papers presented at LFMTP 2019, the ...
read it

Proceedings of the 8th International Workshop on NonMonotonic Reasoning, NMR'2000
The papers gathered in this collection were presented at the 8th Interna...
read it

Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design
This volume contains the proceedings of the 1st International Workshop o...
read it

Proceedings of the 7th Workshop on Mathematically Structured Functional Programming
The seventh workshop on Mathematically Structured Functional Programming...
read it
Proceedings Third Joint Workshop on Developments in Implicit Computational complExity and Foundational Practical Aspects of Resource Analysis
These proceedings present the accepted regular papers and some selected extended abstracts from the 3rd joint DICEFOPARA workshop, which was held in Prague, Czech Republic on April 67, 2019, as a part of ETAPS. The joint workshop provides synergies by combining two complementary communities: The 10th DICE workshop explores the area of Implicit Computational Complexity (ICC), which grew out from several proposals to use logic and formal methods to provide languages for complexitybounded computation (e.g. Ptime, Logspace computation). It aims at studying the computational complexity of programs without referring to external measuring conditions or a particular machine model, but only by considering language restrictions or logical/computational principles entailing complexity properties. Several approaches have been explored for that purpose, such as restrictions on primitive recursion and ramification, rewriting systems, linear logic, types and lambda calculus, interpretations of functional and imperative programs. The 6th FOPARA workshop serves as a forum for presenting original research results that are relevant to the analysis of resource (e.g. time, space, energy) consumption by computer programs. The workshop aims to bring together the researchers that work on foundational issues with the researchers that focus more on practical results. Therefore, both theoretical and practical contributions are encouraged. We also encourage papers that combine theory and practice. This third joint DICEFOPARA workshop at ETAPS 2019 follows the successful experiences of colocation of DICEFOPARA at ETAPS 2015 in London and ETAPS 2017 in Uppsala.
READ FULL TEXT
Comments
There are no comments yet.