Výsledky vyhledávání - F.3.2 LOGICS AND MEANINGS OF PROGRAMS. Semantics of Programming Languages

Categories and Subject Descriptors: D.3.1 [Programming Languages]: Formal Definitions and Theory--semantics; F.3.2 [Logics and Meanings of Programs]: Semantics of Programming Languages--program analysis

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

Zdroj: http://profs.sci.univr.it/~giaco/download/jacm.ps.gz.

Témata: General Terms, Languages, Theory Additional Key Words and Phrases, Abstract interpretation, abstract domain, completeness, fixpoint completeness, complete core, complete shell, integer interval analysis, logic program analysis

Popis souboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.82.2; http://profs.sci.univr.it/~giaco/download/jacm.ps.gz

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.82.2
http://profs.sci.univr.it/~giaco/download/jacm.ps.gz

Categories and Subject Descriptors F.3.2 [LOGICS AND MEANINGS OF PROGRAMS]: Semantics of Programming Languages—Program analysis

Autoři: Xuan Li Lunjin Lu The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Xuan Li Lunjin Lu The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.secs.oakland.edu/~l2lu/pubs/PPDP05.pdf.

Témata: Algorithms, Languages Keywords Backward Analysis, Set-Sharing, Logic Programs, Maximal Models and Boolean Formulas

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.301.4911; http://www.secs.oakland.edu/~l2lu/pubs/PPDP05.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.301.4911
http://www.secs.oakland.edu/~l2lu/pubs/PPDP05.pdf

Theory—Syntax; F.3.2 [Logics and Meanings of Programs]: Semantics of Programming Languages—Algebraic

Autoři: Andrew M. Pitts The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Andrew M. Pitts The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cl.cam.ac.uk/users/ap/papers/alpsri/alpsri.pdf.

Témata: Mathematical Logic and Formal Languages, Mathematical Logic—Mechanical theorem proving General Terms, Languages, Theory, Verification Additional Key Words and Phrases, Abstract syntax, binders, induction, names, recursion

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.63.5001; http://www.cl.cam.ac.uk/users/ap/papers/alpsri/alpsri.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.63.5001
http://www.cl.cam.ac.uk/users/ap/papers/alpsri/alpsri.pdf

Statistical Model Checking for Product Lines

Autoři: ter Beek, Maurice H Legay, Axel Lluch Lafuente, Alberto a další

Přispěvatelé: ter Beek, Maurice H Legay, Axel Lluch Lafuente, Alberto a další

Zdroj: Lecture Notes in Computer Science ISBN: 9783319471655
7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, pp. 114–133, Corfu, Greece, 10-14 October 2016
info:cnr-pdr/source/autori:Ter Beek M. H.; Legay A.; Lluch Lafuente A.; Vandin A./congresso_nome:7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation/congresso_luogo:Corfu, Greece/congresso_data:10-14 October 2016/anno:2016/pagina_da:114/pagina_a:133/intervallo_pagine:114–133
ter Beek, M H, Legay, A, Lluch Lafuente, A & Vandin, A 2016, Statistical Model Checking for Product Lines . in T Margaria & B Steffen (eds), Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I . vol. 9952, Springer, Lecture Notes in Computer Science, pp. 114-33, 7 th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Corfu, Greece, 10/10/2016 . https://doi.org/10.1007/978-3-319-47166-2_8

Témata: F.3.2 LOGICS AND MEANINGS OF PROGRAMS. Algebraic approaches to semantics, Statistical model checking, Markov processes, Software Product Lines, G.3 PROBABILITY AND STATISTICS, Programming languages, compilers, interpreters, Software engineering techniques, Quantitative Constraints, D.2.4 SOFTWARE ENGINEERING. Software/Program Verification. Formal methods, Statistical Model Checking, D.2.13 SOFTWARE ENGINEERING. Reusable Software. Domain engineering, 02 engineering and technology, [INFO] Computer Science [cs], Artificial intelligence (incl. robotics), F.3.2 LOGICS AND MEANINGS OF PROGRAMS. Process models, F.3.2 LOGICS AND MEANINGS OF PROGRAMS. Semantics of Programming Languages, D.2.4 SOFTWARE ENGINEERING. Software/Program Verification. Model checking, D.2.4 SOFTWARE ENGINEERING. Software/Program Verification. Statistical methods, Logics and meanings of programs, 0202 electrical engineering, electronic engineering, information engineering, Computation by abstract devices, Mathematical logic and formal languages, Probabilistic Models

