نتایج جستجو برای: typed

تعداد نتایج: 10123  

Journal: :ACM SIGSOFT Software Engineering Notes 2000

Journal: :ACM SIGPLAN Notices 2013

Journal: :Electronic Proceedings in Theoretical Computer Science 2010

Journal: :Electronic Notes in Theoretical Computer Science 1999

Journal: :Proceedings of the ACM on programming languages 2022

Programming languages like P4 enable specifying the behavior of network data planes in software. However, with increasingly powerful and complex applications running network, risk faults also increases. Hence, there is growing recognition need for methods tools to statically verify correctness code, especially as language lacks basic safety guarantees. Type systems are a lightweight composition...

Journal: :Science of Computer Programming 2006

Journal: :Electronic Notes in Theoretical Computer Science 2001

Journal: :Electronic Notes in Theoretical Computer Science 2000

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید