Search Results - "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

Contributors: The Pennsylvania State University CiteSeerX Archives

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

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

File Description: 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

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

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

Authors: Andrew M. Pitts The Pennsylvania State University CiteSeerX Archives

Contributors: Andrew M. Pitts The Pennsylvania State University CiteSeerX Archives

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

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

File Description: 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

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

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

Authors: Xuan Li Lunjin Lu The Pennsylvania State University CiteSeerX Archives

Contributors: Xuan Li Lunjin Lu The Pennsylvania State University CiteSeerX Archives

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

Subject Terms: Algorithms, Languages Keywords Backward Analysis, Set-Sharing, Logic Programs, Maximal Models and Boolean Formulas

File Description: 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

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

Statistical Model Checking for Product Lines

Authors: ter Beek, Maurice H Legay, Axel Lluch Lafuente, Alberto et al.

Contributors: ter Beek, Maurice H Legay, Axel Lluch Lafuente, Alberto et al.

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

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

File Description: application/pdf

Access URL: 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

Subgraph-Based Refinement of Worst-Case Execution Time Bounds

Authors: Brandner, Florian Jordan, Alexander Unité d'Informatique et d'Ingénierie des Systèmes (U2IS) et al.

Contributors: Brandner, Florian Jordan, Alexander Unité d'Informatique et d'Ingénierie des Systèmes (U2IS) et al.

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

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

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

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

Authors: Reps, Thomas

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

Newtonian Program Analysis.

Authors: ESPARZA, JAVIER KIEFER, STEFAN LUTTENBERGER, MICHAEL

Source: Journal of the ACM; Oct2010, Vol. 57 Issue 6, p33:1-33:47, 47p, 11 Diagrams, 1 Graph

Subject Terms: LATTICE theory, SEMILATTICES, ORDERED sets, COMPUTER programming, COMPUTER software, ALGORITHMS, COMPUTATIONAL mathematics

Set Constraints with Projections.

Authors: CHARATONIK, WITOLD PACHOLSKI, LESZEK

Source: Journal of the ACM; Apr2010, Vol. 57 Issue 4, p23:1-23:37, 37p, 5 Diagrams

Subject Terms: MACHINE theory, ALGORITHMS, MATHEMATICAL logic, MATHEMATICAL models, MATHEMATICAL functions software, COMPUTATIONAL complexity, BOOLEAN algebra

The Measurement Calculus.

Authors: Danos, Vincent Kashefi, Elham Panangaden, Prakash

Source: Journal of the ACM; Apr2007, Vol. 54 Issue 2, p1-45, 45p, 1 Illustration, 1 Graph

Subject Terms: NUMERICAL calculations, CALCULUS, QUANTUM computers, SYNTAX (Grammar), SEMANTICS, PAULI test

The Rational Numbers as an Abstract Data Type.

Authors: Bergstra, J. A. Tucker, J. V.

Source: Journal of the ACM; Apr2007, Vol. 54 Issue 2, p1-25, 25p

Subject Terms: RATIONAL numbers, ALGEBRA, SEMANTICS, MATHEMATICAL models, EQUATIONS, AXIOMATIC set theory, DIVISIBILITY groups

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

Authors: Robillard, Pierre N. Sibley, Edgar H.

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

Subject Terms: PSEUDOCODE (Computer program language), COMPUTER programming, COMPUTER software, SOURCE code, PROGRAMMING languages

ABSTRACTS from other ACM Publications.

Source: Communications of the ACM; Oct82, Vol. 25 Issue 10, p748-753, 6p

Subject Terms: DATA compression, CODING theory, DATABASE management, COMPUTER industry, COMPUTER programming

ABSTRACTS from other ACM Publications.

Source: Communications of the ACM; Jul1982, Vol. 25 Issue 7, p487-492, 6p

Subject Terms: SEQUENTIAL machine theory, REDUCED instruction set computers, MICROELECTRONICS, INTEGRATED circuits

Reviews & Products: COMMUNICATIONS of the ACM (Periodical)

ABSTRACTS from other ACM Publications.

Source: Communications of the ACM; Jan1982, Vol. 25 Issue 1, p69-72, 4p

Subject Terms: PERIODICALS, COMPUTER programming, INFORMATION technology, ALGORITHMS

RID: Finding Reference Count Bugs with Inconsistent Path Pair Checking.

Authors: Mao, Junjie Chen, Yu Xiao, Qixue et al.

Source: ACM / SIGPLAN Notices; Apr2016, Vol. 51 Issue 4, p531-544, 14p

Overhauling SC Atomics in C11 and OpenCL.

Authors: Batty, Mark Donaldson, Alastair F. Wickerson, John

Source: ACM / SIGPLAN Notices; Jan2016, Vol. 51 Issue 1, p634-648, 15p

Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components.

Authors: Chatterjee, Krishnendu Goharshady, Amir Kafshdar Ibsen-Jensen, Rasmus et al.

Source: ACM / SIGPLAN Notices; Jan2016, Vol. 51 Issue 1, p733-747, 15p

Newtonian Program Analysis via Tensor Product.

Authors: Reps, Thomas Turetsky, Emma Prabhu, Prathmesh

Source: ACM / SIGPLAN Notices; Jan2016, Vol. 51 Issue 1, p663-677, 15p

Reducing Crash Recoverability to Reachability.

Authors: Koskinen, Eric Yang, Junfeng

Source: ACM / SIGPLAN Notices; Jan2016, Vol. 51 Issue 1, p97-108, 12p

A Theory of Effects and Resources: Adjunction Models and Polarised Calculi.

Authors: Curien, Pierre-Louis Fiore, Marcelo Munch-Maccagnoni, Guillaume

Source: ACM / SIGPLAN Notices; Jan2016, Vol. 51 Issue 1, p44-56, 13p