Browsing by Subject "Llenguatges de programació -- Semàntica"
Now showing items 1-7 of 7
Open AccessIn logical categorial grammar [23,11] syntactic structures are categorial proofs and semantic structures are intuitionistic proofs, and the syntax-semantics interface comprises a homomorphism from syntactic proofs to ...
(Institute of Electrical and Electronics Engineers (IEEE), 2012)
Open AccessThe i* community has raised several main dialects and dozens of variations in the definition of the i* language. Differences may be found related not just to the representation of new concepts but to the very core of the ...
(Institute of Electrical and Electronics Engineers (IEEE), 2015)
Open AccessIn this paper we give graph-semantics to a fundamental part of the semantics of the service modeling language SRML: business configurations. To achieve this goal we use symbolic graph transformation systems. We formalize ...
(Universitat Politècnica de Catalunya, 2008-01-17)
Master thesis (pre-Bologna period)
(Universitat Politècnica de Catalunya, 2008-09-18)
Open AccessUn inconveniente importante que presenta hoy en día UML es la falta de semántica formal. Existen muchos conceptos que no define con la suficiente precisión como para que puedan ser interpretados sin ambigüedades. Uno ...
Open AccessIn this paper we provide semantics for normal logic programs enriched with structuring mechanisms and scoping rules. Specifically, we consider constructive negation and expressions of the form Q G Q in goals, where Q is ...
(Institute of Electrical and Electronics Engineers (IEEE), 2019-09-09)
Open AccessiStar2.0 has been proposed as a standard language for building goal- and agent-oriented models. It is an evolution of the former i* language, with the purpose of homogenising existing syntactical and semantic variations ...