Flow-sensitive type systems and the ambient calculus (Q1029816): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10990-008-9039-z
+Normal rank
@@ Property / OpenAlex ID @@
+W1977817354
@@ Property / OpenAlex ID: W1977817354 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2763674
@@ Property / cites work: Q2763674 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4673435
@@ Property / cites work: Q4673435 / rank @@
+Normal rank
@@ Property / cites work @@
+Secure safe ambients
@@ Property / cites work: Secure safe ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Q5714432
@@ Property / cites work: Q5714432 / rank @@
+Normal rank
@@ Property / cites work @@
+Mobile ambients
@@ Property / cites work: Mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536435
@@ Property / cites work: Q4536435 / rank @@
+Normal rank
@@ Property / cites work @@
+Type inference with recursive types: Syntax and semantics
+Normal rank
@@ Property / cites work @@
+Q4737001
@@ Property / cites work: Q4737001 / rank @@
+Normal rank
@@ Property / cites work @@
+Typing evolving ambients
@@ Property / cites work: Typing evolving ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Q4494378
@@ Property / cites work: Q4494378 / rank @@
+Normal rank
@@ Property / cites work @@
+On abstract interpretation of mobile ambients
@@ Property / cites work: On abstract interpretation of mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Controlling interference in ambients
@@ Property / cites work: Controlling interference in ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4484495
@@ Property / cites work: Q4484495 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2748155
@@ Property / cites work: Q2748155 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2729057
@@ Property / cites work: Q2729057 / rank @@
+Normal rank
@@ Property / cites work @@
+Validating firewalls using flow logics
@@ Property / cites work: Validating firewalls using flow logics / rank @@
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536990
@@ Property / cites work: Q4536990 / rank @@
+Normal rank
@@ Property / cites work @@
+BioAmbients: an abstraction for biological compartments
+Normal rank
@@ Property / cites work @@
+The type and effect discipline
@@ Property / cites work: The type and effect discipline / rank @@
+Normal rank
@@ Property / cites work @@
+Q4508315
@@ Property / cites work: Q4508315 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1029816