Popis souboru: application/pdf

Přístupová URL adresa: https://backend.orbit.dtu.dk/ws/files/127270862/Statistical_Model_Checking_for_Product_Lines_postprint.pdf
https://inria.hal.science/hal-01406531v1
https://link.springer.com/10.1007/978-3-319-47166-2_8
https://hal.inria.fr/hal-01406531
https://dblp.uni-trier.de/db/conf/isola/isola2016-1.html#BeekLLV16
https://hal.inria.fr/hal-01406531/document
https://link.springer.com/chapter/10.1007/978-3-319-47166-2_8/fulltext.html
https://orbit.dtu.dk/files/127270862/Statistical_Model_Checking_for_Product_Lines_postprint.pdf
https://hdl.handle.net/20.500.14243/321030
https://doi.org/10.1007/978-3-319-47166-2_8
http://link.springer.com/chapter/10.1007/978-3-319-47166-2_8
https://orbit.dtu.dk/en/publications/d09e64ef-2992-4962-9fab-b03a87e3986c
https://hdl.handle.net/11382/534305
https://doi.org/10.1007/978-3-319-47166-2_8
http://link.springer.com/chapter/10.1007/978-3-319-47166-2_8

Generic Techniques for Source-Level Debugging and Dynamic Program Slicing

Autoři: Frank Tip The Pennsylvania State University CiteSeerX Archives

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

Zdroj: ftp://ftp.cwi.nl/pub/gipe/reports/Tip94a.ps.Z

