Suchergebnisse - "F.3.2 [Semantics of Programming Languages]: Operational semantics"
-
1
Autoren: et al.
Weitere Verfasser: 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
-
2
Autoren: et al.
Weitere Verfasser: 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
-
3
Autoren: et al.
Weitere Verfasser: 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
-
4
Autoren: et al.
Weitere Verfasser: 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
-
5
Autoren: et al.
Weitere Verfasser: 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]
Verfügbarkeit: https://ens-lyon.hal.science/ensl-00654762
Nájsť tento článok vo Web of Science