Search results for "K"

Found 13 publication records. Showing 13 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Mark Hills 0001 (eds.)	Proceedings of the Second International Workshop on the K Framework and its Applications, K 2011, Cheile Grădiştei, Romania, August 8-12, 2011.	K	2014	DBLP BibTeX RDF
1	Andrei Arusoaie, Dorel Lucanu, Vlad Rusu	Towards a K Semantics for OCL.	K	2011	DBLP DOI BibTeX RDF
1	Traian-Florin Serbanuta	Rewriting Semantics and Analysis of Concurrency Features for a C-like Language.	K	2011	DBLP DOI BibTeX RDF
1	Irina Mariuca Asavoae	Abstract Semantics for Alias Analysis in K.	K	2011	DBLP DOI BibTeX RDF
1	Codruta Gîrlea, Grigore Rosu	Abstract Semantics for K Module Composition.	K	2011	DBLP DOI BibTeX RDF
1	Andrei Stefanescu	MatchC: A Matching Logic Reachability Verifier Using the K Framework.	K	2011	DBLP DOI BibTeX RDF
1	Mark Hills 0001	Preface.	K	2011	DBLP DOI BibTeX RDF
1	Traian-Florin Serbanuta, Andrei Arusoaie, David Lazar, Chucky Ellison, Dorel Lucanu, Grigore Rosu	The K Primer (version 3.3).	K	2011	DBLP DOI BibTeX RDF
1	Grigore Rosu, Traian-Florin Serbanuta	K Overview and SIMPLE Case Study.	K	2011	DBLP DOI BibTeX RDF
1	Mihail Asavoae	K Semantics for Assembly Languages: A Case Study.	K	2011	DBLP DOI BibTeX RDF
1	Radu Mereuta, Gheorghe Grigoras	Parsing K definitions.	K	2011	DBLP DOI BibTeX RDF
1	Mark Hills 0001, Grigore Rosu	Towards a Module System for K.	WADT	2008	DBLP DOI BibTeX RDF	K, modularity, rewriting logic, language semantics
1	Nicholas Hopper, Eugene Y. Vasserman	On the effectiveness of k;-anonymity against traffic analysis and surveillance.	WPES	2006	DBLP DOI BibTeX RDF	k, mass surveillance, anonymity, statistical disclosure

Displaying result #1 - #13 of 13 (100 per page; Change: )