海量图书期刊资源,随时随地畅享阅读乐趣
On the mathematics of sequential decompositionsJules Desharnais; Ali Mili; Fatma Mili · 1993
Internal axioms for domain semiringsJules Desharnais; Georg Struth · 2011
Relational methods in computer scienceJules Desharnais; Marc Frappier; Ali Jaoua; Wendy MacCaull · 2001
Characterizing determinacy in Kleene algebrasJules Desharnais; Bernhard Möller · 2001
Semantic distance between specificationsRym Mili; Jules Desharnais; Marc Frappier; Ali Mili · 2000
Least Reflexive Points of RelationsJules Desharnais; Bernhard Möller · 2005
Kleene algebra with domainDesharnais, Jules; Möller, Bernhard; Struth, Georg · ACM Transactions on Computational Logic · 2006
Integration of sequential scenariosDesharnais, Jules; Frappier, Marc; Khédri, Ridha; Mili, Ali · ACM SIGSOFT Software Engineering Notes · 1997
Efficient sessionsSivaramakrishnan, K.C.; Qudeisat, Mohammad; Ziarek, Lukasz; Nagaraj, Karthik; Eugster, Patrick · Science of Computer Programming · 2013
GLL parse-tree generationScott, Elizabeth; Johnstone, Adrian · Science of Computer Programming · 2013
Refactoring pattern matchingWang, Meng; Gibbons, Jeremy; Matsuda, Kazutaka; Hu, Zhenjiang · Science of Computer Programming · 2013
Modeling the Java Bytecode VerifierReynolds, Mark C. · Science of Computer Programming · 2013
Semantic mutation testingClark, John A.; Dan, Haitao; Hierons, Robert M. · Science of Computer Programming · 2013
Computational contractsScholliers, Christophe; Tanter, Éric; De Meuter, Wolfgang · Science of Computer Programming · 2015
EditorialBergstra, Jan · Science of Computer Programming · 2013
ForewordAleksy, Markus; Gitzel, Ralf; Krall, Andreas; Mössenböck, Hanspeter; Probst, Christian W.; Stephenson, Ben · Science of Computer Programming · 2013