A Type System for Usage of Software Components (Q3638253): Difference between revisions

@@ Property / cites work @@
+Q4417622
@@ Property / cites work: Q4417622 / rank @@
+Normal rank
@@ Property / cites work @@
+Theoretical Aspects of Computing – ICTAC 2005
@@ Property / cites work: Theoretical Aspects of Computing – ICTAC 2005 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+A type system for counting instances of software components
+Normal rank
@@ Property / cites work @@
+Q3992915
@@ Property / cites work: Q3992915 / rank @@
+Normal rank
@@ Property / cites work @@
+The origins of structural operational semantics
@@ Property / cites work: The origins of structural operational semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778806
@@ Property / cites work: Q2778806 / rank @@
+Normal rank
@@ Property / cites work @@
+Resource bound certification
@@ Property / cites work: Resource bound certification / rank @@
+Normal rank
@@ Property / cites work @@
+Static prediction of heap space usage for first-order functional programs
+Normal rank
@@ Property / cites work @@
+Resource Usage Analysis for the Pi-Calculus
@@ Property / cites work: Resource Usage Analysis for the Pi-Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414381
@@ Property / cites work: Q4414381 / rank @@
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+A syntactic approach to type soundness
@@ Property / cites work: A syntactic approach to type soundness / rank @@
+Normal rank
@@ Property / DBLP publication ID @@
+conf/types/Hovland08
@@ Property / DBLP publication ID: conf/types/Hovland08 / rank @@
+Normal rank