Revised Selected Papers of the 16th International Symposium on Logic-Based Program Synthesis and Transformation
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

PLT
DBLP
Scholar
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.