Proceedings of CICLOPS-WLPE 2010
Programming Languages
2010-09-22 v1
Abstract
Online proceedings of the Joint Workshop on Implementation of Constraint Logic Programming Systems and Logic-based Methods in Programming Environments (CICLOPS-WLPE 2010), Edinburgh, Scotland, U.K., July 15, 2010.
Keywords
Cite
@article{arxiv.1009.4020,
title = {Proceedings of CICLOPS-WLPE 2010},
author = {German Vidal and Neng-Fa Zhou},
journal= {arXiv preprint arXiv:1009.4020},
year = {2010}
}
Related papers
View all related →
Programming Languages · Computer Science
Online Proceedings of the 11th International Colloquium on Implementation of Constraint LOgic Programming Systems (CICLOPS 2011), Lexington, KY, U.S.A., July 10, 2011
Salvador Abreu, Vitor Santos Costa
2011-12-22
Programming Languages · Computer Science
Proceedings of the 17th Workshop on Logic-based methods in Programming Environments (WLPE 2007)
Patricia Hill, Wim Vanhoof
2007-12-20
Programming Languages · Computer Science
Proceedings of the 12th International Colloquium on Implementation of Constraint and LOgic Programming Systems
Nicos Angelopoulos, Roberto Bagnara
2013-02-04
Programming Languages · Computer Science
Proceedings of the 13th International Colloquium on Implementation of Constraint and LOgic Programming Systems
Ricardo Rocha, Christian Theil Have
2013-08-01
Programming Languages · Computer Science
18th Workshop on Logic-based methods in Programming Environments (WLPE 2008)
Puri Arenas, Damiano Zanardini
2009-10-02
Programming Languages · Computer Science
Proceedings of the 23rd Workshop on Logic-based methods in Programming Environments (WLPE 2013)
Rémy Haemmerlé, Jose Morales
2013-08-23
Programming Languages · Computer Science
Proceedings of the 16th Workshop in Logic-based Methods in Programming Environments (WLPE2006)
Wim Vanhoof, Susana Munoz-Hernandez
2007-05-23
Programming Languages · Computer Science
Proceedings of the 15th Workshop on Logic-based methods in Programming Environments WLPE'05 -- October 5, 2005 -- Sitges (Barcelona), Spain
Alexander Serebrenik, Susana Munoz-Hernandez
2007-05-23
Programming Languages · Computer Science
Proceedings of the Eleventh Workshop on Logic Programming Environments (WLPE'01)
Anthony Kusalik
2007-05-23
Software Engineering · Computer Science
Proceedings of the 12th International Workshop on Logic Programming Environments
Alexandre Tessier
2007-05-23
Logic in Computer Science · Computer Science
Proceedings of the 19th Workshop on Logic-based methods in Programming Environments (WLPE 2009)
Rafael Caballero, John Gallagher
2010-02-25
Programming Languages · Computer Science
Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software
Kohei Honda, Alan Mycroft
2011-10-19
Logic in Computer Science · Computer Science
Proceedings International Workshop on Developments in Implicit Computational complExity
Patrick Baillot
2010-05-20
Programming Languages · Computer Science
Proceedings of the 2nd Workshop on Logic and Practice of Programming (LPOP)
David S. Warren, Peter Van Roy, Yanhong A. Liu
2022-11-21
Programming Languages · Computer Science
Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
Alastair R. Beresford, Simon Gay
2010-02-09
Logic in Computer Science · Computer Science
Proceedings 24th International Workshop on Unification
Maribel Fernandez
2010-12-22
Programming Languages · Computer Science
Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software
Simon Gay, Jade Alglave
2016-02-11
Logic in Computer Science · Computer Science
Proceedings Fifth Workshop on Intersection Types and Related Systems
Elaine Pimentel, Betti Venneri, Joe Wells
2011-01-24
Programming Languages · Computer Science
AppLP: A Dialogue on Applications of Logic Programming
David S. Warren, Yanhong A. Liu
2017-04-11
Programming Languages · Computer Science
Proceedings 29th and 30th Workshops on (Constraint) Logic Programming and 24th International Workshop on Functional and (Constraint) Logic Programming
Sibylle Schwarz, Janis Voigtländer
2017-01-03
Programming Languages · Computer Science
Pre-proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016)
Manuel V. Hermenegildo, Pedro Lopez-Garcia
2016-09-02
Programming Languages · Computer Science
LPOP: Challenges and Advances in Logic and Practice of Programming
David S. Warren, Yanhong A. Liu
2020-08-19
Logic in Computer Science · Computer Science
Proceedings International Workshop on Strategies in Rewriting, Proving, and Programming
Hélène Kirchner, César Muñoz
2010-12-27
Logic in Computer Science · Computer Science
Proceedings Workshop on Partiality and Recursion in Interactive Theorem Provers
Ana Bove, Ekaterina Komendantskaya, Milad Niqui
2010-12-22
Quantum Physics · Physics
Proceedings 12th International Workshop on Quantum Physics and Logic
Chris Heunen, Peter Selinger, Jamie Vicary
2015-11-05