Search Results - "Semantics of Programming Languages—Operational semantics"

Source: ACM SIGPLAN 2014 workshop on Partial Evaluation and Program Manipulation, PEPM 2014 ; https://hal.univ-reunion.fr/hal-01451693 ; ACM SIGPLAN 2014 workshop on Partial Evaluation and Program Manipulation, PEPM 2014, Jan 2014, San Diego, United States. pp.121-132

Subject Terms: Android, Operational Semantics, Static Analysis, F31 [Logics and Mean-ings of Programs]: Specifying and Verifying and Reasoning about Programs-Mechanical Verification, F32 [Logics and Meanings of Programs]: Semantics of Programming Languages-Operational semantics, Program analysis General Terms Languages, Theory, Verification Keywords Operational Semantics, Dalvik, Static Anal-ysis, [INFO]Computer Science [cs]

Subject Geographic: San Diego, United States

Availability: https://hal.univ-reunion.fr/hal-01451693
https://hal.univ-reunion.fr/hal-01451693v1/document
https://hal.univ-reunion.fr/hal-01451693v1/file/An_operational_semantics_for_android_activities.pdf

View record from BASE

Nájsť tento článok vo Web of Science

4

Modular session types for objects

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

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

Source: 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/

Subject Terms: 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

Availability: 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

5

Probabilistic relational reasoning for differential privacy

Authors: Gilles Barthe Federico Olmedo Santiago Zanella Béguelin et al.

Contributors: Gilles Barthe Federico Olmedo Santiago Zanella Béguelin et al.

Source: http://software.imdea.org/%7Ebkoepf/papers/popl12.pdf.

Subject Terms: Categories and Subject Descriptors D.3.1 [Programming Lan- guages, Formal Definitions and Theory, F.3.1 [Logics and Mean- ings of Programs, Specifying and Verifying and Reasoning about Programs, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages—Operational semantics, Denotational semantics, Program analysis. General Terms Languages, Security, Theory, Verification Keywords Coq proof assistant, differential privacy, relational Hoare logic

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.671.4413; http://software.imdea.org/%7Ebkoepf/papers/popl12.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.671.4413
http://software.imdea.org/%7Ebkoepf/papers/popl12.pdf

View record from BASE

Nájsť tento článok vo Web of Science

6

Formal verification of translation validators: A case study on instruction scheduling optimizations

Authors: Jean-baptiste Tristan The Pennsylvania State University CiteSeerX Archives

Contributors: Jean-baptiste Tristan The Pennsylvania State University CiteSeerX Archives

Source: http://pauillac.inria.fr/~xleroy/publi/validation-scheduling.pdf.

Subject Terms: Mechanical verification, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages- Operational semantics, D.2.4 [Software Engineering, Software/Program Verification- Correctness proofs, D.3.4 [Programming Languages, Processors- Optimization General Terms Languages, Verification, Algorithms Keywords Translation validation, scheduling optimizations, verified compilers, the Coq

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.75.8717

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.75.8717
http://pauillac.inria.fr/~xleroy/publi/validation-scheduling.pdf

View record from BASE

Nájsť tento článok vo Web of Science

7

A bisimulation-based semantic theory of safe ambients

Authors: Massimo Merro Matthew Hennessy The Pennsylvania State University CiteSeerX Archives

Contributors: Massimo Merro Matthew Hennessy The Pennsylvania State University CiteSeerX Archives

Source: http://www.informatics.sussex.ac.uk/users/matthewh/pubs/toplas2005.pdf.

Subject Terms: Categories and Subject Descriptors, D.3.1 [Programming languages, Formal Definition and Theory—Synax, Semantics, D.1.3 [Programming Techniques, Concurrent Programming— Distributed programming, F.3.2 [Meanings of Programs, Semantics of Programming Languages—Operational semantics General Terms, Languages, Theory Additional Key Words and Phrases, Mobile agents, distributed systems, bisimulation

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.97.519; http://www.informatics.sussex.ac.uk/users/matthewh/pubs/toplas2005.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.97.519
http://www.informatics.sussex.ac.uk/users/matthewh/pubs/toplas2005.pdf

View record from BASE

Nájsť tento článok vo Web of Science

8

An Interval Constraint System for Lattice Domains

Authors: Antonio J. Fernández Patricia M. Hill The Pennsylvania State University CiteSeerX Archives

Contributors: Antonio J. Fernández Patricia M. Hill The Pennsylvania State University CiteSeerX Archives

Source: http://www.lcc.uma.es/~afdez/Papers/ACM_TOPLAS2004.pdf.

Subject Terms: Categories and Subject Descriptors, D.3.2 [Programming Languages, Language Classification—Constraint and logic languages, D.3.3 [Programming Languages, Language Constructs and Features—Constraints, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages—Operational semantics General Terms, Algorithms, Languages, Theory Additional Key Words and Phrases, Constraint, cooperation, indexicals, lattice, propagation

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.329.5251; http://www.lcc.uma.es/~afdez/Papers/ACM_TOPLAS2004.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.329.5251
http://www.lcc.uma.es/~afdez/Papers/ACM_TOPLAS2004.pdf

View record from BASE

Nájsť tento článok vo Web of Science

9

Polymorphic specialization for ML

Authors: Simon Helsen Peter Thiemann Universität Freiburg et al.

Contributors: Simon Helsen Peter Thiemann Universität Freiburg et al.

Source: http://www.swen.uwaterloo.ca/~shelsen/papers/helsen-thiemann-toplas-2004.pdf.

Subject Terms: Categories and Subject Descriptors, D.1.1 [PROGRAMMING TECHNIQUES, Applicative (Functional) Programming, D.3.1 [PROGRAMMING LANGUAGES, Formal Definitions and Theory, D.3.4 [PROGRAMMING LANGUAGES, Processors, F.3.2 [LOGICS AND MEANINGS OF PROGRAMS, Semantics of Programming Languages—Operational semantics, I.2.2 [ARTIFICIAL INTELLIGENCE, Automatic Programming—Program Transformation, Program Synthesis General Terms, Design, Languages, Theory Additional Key Words and Phrases, Binding-time Analysis, Program Specialization, Regions 1 Work performed while at the Universität Freiburg, Germany

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.89.1022

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.89.1022
http://www.swen.uwaterloo.ca/~shelsen/papers/helsen-thiemann-toplas-2004.pdf

View record from BASE

Nájsť tento článok vo Web of Science

10

Computational interpretation of classical logic with explicit structural rules

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

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

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

Subject Terms: 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

Availability: 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

11

Resource control and strong normalisation

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

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

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

Subject Terms: 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

Availability: 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

12

Intersection Types for the Resource Control Lambda Calculi

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

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

Source: 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

Subject Terms: 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]

Subject Geographic: Johannesburg, South Africa

Availability: https://ens-lyon.hal.science/ensl-00654755

View record from BASE

Nájsť tento článok vo Web of Science

13

Intuitionistic Sequent-Style Calculus with Explicit Structural Rules

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

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

Source: 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

Subject Terms: 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]