Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages
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

Alessandro Aldini, Christel Baier
Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages
QAPL, 2008.

PLT
no DBLP info
Scholar
Full names Links ISxN
@proceedings{QAPL-2008,
	editor        = "Alessandro Aldini and Christel Baier",
	journal       = "{Electronic Notes in Theoretical Computer Science}",
	number        = 3,
	title         = "{Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages}",
	volume        = 220,
	year          = 2008,
}

Contents (11 items)

QAPL-2008-KattenbeltKNP #abstraction #game studies #probability
Game-Based Probabilistic Predicate Abstraction in PRISM (MK, MZK, GN, DP), pp. 5–21.
QAPL-2008-PierroSW #abstract interpretation #analysis #precise #probability #relational
Relational Analysis and Precision via Probabilistic Abstract Interpretation (ADP, PS, HW), pp. 23–42.
QAPL-2008-Smith #abstract interpretation #imperative #probability #source code #using
Probabilistic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions (MJAS), pp. 43–59.
QAPL-2008-FaellaLS #linear #logic #model checking
Model Checking Quantitative Linear Time Logic (MF, AL, MS), pp. 61–77.
QAPL-2008-TzanisH #logic #probability
Probabilistic Logic over Paths (ET, RH), pp. 79–96.
QAPL-2008-LambertP #bytecode #framework #independence #java #platform #virtual machine
Platform Independent Timing of Java Virtual Machine Bytecode Instructions (JML, JFP), pp. 97–113.
QAPL-2008-ZhangZ #behaviour #pseudo
A Behavioural Pseudometric based on λ-Bisimilarity (JZ, ZZ), pp. 115–127.
QAPL-2008-TrckaG #bisimulation #branch #congruence #probability
Branching Bisimulation Congruence for Probabilistic Systems (NT, SG), pp. 129–143.
QAPL-2008-OchoaP #partial evaluation
Oracle-Based Partial Evaluation (CO, GP), pp. 145–161.
QAPL-2008-Bortolussi #approximate #concurrent #constraints #equation #on the #probability #programming
On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation (LB), pp. 163–180.
QAPL-2008-BakelKVH #modelling
Modelling Intracellular Fate of FGF Receptors With BioAmbients (SvB, IK, MGV, JKH), pp. 181–197.

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.