Volume 206, April 2008

Proceedings of the Seventh Spanish Conference on Programming and Computer Languages (PROLE 2007)

• 
  Ernesto Pimentel: Preface. 1-2
• 
  María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva: An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source Transformation. 3-21
• 
  Javier Álvez, Paqui Lucio: A New Proposal Of Quasi-Solved Form For Equality Constraint Solving. 23-40
• 
  David de Frutos-Escrig, Carlos Gregorio-Rodríguez: Constrained Simulations, Nested Simulation Semantics and Counting Bisimulations. 41-58
• 
  Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro: Systematic Semantic Tableaux for PLTL. 59-73
• 
  Salvador Lucas, Rafael Navarro-Marset: Comparing CSP and SAT Solvers for Polynomial Constraints in Termination Provers. 75-90
• 
  Narciso Martí-Oliet, José Meseguer, Miguel Palomino: Algebraic Stuttering Simulations. 91-110
• 
  Fernando Orejas, Sonia Pérez: Architectural Connectors for Sequence Diagrams. 111-131
• 
  Pedro Pablo Pérez Velasco, Juan de Lara: Using Matrix Graph Grammars for the Analysis of Behavioural Specifications: Sequential and Parallel Independence. 133-152
• 
  Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández: Functions and Lazy Evaluation in Prolog. 153-174