Témata: 1991 CR Categories, D.2.5 [Software engineering, Testing and debugging, D.2.6 [Software engineering, Programming environments, F.3.2 [Logics and meanings of programs, Semantics of programming languages. Keywords &, Phrases, Debugging, program slicing, dynamic slicing, interpreters, origin tracking, dynamic dependence tracking

Popis souboru: application/postscript

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.57.1961

Subgraph-Based Refinement of Worst-Case Execution Time Bounds

Autoři: Brandner, Florian Jordan, Alexander Unité d'Informatique et d'Ingénierie des Systèmes (U2IS) a další

Přispěvatelé: Brandner, Florian Jordan, Alexander Unité d'Informatique et d'Ingénierie des Systèmes (U2IS) a další

Zdroj: https://ensta.hal.science/hal-00978015 ; 2014.

Témata: Worst-Case Execution Time Analysis, Iterative Refinement, Graph Prunning, F.3.2 [Logics and Meanings of Programs]: Semantics of Programming Languages--Program analysis, C.3 [Special-Purpose and Application-Based Systems]: Real-time and embedded systems, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems

Dostupnost: https://ensta.hal.science/hal-00978015
https://ensta.hal.science/hal-00978015v1/document
https://ensta.hal.science/hal-00978015v1/file/iter-wcet-tr.pdf

A Denotational Semantics for SPARC TSO

Autoři: Ryan Kavanagh Stephen Brookes

Zdroj: Logical Methods in Computer Science, Vol 15, Issue 2 (2019)

Témata: computer science - programming languages, f.3.2, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

Popis souboru: electronic resource

Relation: https://lmcs.episciences.org/4051/pdf; https://doaj.org/toc/1860-5974

Přístupová URL adresa: https://doaj.org/article/67d96cf8752a42a69ad3d5185994dd0a

Foundations of Object-Oriented Languages - 2nd Workshop report

Autoři: Giuseppe Castagna Gary T. Leavens The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Giuseppe Castagna Gary T. Leavens The Pennsylvania State University CiteSeerX Archives

Zdroj: ftp://ftp.cs.iastate.edu/pub/techreports/TR94-22/TR.ps.Z

Témata: object-oriented programming, type checking, verification, modules, binary method, matching, subtyping, record update, state, semantics, covariance, contravariance, flow analysis, self, method schemas. 1994 CR Categories, D.1.5 [Programming Techniques] Object-oriented Programming, D.2.2 [Software Engineering] Tools and Techniques--- modules and interfaces, D.2.2 [Software Engineering] Program Verification

Popis souboru: application/postscript

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.53.964

Abstract Certification of Global Non-Interference in Rewriting Logic

Autoři: Alba-Castro, Mauricio Alpuente, María Escobar, Santiago

Témata: Computer Science - Cryptography and Security, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, D.2.4, F.3.2, text

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

Compositional Semantics for the Procedural Interpretation of Logic

Autoři: van Emden, M. H.

Témata: Computer Science - Programming Languages, D.1.6, F.3.2, text

URL: http://arxiv.org/abs/cs/0602098

The Stable Model Semantics for Higher-Order Logic Programming

Autoři: Bogaerts, Bart Charalambidis, Angelos Chatziagapis, Giannos a další

Témata: Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence, Computer Science - Programming Languages, I.2.3, I.2.5, F.3.2, text

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

The Semantics of Metapropramming in Prolog

Autoři: Warren, David S.

Témata: Computer Science - Programming Languages, 68N17 (Primary) 68N15 (Secondary), D.3.1, F.3.2, text

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

Minimum Model Semantics for Logic Programs with Negation-as-Failure

Autoři: Rondogiannis, Panos Wadge, William W.

Témata: Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence, Computer Science - Programming Languages, F.3.2, F.4.1, D.1.6, I.2.3, text

URL: http://arxiv.org/abs/cs/0306017

Epic 1.0 (unconditional) an Equational Programming Language

Autoři: H. R. Walters J. F. Th. Kamperman Issn -x a další

Přispěvatelé: H. R. Walters J. F. Th. Kamperman Issn -x a další

Zdroj: http://www.cwi.nl/ftp/CWIreports/AP/CS-R9604.ps.Z.

Témata: declarative languages, term rewriting, specification languages, formal semantics

Popis souboru: application/postscript

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.5293
http://www.cwi.nl/ftp/CWIreports/AP/CS-R9604.ps.Z

Incremental evaluation for attribute grammars with unrestricted movement between tree modifications.

Autoři: Reps, Thomas

Zdroj: Acta Informatica; 1988, Vol. 25 Issue 2, p155-178, 24p

Theories, Solvers and Static Analysis by Abstract Interpretation.

Autoři: COUSOT, PATRICK COUSOT, RADHIA MAUBORGNE, LAURENT

Zdroj: Journal of the ACM; Dec2012, Vol. 59 Issue 6, p31-56, 56p

Témata: PROGRAMMING languages, MATHEMATICS theorems, PROOF theory, MATHEMATICAL logic, MATHEMATICS, ELECTRONIC data processing

Element of Interaction :Touring Award Lecture.

Autoři: Milner, Robin

Zdroj: Communications of the ACM; Jan1993, Vol. 36 Issue 1, p78-89, 12p

Témata: CONCURRENT Aggregates (Computer program language), INFORMATION theory, COMPUTER software, COMPARATIVE linguistics, SEMANTICS, PROGRAMMING languages

Undecidability of Bisimilarity by Defender's Forcing.

Autoři: Janč, Petr Sarba, Jiří

Zdroj: Journal of the ACM; Feb2008, Vol. 55 Issue 1, p1-26, 26p, 3 Diagrams, 2 Charts

Témata: PROGRAMMING language semantics, ELECTRONIC data processing, PROGRAMMING languages, MACHINE theory, ALGEBRA, DECIDABILITY (Mathematical logic), MATHEMATICAL logic

PRINCIPLES OF ACTION SEMANTICS FOR FUNCTIONAL PROGRAMMING LANGUAGES.

Autoři: Slodičák, Viliam Novitzká, Valerie

Zdroj: Studia Universitatis Babeş-Bolyai, Informatica; 2012, Vol. 57 Issue 1, p35-47, 13p, 4 Diagrams

Témata: SEMANTICS, PROGRAMMING languages, FIBONACCI sequence, GOLDEN ratio, COMPUTER science, INFORMATION science

SCHEMATIC PSEUDOCODE FOR PROGRAM CONSTRUCTS AND ITS COMPUTER AUTOMATION BY SCHEMACODE.

Autoři: Robillard, Pierre N. Sibley, Edgar H.

Zdroj: Communications of the ACM; Nov86, Vol. 29 Issue 11, p1072-1089, 18p, 20 Diagrams, 8 Charts

Témata: PSEUDOCODE (Computer program language), COMPUTER programming, COMPUTER software, SOURCE code, PROGRAMMING languages