Germán Puebla
Revised Selected Papers of the 16th International Symposium on Logic-Based Program Synthesis and Transformation
LOPSTR, 2006.

@proceedings{LOPSTR-2006,
	address       = "Venice, Italy",
	editor        = "Germán Puebla",
	isbn          = "978-3-540-71409-5",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Revised Selected Papers of the 16th International Symposium on Logic-Based Program Synthesis and Transformation}",
	volume        = 4407,
	year          = 2006,
}

Contents (16 items)

4 ×#automation
4 ×#named
3 ×#logic programming
3 ×#source code
3 ×#using
2 ×#partial evaluation
2 ×#proving
2 ×#synthesis
2 ×#term rewriting
2 ×#termination

LOPSTR-2006-Marchiori #how #semantics #web

How to Talk to a Human: The Semantic Web and the Clash of the Titans (MM), pp. 1–14.

LOPSTR-2006-MusuvathiQ #concurrent #named #testing

CHESS: Systematic Stress Testing of Concurrent Software (MM, SQ), pp. 15–16.

LOPSTR-2006-AbdennadherOST #automation #mining #named

ARM: Automatic Rule Miner (SA, AO, NS, AT), pp. 17–25.

LOPSTR-2006-SakamaI #logic programming #source code

Constructing Consensus Logic Programs (CS, KI), pp. 26–42.

LOPSTR-2006-LeuschelCE #logic programming #online #partial evaluation #source code #using

Supervising Offline Partial Evaluation of Logic Programs Using Online Techniques (ML, SJC, DE), pp. 43–59.

LOPSTR-2006-ArroyoRSV #graph #partial evaluation #using

Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs (GA, JGR, JS, GV), pp. 60–76.

LOPSTR-2006-MoralesCH #automaton #optimisation #prolog #towards

Towards Description and Optimization of Abstract Machines in an Extension of Prolog (JFM, MC, MVH), pp. 77–93.

LOPSTR-2006-MantelSK #data flow #proving #security #verification

Combining Different Proof Techniques for Verifying Information Flow Security (HM, HS, TK), pp. 94–110.

LOPSTR-2006-WinwoodKC #automation #monitoring #on the #synthesis

On the Automated Synthesis of Proof-Carrying Temporal Reference Monitors (SW, GK, MMTC), pp. 111–126.

LOPSTR-2006-ScheweF #synthesis

Synthesis of Asynchronous Systems (SS, BF), pp. 127–142.

LOPSTR-2006-Silva #algorithm #case study #comparative #debugging

A Comparative Study of Algorithmic Debugging Strategies (JS), pp. 143–159.

LOPSTR-2006-BrasselFH #functional #logic #program transformation

A Program Transformation for Tracing Functional Logic Computations (BB, SF, FH), pp. 160–176.

LOPSTR-2006-Schneider-KampGST #analysis #automation #logic programming #source code #term rewriting #termination

Automated Termination Analysis for Logic Programs by Term Rewriting (PSK, JG, AS, RT), pp. 177–193.

LOPSTR-2006-Payet #detection #term rewriting #using

Detecting Non-termination of Term Rewriting Systems Using an Unfolding Operator (ÉP), pp. 194–209.

LOPSTR-2006-NguyenS #automation #named #polynomial #proving #termination

Polytool: Proving Termination Automatically Based on Polynomial Interpretations (MTN, DDS), pp. 210–218.

LOPSTR-2006-BagnaraDHMZ #named

Grids: A Domain for Analyzing the Distribution of Numerical Values (RB, KD, PMH, MM, EZ), pp. 219–235.