Control Flow Analysis for the Join Calculus
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

Peter Calvert, Alan Mycroft
Control Flow Analysis for the Join Calculus
SAS, 2012.

SAS 2012
DBLP
Scholar
DOI
Full names Links ISxN
@inproceedings{SAS-2012-CalvertM,
	author        = "Peter Calvert and Alan Mycroft",
	booktitle     = "{Proceedings of the 19th International Static Analysis Symposium}",
	doi           = "10.1007/978-3-642-33125-1_14",
	isbn          = "978-3-642-33124-4",
	pages         = "181--197",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Control Flow Analysis for the Join Calculus}",
	volume        = 7460,
	year          = 2012,
}

Tags:



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.