Suchergebnisse - "F.3.2 [Semantics of Programming Languages]: Operational semantics"

  • Treffer 1 - 5 von 5
Treffer weiter einschränken
  1. 1

    Modular session types for objects

    Autoren: Gay, Simon J. Gesbert, Nils Ravara, António et al.

    Weitere Verfasser: Gay, Simon J. Gesbert, Nils Ravara, António et al.

    Quelle: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://hal.science/hal-00700635 ; Logical Methods in Computer Science, 2015, 4 (12), pp.76. ⟨10.2168/LMCS-11(4:12)2015⟩ ; http://www.lmcs-online.org/

    Schlagwörter: session types, object-oriented calculus, Non-uniform method availability, typestate, D.3.3 [Language Constructs and Features]: Classes and objects, D.3.1 [Formal Definitions and Theory], F.3.2 [Semantics of Programming Languages]: Operational semantics, F.3.3 [Studies of Program Constructs]: Type structure, D.1.5, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-WB]Computer Science [cs]/Web

    Relation: info:eu-repo/semantics/altIdentifier/arxiv/1205.5344; ARXIV: 1205.5344

    Verfügbarkeit: https://hal.science/hal-00700635
    https://hal.science/hal-00700635v4/document
    https://hal.science/hal-00700635v4/file/main.pdf
    https://doi.org/10.2168/LMCS-11(4:12)2015

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  2. 2

    Computational interpretation of classical logic with explicit structural rules

    Autoren: Ghilezan, Silvia Lescanne, Pierre Zunic, Dragisa et al.

    Weitere Verfasser: Ghilezan, Silvia Lescanne, Pierre Zunic, Dragisa et al.

    Quelle: https://ens-lyon.hal.science/ensl-00681296 ; 2012.

    Schlagwörter: F.4.1 [Mathematical Logic]: Lambda calculus and related systems, F.3.1 [Specifying and Verifying and Reasoning about Programs]: Logics of programs, F.3.2 [Semantics of Programming Languages]: Operational semantics, F.3.3 [Studies of Program Constructs]: T, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [MATH.MATH-LO]Mathematics [math]/Logic [math.LO], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]

    Relation: info:eu-repo/semantics/altIdentifier/arxiv/1203.4754; ARXIV: 1203.4754

    Verfügbarkeit: https://ens-lyon.hal.science/ensl-00681296
    https://ens-lyon.hal.science/ensl-00681296v1/document
    https://ens-lyon.hal.science/ensl-00681296v1/file/arxiv_classical.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  3. 3

    Resource control and strong normalisation

    Autoren: Ghilezan, Silvia Ivetic, Jelena Lescanne, Pierre et al.

    Weitere Verfasser: Ghilezan, Silvia Ivetic, Jelena Lescanne, Pierre et al.

    Quelle: https://ens-lyon.hal.science/ensl-00651985 ; 2011.

    Schlagwörter: sequent calculus, resource control, intersection types, strong normalisation, lambda calculus, F.4.1 [Mathematical Logic]: Lambda calculus and related systems, F.3.1 [Specifying and Verifying and Reasoning about Programs]: Logics of programs, F.3.2 [Semantics of Programming Languages]: Operational semantics, F.3.3 [Studies of Program Constructs]: T, [MATH.MATH-LO]Mathematics [math]/Logic [math.LO], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

    Relation: info:eu-repo/semantics/altIdentifier/arxiv/1112.3455; ARXIV: 1112.3455

    Verfügbarkeit: https://ens-lyon.hal.science/ensl-00651985
    https://ens-lyon.hal.science/ensl-00651985v3/document
    https://ens-lyon.hal.science/ensl-00651985v3/file/ressources.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  4. 4

    Intersection Types for the Resource Control Lambda Calculi

    Autoren: Lescanne, Pierre Ghilezan, Silvia Ivetic, Jelena et al.

    Weitere Verfasser: Lescanne, Pierre Ghilezan, Silvia Ivetic, Jelena et al.

    Quelle: ICTAC 2011 ; Theoretical Aspects of Computing - ICTAC 2011 - 8th International Colloquium ; https://ens-lyon.hal.science/ensl-00654755 ; Theoretical Aspects of Computing - ICTAC 2011 - 8th International Colloquium, Aug 2011, Johannesburg, South Africa. pp.116-134

    Schlagwörter: lambda calculus, sequent calculus, resource control, intersection types, strong normalisation, F.4.1 [Mathematical Logic]: Lambda calculus and related systems, F.3.1 [Specifying and Verifying and Reasoning about Programs]: Logics of programs, F.3.2 [Semantics of Programming Languages]: Operational semantics, F.3.3 [Studies of Program Constructs], [MATH.MATH-LO]Mathematics [math]/Logic [math.LO], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

    Geographisches Schlagwort: Johannesburg, South Africa

    Verfügbarkeit: https://ens-lyon.hal.science/ensl-00654755

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  5. 5

    Intuitionistic Sequent-Style Calculus with Explicit Structural Rules

    Autoren: Lescanne, Pierre Ghilezan, Silvia Ivetic, Jelena et al.

    Weitere Verfasser: Lescanne, Pierre Ghilezan, Silvia Ivetic, Jelena et al.

    Quelle: TbiLLC 2009 ; Logic, Language, and Computation - 8th International Tbilisi Symposium on Logic, Language, and Computation ; https://ens-lyon.hal.science/ensl-00654762 ; Logic, Language, and Computation - 8th International Tbilisi Symposium on Logic, Language, and Computation, Sep 2009, Bakuriani, Georgia. pp.101-124

    Schlagwörter: F.4.1 [Mathematical Logic]: Lambda calculus and related systems, F.3.1 [Specifying and Verifying and Reasoning about Programs]: Logics of programs, F.3.2 [Semantics of Programming Languages]: Operational semantics, F.3.3 [Studies of Program Constructs], [INFO.INFO-MS]Computer Science [cs]/Mathematical Software [cs.MS], [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]

    Geographisches Schlagwort: Bakuriani, Georgia

    Verfügbarkeit: https://ens-lyon.hal.science/ensl-00654762

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten

Suchwerkzeuge: