Works matching DE "PROGRAMMING language semantics"


Results: 240
    1
    2
    3
    4
    5
    6
    7
    8
    9
    10
    11
    12
    13
    14

    AN OVERVIEW ON OPERATIONAL SEMANTICS IN MEMBRANE COMPUTING.

    Published in:
    International Journal of Foundations of Computer Science, 2011, v. 22, n. 1, p. 119, doi. 10.1142/S0129054111007885
    By:
    • BARBUTI, ROBERTO;
    • MAGGIOLO-SCHETTINI, ANDREA;
    • MILAZZO, PAOLO;
    • TINI, SIMONE;
    • Pérez-Jiménez, Mario J.
    Publication type:
    Article
    15
    16
    17

    Mix and mash.

    Published in:
    ITNOW, 2007, v. 49, n. 3, p. 14, doi. 10.1093/itnow/bwl132
    By:
    • Davies, John
    Publication type:
    Article
    18
    19
    20
    21
    22
    23

    Unifying classes and processes.

    Published in:
    Software & Systems Modeling, 2005, v. 4, n. 3, p. 277, doi. 10.1007/s10270-005-0085-2
    By:
    • Cavalcanti, Ana;
    • Sampaio, Augusto;
    • Woodcock, Jim
    Publication type:
    Article
    24
    25
    26

    A COMPARISON OF BIG-STEP SEMANTICS DEFINITION STYLES.

    Published in:
    Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae. Sectio Computatorica, 2024, v. 57, p. 117, doi. 10.71352/ac.57.141
    By:
    • Bereczky, Péter;
    • Horpácsi, Dániel;
    • Thompson, Simon
    Publication type:
    Article
    27
    28

    Semantics-Based Design for Secure Web Services.

    Published in:
    IEEE Transactions on Software Engineering, 2008, v. 34, n. 1, p. 33, doi. 10.1109/TSE.2007.70740
    By:
    • Bartoletti, Massimo;
    • Degano, Pierpaolo;
    • Ferrari, Gian Luigi;
    • Zunino, Roberto
    Publication type:
    Article
    29

    An Extensible Metamodel for Program Analysis.

    Published in:
    IEEE Transactions on Software Engineering, 2007, v. 33, n. 12, p. 799, doi. 10.1109/TSE.2007.70759
    By:
    • Strein, Dennis;
    • Lincke, Rüdiger;
    • Lundberg, Jonas;
    • Löwe, Welf
    Publication type:
    Article
    30

    Software Component Models.

    Published in:
    IEEE Transactions on Software Engineering, 2007, v. 33, n. 10, p. 709, doi. 10.1109/TSE.2007.70726
    By:
    • Kung-Kiu Lau;
    • Zheng Wang
    Publication type:
    Article
    31
    32
    33
    34
    35
    36
    37
    38
    39
    40
    41
    42
    43

    Tool Support for fUML Models.

    Published in:
    International Journal of Computers, Communications & Control, 2010, v. 5, n. 5, p. 775, doi. 10.15837/ijccc.2010.5.2237
    Publication type:
    Article
    44
    45
    46

    Towards Robust Semantic Role Labeling.

    Published in:
    Computational Linguistics, 2008, v. 34, n. 2, p. 289, doi. 10.1162/coli.2008.34.2.289
    By:
    • Pradhan, Sameer S.;
    • Ward, Wayne;
    • Martin, James H.
    Publication type:
    Article
    47
    48

    Tree Kernels for Semantic Role Labeling.

    Published in:
    Computational Linguistics, 2008, v. 34, n. 2, p. 193, doi. 10.1162/coli.2008.34.2.193
    By:
    • Moschitti, Alessandro;
    • Pighin, Daniele;
    • Basili, Roberto
    Publication type:
    Article
    49
    50