Moreno Falaschi
Revised Selected Papers of the 25th International Symposium on Logic-Based Program Synthesis and Transformation
LOPSTR, 2015.

@proceedings{LOPSTR-2015,
	doi           = "10.1007/978-3-319-27436-2",
	editor        = "Moreno Falaschi",
	isbn          = "978-3-319-27435-5",
	publisher     = "{Springer}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Revised Selected Papers of the 25th International Symposium on Logic-Based Program Synthesis and Transformation}",
	volume        = 9527,
	year          = 2015,
}

Contents (22 items)

LOPSTR-2015-Miller #logic programming #proving

Proof Checking and Logic Programming (DM0), pp. 3–17.

LOPSTR-2015-Seki #logic programming #on the #source code

On Dual Programs in Co-Logic Programming (HS), pp. 21–35.

LOPSTR-2015-MeseguerS #algebra #equation #order

Equational Formulas and Pattern Operations in Initial Order-Sorted Algebras (JM, SS), pp. 36–53.

LOPSTR-2015-AntoyJ #compilation

Compiling Collapsing Rules in Certain Constructor Systems (SA, AJ), pp. 57–72.

LOPSTR-2015-AntoyH #constraints

From Boolean Equalities to Constraints (SA, MH), pp. 73–88.

LOPSTR-2015-FuK #approach

A Type-Theoretic Approach to Resolution (PF0, EK), pp. 91–106.

LOPSTR-2015-AlvesBF

A Typed Language for Events (SA, SB, MF), pp. 107–123.

LOPSTR-2015-CodishCNS #library #network #sorting

Applying Sorting Networks to Synthesize Optimized Sorting Libraries (MC, LCF, MN, PSK), pp. 127–142.

LOPSTR-2015-DamoucheMC #convergence #optimisation

Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods (ND, MM, AC), pp. 143–160.

LOPSTR-2015-CominiGTV #analysis

Abstract Analysis of Universal Properties for tccp (MC, MdMG, LT, AV), pp. 163–178.

LOPSTR-2015-BodeiBGHL #analysis #calculus

A Global Occurrence Counting Analysis for Brane Calculi (CB, LB, RG, DH, FL), pp. 179–200.

LOPSTR-2015-MantelMPW #analysis #automaton #composition #data flow #network #using

Using Dynamic Pushdown Networks to Automate a Modular Information-Flow Analysis (HM, MMO, MP, AW), pp. 201–217.

LOPSTR-2015-CaballeroMKH #automation #generative #java #testing #using

Checking Java Assertions Using Automated Test-Case Generation (RC0, MM, HK, VvH), pp. 221–226.

LOPSTR-2015-MontenegroPS #generative #representation #verification

A Generic Intermediate Representation for Verification Condition Generation (MM, RP, JSH), pp. 227–243.

LOPSTR-2015-ChaudhariD #bottom-up #top-down

Combining Top-Down and Bottom-Up Techniques in Program Derivation (DLC, OPD), pp. 244–258.

LOPSTR-2015-InsaS #algorithm #debugging

A Generalized Model for Algorithmic Debugging (DI, JS), pp. 261–276.

LOPSTR-2015-PalaciosV #execution #functional #programming

Concolic Execution in Functional Programming by Program Instrumentation (AP, GV), pp. 277–292.

LOPSTR-2015-RiescoAA #analysis #maude #memory management #policy #semantics #specification

Memory Policy Analysis for Semantics Specifications in Maude (AR0, IMA, MA), pp. 293–310.

LOPSTR-2015-AutexierH #smarttech

SHIP - A Logic-Based Language and Tool to Program Smart Environments (SA, DH), pp. 313–328.

LOPSTR-2015-SatoK0T #correctness #term rewriting

Correctness of Context-Moving Transformations for Term Rewriting Systems (KS, KK, TA0, YT), pp. 331–345.

LOPSTR-2015-AmadiniGM #challenge #why

Why CP Portfolio Solvers Are (under)Utilized? Issues and Challenges (RA, MG, JM), pp. 349–364.

LOPSTR-2015-IsmailSA

CHR in Action (AI, NS, SA), pp. 365–383.