Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Traian Florin Şerbănuţă

A Rewriting Logic Approach to Operational Semantics

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
2009English

Runtime Verification of C Memory Safety

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Related publications

Bialgebraic Methods and Modal Logic in Structural Operational Semantics

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
2009English

Logic Programming as Hypergraph Rewriting

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1991English

Modular Structural Operational Semantics

BRICS Report Series
2015English

A Compositional Approach to Statecharts Semantics

ACM SIGSOFT Software Engineering Notes
2000English

Complementing Logic Program Semantics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1996English

Separation Logic Adapted for Proofs by Rewriting

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Inductive Assertions and Operational Semantics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Goal Solving as Operational Semantics

1995English

A Denotational Semantics for First-Order Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy