Výsledky vyhledávání - Semantics of Programming Languages—Operational semantics

An operational semantics for android activities

Autoři: E. Payet SPOTO, Nicola Fausto Univ, Réunion a další

Přispěvatelé: E. Payet SPOTO, Nicola Fausto Univ, Réunion a další

Zdroj: Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation. :121-132

Témata: Program analysis General Terms Languages, Verification Keywords Operational Semantics, Operational Semantics, Static Analysis, Android, dalvik bytecode, static analysis, 02 engineering and technology, [INFO] Computer Science [cs], 16. Peace & justice, F32 [Logics and Meanings of Programs]: Semantics of Programming Languages-Operational semantics, F31 [Logics and Mean-ings of Programs]: Specifying and Verifying and Reasoning about Programs-Mechanical Verification, 0202 electrical engineering, electronic engineering, information engineering, Dalvik, Theory, 10. No inequality, Static Anal-ysis

Popis souboru: application/pdf

Přístupová URL adresa: http://lim.univ-reunion.fr/staff/epayet/Research/Resources/pepm2014.pdf
https://hal.univ-reunion.fr/hal-01451693v1
https://iris.univr.it/handle/11562/659959
https://dl.acm.org/doi/10.1145/2543728.2543748
https://dblp.uni-trier.de/db/conf/pepm/pepm2014.html#PayetS14

An operational semantics for Android activities

Autoři: Payet, Etienne Spoto, Fausto Laboratoire d'Informatique et de Mathématiques (LIM) a další

Přispěvatelé: Payet, Etienne Spoto, Fausto Laboratoire d'Informatique et de Mathématiques (LIM) a další

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

Témata: 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]

Geografické téma: San Diego, United States

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

Slicing from formal semantics: Chisel—a tool for generic program slicing.

Autoři: Asăvoae, Irina Măriuca Asăvoae, Mihail Riesco, Adrián

Zdroj: International Journal on Software Tools for Technology Transfer. Nov2018, Vol. 20 Issue 6, p739-769. 31p.

Témata: *GENERIC programming (Computer science), *SEMANTICS, *ASSEMBLY languages (Electronic computers), *EMBEDDED computer systems, *SYSTEMS design

A bisimulation-based semantic theory of safe ambients

Autoři: Massimo Merro Matthew Hennessy The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Massimo Merro Matthew Hennessy The Pennsylvania State University CiteSeerX Archives

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

Témata: 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

Popis souboru: 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

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

Automatically Deriving Control-Flow Graph Generators from Operational Semantics

Autoři: Koppel, James Kearl, Jackson Solar-Lezama, Armando

Témata: Computer Science - Programming Languages, text

URL: http://arxiv.org/abs/2010.04918

SEMANTICS OF QUANTUM PROGRAMMING LANGUAGE LANQ.

Autoři: MLNAŘÍK, HYNEK¹ hmlnarik@mail.muni.cz

Zdroj: International Journal of Quantum Information. Jul2008 Supplement 1, Vol. 6, p733-738. 6p. 2 Diagrams.

Témata: *PROGRAMMING languages, *QUANTUM teleportation, *QUANTUM theory, *SEMANTICS, *QUANTUM communication

Semantics of Programming Languages—operational semantics

Autoři: C. J. Fidge The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: C. J. Fidge The Pennsylvania State University CiteSeerX Archives

Zdroj: http://sky.fit.qut.edu.au/~fidgec/Publications/fidge93b.pdf.

Témata: General Terms, Languages, Theory Additional Key Words and Phrases, Priority, real-time programming, Ada, occam, Communicating Sequential Processes

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.83.7915; http://sky.fit.qut.edu.au/~fidgec/Publications/fidge93b.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.83.7915
http://sky.fit.qut.edu.au/~fidgec/Publications/fidge93b.pdf

Semantics of Programming Languages—Operational

Autoři: Julian Mackay Lindsay Groves Hannes Mehnert a další

Přispěvatelé: Julian Mackay Lindsay Groves Hannes Mehnert a další

Zdroj: http://www.comp.nus.edu.sg/~ftfjp/papers/p11-mackay.pdf.

Témata: General Terms Languages, Theory Keywords immutability

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.413.8076
http://www.comp.nus.edu.sg/~ftfjp/papers/p11-mackay.pdf

Modular session types for objects

Autoři: Gay, Simon J. Gesbert, Nils Ravara, António a další

Přispěvatelé: Gay, Simon J. Gesbert, Nils Ravara, António a další

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

Témata: 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

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

Enhanced Operational Semantics.

Autoři: Degano, Pierpaolo Priami, Corrado

Zdroj: ACM Computing Surveys. Jun96, Vol. 28 Issue 2, p352-354. 3p.

Témata: *OBJECT-oriented programming, *INFORMATION theory, *COMPUTER software, *COMPUTER science, SEMANTICS, PROGRAMMING language semantics

Polymorphic specialization for ML

Autoři: Simon Helsen Peter Thiemann Universität Freiburg a další

Přispěvatelé: Simon Helsen Peter Thiemann Universität Freiburg a další

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

Témata: 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

Popis souboru: application/pdf

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

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

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

Autoři: Jean-baptiste Tristan The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Jean-baptiste Tristan The Pennsylvania State University CiteSeerX Archives

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

Témata: 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

Popis souboru: application/pdf

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

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

Probabilistic relational reasoning for differential privacy

Autoři: Gilles Barthe Federico Olmedo Santiago Zanella Béguelin a další

Přispěvatelé: Gilles Barthe Federico Olmedo Santiago Zanella Béguelin a další

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

Témata: 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

Popis souboru: application/pdf

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

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

Abstract Real-Time Rewriting Semantics of Orc

Přispěvatelé: The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.uiuc.edu/homes/alturki/publications/assets/ppdp29k-alturki.pdf.

Témata: Categories and Subject Descriptors F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages—Operational semantics, Program analysis General Terms Languages, Theory, Verification Keywords Orc, rewriting logic, structural operational semantics, real-time, orchestration theory, formal analysis

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.83.6264
http://www.cs.uiuc.edu/homes/alturki/publications/assets/ppdp29k-alturki.pdf

An Interval Constraint System for Lattice Domains

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

Přispěvatelé: Antonio J. Fernández Patricia M. Hill The Pennsylvania State University CiteSeerX Archives

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

Témata: 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

Popis souboru: 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

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

Programming Languages and Operational Semantics.

Autoři: SIMPSON, ALEX

Zdroj: Journal of Functional Programming. May2007, Vol. 17 Issue 3, p424-426. 3p.

Témata: *SMIL (Document markup language), *MULTIMEDIA systems, *COMPUTER-generated imagery, *XHTML (Document markup language)

Reviews & Products: PROGRAMMING Languages & Operational Semantics (Book)

People: FERNANDEZ, Maribel

Symbolic Semantic Rules for Producing Compact STGLAs from Value Passing Process Descriptions

Autoři: Marco Bernardo The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Marco Bernardo The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.sti.uniurb.it/bernardo/documents/acmtocl5.pdf.

Témata: Categories and Subject Descriptors, D.2.4 [Software Engineering, Software/Program Verifica- tion—formal methods, F.1.1 [Computation by Abstract Devices, Models of Computation— automata, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages— operational semantics, process models General Terms, Languages, Theory, Verification Additional Key Words and Phrases, Process algebras, value passing, symbolic semantics

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.582.7579; http://www.sti.uniurb.it/bernardo/documents/acmtocl5.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.582.7579
http://www.sti.uniurb.it/bernardo/documents/acmtocl5.pdf

Computational interpretation of classical logic with explicit structural rules

Autoři: Ghilezan, Silvia Lescanne, Pierre Zunic, Dragisa a další

Přispěvatelé: Ghilezan, Silvia Lescanne, Pierre Zunic, Dragisa a další

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

Témata: 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

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

Resource control and strong normalisation

Autoři: Ghilezan, Silvia Ivetic, Jelena Lescanne, Pierre a další

Přispěvatelé: Ghilezan, Silvia Ivetic, Jelena Lescanne, Pierre a další

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

Témata: 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

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

Operational ontological approach to formal programming language specification.

Autoři: I. Anureev

Zdroj: Programming & Computer Software; Jan2009, Vol. 35 Issue 1, p35-42, 8p

Témata: PROGRAMMING languages, TECHNICAL specifications, COMPUTER software, SEMANTICS