Proceedings of the Fourth 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

Alessandra Di Pierro, Herbert Wiklicky
Proceedings of the Fourth Workshop on Quantitative Aspects of Programming Languages
QAPL, 2006.

PLT
no DBLP info
Scholar
Full names Links ISxN
@proceedings{QAPL-2006,
	editor        = "Alessandra Di Pierro and Herbert Wiklicky",
	journal       = "{Electronic Notes in Theoretical Computer Science}",
	number        = 3,
	title         = "{Proceedings of the Fourth Workshop on Quantitative Aspects of Programming Languages}",
	volume        = 164,
	year          = 2006,
}

Contents (12 items)

QAPL-2006-AdaoMRV #analysis #protocol #security #towards
Towards a Quantitative Analysis of Security Protocols (PA, PM, TR, LV), pp. 3–25.
QAPL-2006-AldiniB #component #metric #performance #specification
Component-Oriented Specification of Performance Measures (AA, MB), pp. 27–43.
QAPL-2006-BinderH06a #bytecode #profiling #using #virtual machine
Exact and Portable Profiling for the JVM Using Bytecode Instruction Counting (WB, JH), pp. 45–64.
QAPL-2006-Bortolussi #concurrent #constraints #probability #programming
Stochastic Concurrent Constraint Programming (LB), pp. 65–80.
QAPL-2006-CiobanuP #distributed
Timers for Distributed Systems (GC, CP), pp. 81–99.
QAPL-2006-DeganoPPQ #biology
Beta-binders for Biological Quantitative Experiments (PD, DP, CP, PQ), pp. 101–117.
QAPL-2006-PradalierP #probability
Expressiveness of Probabilistic pi (SP, CP), pp. 119–136.
QAPL-2006-SingerB #predict
Return Value Prediction meets Information Theory (JS, GB), pp. 137–151.
QAPL-2006-SotinCJ #behaviour #java #static analysis
Quantitative Static Analysis Over Semirings: Analysing Cache Behaviour for Java Card (PS, DC, TPJ), pp. 153–167.
QAPL-2006-VigliottiH #calculus #probability
Stochastic Ambient Calculus (MGV, PGH), pp. 169–186.
QAPL-2006-WolfBM06a #nondeterminism #probability #semantics
Trace Semantics for Stochastic Systems with Nondeterminism (VW, CB, MEMC), pp. 187–204.
QAPL-2006-ZhangH #analysis #formal method #protocol #streaming
Formal Analysis of Streaming Downloading Protocol for System Upgrading (MZ, DVH), pp. 205–224.

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.