Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Publications
M. J. Frade, A. Saabas, T. Uustalu. Foundational certification of
data-flow analyses. In Proc. of 1st IEEE and IFIP Int. Symp on Theor.
Aspects of Software Engineering, TASE 2007 (Shanghai, June 2007), IEEE CS
Press, to appear.
A. Saabas, T. Uustalu. Type systems for optimizing stack-based code. In M.
Huisman, F. Spoto, eds., Proc. of 2nd Wksh. on Bytecode Semantics,
Verification, Analysis and Transformation, Bytecode 2007 (Braga, March
2007), Electron. Notes in Theor. Comput. Sci., to appear.
A.
Saabas, T. Uustalu. Compositional
Type Systems
for Stack Based Low-Level Languages,
in B. Jay, J. Gudmundsson, eds., Proc. of 12th Computing, Australasian
Theory Symp., CATS 2006 (Hobart, Jan. 2006), v. 51 of Confs. in Research
and Practice in Inform. Techn., pp. 27-39. Australian Comput. Soc., 2006
P. Grigorenko, A. Saabas,
E. Tyugu. Visual
Tool for Generative
Programming. Proc. of the ACM SIGSOFT Symposium on the Foundations of
Software Engineering, ACM Press, 2005.
G. Barthe, T. Rezk, A. Saabas. Proof
Obligations Preserving
Compilation. Proc. of the 3rd Workshop on Formal Aspects in Security
and Trust, 2005, (Newcastle upon Tyne, 2005), v. 3866 of Lecture Notes in
computer Science, pp. 112-126, Springer Verlag 2006
A. Saabas, T. Uustalu. A
Compositional
Natural Semantics and Hoare
Logic for Low-Level Languages,
in P. D Mosses, I. Ulidowski, eds., Proc. of 2nd Wksh. on Structured
Operational Semantics, SOS'05 (Lisbon, July 2005), v. 156, n. 1 of
Electron. Notes in Theor. Comput. Sci., pp. 151-168. Elsevier, 2006
P. Grigorenko, A. Saabas, E. Tyugu.
COCOVILA -
Compiler-Compiler for
Visual Languages. Proc. of the 5th Workshop on Language Descriptions,
Tools and Applications, 2005 (Edinburgh, April 2005), v. 141, n. 4 of
Electron. Notes in Theor. Comput. Sci., pp. 137-142. Elsevier, 2005
A. Saabas, G.Barthe, L. Burdy, T.Rezk. Towards Programming Logics for Low Level Languages. Proc. of the 16th Nordic Workshop on Programming Theory, 2004, p.105-107.
E. Tyugu, A. Saabas. Problems of Visual Specification Languages. Proc. of the 35th International Conference on IT + SE, Gurzuf, May 2003, p. 155 - 157.