Author:
Şerbănuţă Traian Florin,Roşu Grigore,Meseguer José
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference97 articles.
1. M. Abadi, L. Cardelli, P.-L. Curien, J.-J. Lévy, Explicit substitutions, in: POPL ’90: Proceedings of the 17th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM Press, New York, NY, USA, 1990, pp. 31–46.
2. G.A. Agha, J. Meseguer, K. Sen, PMaude: rewrite-based specification language for probabilistic object systems, in: 3rd Workshop on Quantitative Aspects of Programming Languages (QAPL 05), Electronic Notes in Theoretical Computer Science, vol. 153, No. 2, 2006, pp. 213–239.
3. W. Ahrendt, A. Roth, R. Sasse, Automatic validation of transformation rules for java verification against a rewriting semantics, in: G. Sutcliffe, A. Voronkov (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning, 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2–6, 2005, Proceedings, Lecture Notes in Computer Science, vol. 3835, Springer, 2005, pp. 412–426.
4. M. Al-Turki, A Rewriting Logic Approach to the Semantics of Orc, Master’s thesis, Department of Computer Science, University of Illinois at Urbana-Champaign, December 2005.
5. M. AlTurki, J. Meseguer, Real-time rewriting semantics of orc, in: M. Leuschel, A. Podelski (Eds.), Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 14–16, 2007, ACM Press, Wroclaw, Poland, 2007, pp. 131–142.
Cited by
51 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Proving Correctness of Parallel Implementations of Transition System Models;ACM Transactions on Programming Languages and Systems;2024-04-20
2. Linking Formal Methods in Software Development;Theories of Programming and Formal Methods;2023
3. Formal verification of IoT applications using rewriting logic: An MDE-based approach;Science of Computer Programming;2022-10
4. A Tool for Describing and Checking Natural Semantics Definitions of Programming Languages;Electronic Proceedings in Theoretical Computer Science;2022-09-19
5. ExAIS;Proceedings of the 44th International Conference on Software Engineering;2022-05-21