乔丹

此软件的关键字
zbMATH参考文献(参考12篇文章)
Haller,Philipp;Miller,Heather:A reduction semantics for direct style asynchronous observables(2019年) Sisto,Riccardo;Bettassa Copet,Piergiuseppe;Avalle,Matteo;Pironti,Alfredo:JavaSPI安全协议的正式可靠实现(2018) Iranmanesh,Zeinab;Fallah,Mehran S.:中量级Java中独立于调度器的非干扰规范和静态实施(2016) Avalle,Matteo;Pironti,Alfredo;Sisto,Riccardo:安全协议实现的正式验证:调查(2014) ioport公司 Bettini,Lorenzo;Damiani,Ferruccio;Schaefer,Ina;Strocco,Fabio:\textsTraitRecordj:一种具有特征和记录的编程语言(2013) ioport公司 Reza,Juan Rolando:Java超级便利(2012) ioport公司 动态类型化语言和协调语言(Alexandre 2011) Smans,Jan;Jacobs,Bart;Piessens,Frank;Schulte,Wolfram:带有动态框架的Java程序的自动验证(2010) Dezani Ciancaglini,Mariangiola;Drossopoulou,Sophia;Mostrous,Dimitris;Yoshida,Nobuko:对象和会话类型(2009) Ahen,Alexander;Yoshida,Nobuko:用显式代码移动性形式化JavaRMI(2007) Coppo,Mario;Dezani Ciancaglini,marianogola;Yoshida,Nobuko:面向对象语言的异步会话类型和进展(2007) Yoshida,Nobuko:基于类型的移动计算安全完整性、保密性和活跃性(2006)