Results 31 to 40 of about 106,571 (319)
An Operational Semantics for Stateflow [PDF]
International Journal on Software Tools for Technology Transfer, 2004 We present a formal operational semantics for Stateflow, the graphical Statecharts-like language of the Matlab/Simulink tool suite that is widely used in model-based development of embedded systems. Stateflow has many tricky features but our operational treatment yields a surprisingly simple semantics for the subset that is generally recommended for ...
Grégoire Hamon, John Rushby
openaire +1 more source
Programming in logic without logic programming [PDF]
, 2015 In previous work, we proposed a logic-based framework in which computation is the execution of actions in an attempt to make reactive rules of the form if antecedent then consequent true in a canonical model of a logic program determined by an initial ...
Kowalski, Robert, Sadri, Fariba
core +3 more sources
Modeling Simply-Typed Lambda Calculi in the Category of Finite Vector Spaces [PDF]
Scientific Annals of Computer Science, 2014 In this paper we use finite vector spaces (finite dimension, over finite fields) as a non-standard computational model of linear logic. We first define a simple, finite PCF-like lambda-calculus with booleans, and then we discuss two finite models, one ...
B. Valiron, S. Zdancewic
doaj +1 more source
Operational Semantics of Process Monitors
, 2017 CSPe is a specification language for runtime monitors that can directly express concurrency in a bottom-up manner that composes the system from simpler, interacting components.
A Roscoe +9 more
core +1 more source
A Provenance Tracking Model for Data Updates [PDF]
, 2012 For data-centric systems, provenance tracking is particularly important when the system is open and decentralised, such as the Web of Linked Data. In this paper, a concise but expressive calculus which models data updates is presented.
Ciobanu, Gabriel, Horne, Ross
core +3 more sources
KST: Executable Formal Semantics of IEC 61131-3 Structured Text for Verification
IEEE Access, 2019 Programmable logic controllers (PLCs) are special purpose computers designed to perform industrial automation tasks. They require highly reliable control programs, particularly when used in safetycritical systems such as nuclear power stations.
Yanhong Huang +5 more
doaj +1 more source
, 2010 The goal of this lecture is to show how modern theorem provers---in this case, the Coq proof assistant---can be used to mechanize the specification of programming languages and their semantics, and to reason over individual programs and over generic ...
Leroy, Xavier
core +4 more sources
An Operational Semantics of Graph Transformation Systems Using Symmetric Nets [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Graph transformation systems (GTS) have been successfully proposed as a general, theoretically sound model for concurrency. Petri nets (PN), on the other side, are a central and intuitive formalism for concurrent or distributed systems, well supported by
Lorenzo Capra
doaj +1 more source
Structural Operational Semantics
BRICS Report Series, 1999 The importance of giving precise semantics to programming and specification<br />languages was recognized since the sixties with the development of the<br />first high-level programming languages (cf. e.g. [30, 206] for some early accounts).<br />The use of operational semantics - i.e.
Aceto, Luca, Fokkink, J., Verhoef, C.
openaire +3 more sources
A formal dynamic semantics of Java: an essential ingredient of Java security
Journal of Telecommunications and Information Technology, 2002 Security is becoming a major issue in our highly networked and computerized era. Malicious code detection is an essential step towards securing the execution of applications in a highly inter-connected context.
Mourad Debbabi +2 more
doaj +1 more source