フォロー
Andrzej Tarlecki
Andrzej Tarlecki
Faculty of Mathematics, Informatics and Mechanics, University of Warsaw
確認したメール アドレス: mimuw.edu.pl - ホームページ
タイトル
引用先
引用先
年
Foundations of algebraic specification and formal software development
D Sannella
Springer, 2012
361*2012
Specifications in an arbitrary institution
D Sannella, A Tarlecki
Information and computation 76 (2-3), 165-210, 1988
3471988
CASL: the common algebraic specification language
E Astesiano, M Bidoit, H Kirchner, B Krieg-Brückner, PD Mosses, ...
Theoretical Computer Science 286 (2), 153-196, 2002
3302002
Toward formal development of programs from algebraic specifications: implementations revisited
D Sannella, A Tarlecki
Acta Informatica 25, 233-281, 1988
3241988
Some fundamental algebraic tools for the semantics of computation: Part 3. Indexed categories
A Tarlecki, RM Burstall, JA Goguen
Theoretical Computer Science 91 (2), 239-264, 1991
2071991
On observational equivalence and algebraic specification
D Sannella, A Tarlecki
Journal of Computer and System Sciences 34 (2-3), 150-178, 1987
1811987
Essential concepts of algebraic specification and program development
D Sannella, A Tarlecki
Formal Aspects of Computing 9, 229-269, 1997
1681997
Moving between logical systems
A Tarlecki
Workshop on the Specification of Abstract Data Types, 478-502, 1995
1601995
Bits and pieces of the theory of institutions
A Tarlecki
Category Theory and Computer Programming: Tutorial and Workshop, Guildford …, 2005
1502005
The definition of Extended ML: A gentle introduction
S Kahrs, D Sannella, A Tarlecki
Theoretical Computer Science 173 (2), 445-484, 1997
1501997
Toward formal development of programs from algebraic specifications: parameterisation revisited
D Sannella, S Sokolowski, A Tarlecki
Acta Informatica 29 (8), 689-736, 1992
1431992
On the existence of free models in abstract algebraic institutions
A Tarlecki
Theoretical Computer Science 37, 269-304, 1985
1411985
What is a Logic?
T Mossakowski, J Goguen, R Diaconescu, A Tarlecki
Logica Universalis, 111-133, 2007
105*2007
Quasi-varieties in abstract algebraic institutions
A Tarlecki
Journal of Computer and System Sciences 33 (3), 333-360, 1986
1051986
Extended ML: an institution-independent framework for formal program development
D Sannella, A Tarlecki
Category Theory and Computer Programming: Tutorial and Workshop, Guildford …, 1986
1011986
Toward formal development of ML programs: foundations and methodology
D Sannella, A Tarlecki
International Joint Conference on Theory and Practice of Software …, 1989
1001989
Towards heterogeneous specifications
A Tarlecki
Frontiers of Combining Systems 2, 337-360, 1998
931998
Structured theory presentations and logic representations
R Harper, D Sannella, A Tarlecki
Annals of Pure and Applied Logic 67 (1-3), 113-160, 1994
911994
A three-valued logic for software specification and validation
B Konikowska, A Tarlecki, A Blikle
VDM'88 VDM—The Way Ahead, LNCS 328, 218-242, 1988
77*1988
CASL the Common Algebraic Specification Language: Semantics and proof theory
T Mossakowski, AE Haxthausen, D Sannella, A Tarlecki
Computing and Informatics 22 (3/4), 285-321, 2003
692003
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20