Výsledky vyhledávání - Abstract Interpretation 1. MODULAR LOGIC PROGRAMMING*

Optimizing Modular Logic Languages

Autoři: Michele Bugliesi Anna Ciampolini Evelina Lamma a další

Přispěvatelé: Michele Bugliesi Anna Ciampolini Evelina Lamma a další

Zdroj: http://www.dsi.unive.it/~michele/Papers/cs98.pdf.

Témata: Categories and Subject Descriptors, D.1.6 [Programming Techniques, Logic Programming, I.2.2 [Artificial Intelligence, Automatic Programming—Program Transformation Additional Key Words and Phrases, Partial Deduction, Abstract Interpretation 1. MODULAR LOGIC PROGRAMMING

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.134.199; http://www.dsi.unive.it/~michele/Papers/cs98.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.134.199
http://www.dsi.unive.it/~michele/Papers/cs98.pdf

AUGS 46th Annual Scientific Meeting.

Zdroj: Urogynecology; 2025Supplement, Vol. 31, pS1-S542, 542p

Abstract interpretation of Michelson smart-contracts

Autoři: Bau, Guillaume Miné, Antoine Botbol, Vincent a další

Témata: Computer Science - Cryptography and Security, Computer Science - Programming Languages, Computer Science - Software Engineering, text

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

Abductive Analysis of Modular Logic Programs

Autoři: Giacobazzi Roberto Roberto Giacobazzi The Pennsylvania State University CiteSeerX Archives

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

Zdroj: ftp://ftp.di.unipi.it/pub/techreports/TR-97-11.ps.Z

Témata: static analysis, abstract interpretation, logic programming, modular logic programs, abduction, program specification

Popis souboru: application/postscript

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

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

Abductive Analysis of Modular Logic Programs

Autoři: Roberto Giacobazzi The Pennsylvania State University CiteSeerX Archives

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

Zdroj: ftp://ftp.di.unipi.it/pub/Papers/giacobazzi/jlc97.ps.gz

Témata: Static analysis, abstract interpretation, logic programming, modular logic programs, abduction, program specification

Popis souboru: application/postscript

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

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

Compositional analysis of modular logic programs

Autoři: Michael Codish Saumya K. Debray GIACOBAZZI, Roberto

Zdroj: Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '93. :451-464

Témata: Semantics, logic programs analysis, abstract interpretation, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Přístupová URL adresa: https://arizona.pure.elsevier.com/en/publications/compositional-analysis-of-modular-logic-programs
https://iris.univr.it/handle/11562/438156
https://dl.acm.org/doi/10.1145/158511.158703
https://core.ac.uk/display/24278174
http://portal.acm.org/citation.cfm?doid=158511.158703
https://dblp.uni-trier.de/db/conf/popl/popl93.html#CodishDG93
https://hdl.handle.net/11562/438156

Temporal reasoning in a logic programming language with modularity

Autoři: Nogueira, Vitor Beires

Témata: Temporal reasoning in AI, Model of time, Temporal databases, Modular logic programming

Relation: dep. ECT; vbn@uevora.pt; 283

Dostupnost: http://hdl.handle.net/10174/11138

Abstract Interpreters: A Monadic Approach to Modular Verification

Autoři: Michelland, Sébastien Zakowski, Yannick Gonnord, Laure

Přispěvatelé: Michelland, Sébastien Zakowski, Yannick Gonnord, Laure

Zdroj: Proceedings of the ACM on Programming Languages. 8:602-629

Témata: Denotational semantics, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Abstract Interpretation, Monadic Semantics, Formal Verification, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

Popis souboru: application/pdf

Přístupová URL adresa: https://hal.science/hal-04628727v1/document
https://hal.science/hal-04628727v1
https://doi.org/10.1145/3674646

An Abstract Interpreter fot Improving the Efficiency of Dynamic Modular Logic Languages

Autoři: Anna Ciampolini Evelina Lamma Paola Mello a další

Přispěvatelé: Anna Ciampolini Evelina Lamma Paola Mello a další

Zdroj: http://www-lia.deis.unibo.it/Research/TechReport/lia96002.ps.Z.

Témata: Modular Logic Programs, Static Analysis, Abstract Interpretation

Popis souboru: application/postscript

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.56.5713
http://www-lia.deis.unibo.it/Research/TechReport/lia96002.ps.Z

Automatic Modular Abstractions for Template Numerical Constraints

Autoři: Monniaux, David VERIMAG (VERIMAG - IMAG) Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS) a další

Přispěvatelé: Monniaux, David VERIMAG (VERIMAG - IMAG) Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS) a další

Zdroj: Logical Methods in Computer Science, Vol Volume 6, Issue 3 (2010)

Témata: FOS: Computer and information sciences, program transformation, Computer Science - Logic in Computer Science, F.3.1, F.3.2, F.4.1, Logic, linear inequalities, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, computer science - logic in computer science, 0202 electrical engineering, electronic engineering, information engineering, abstract interpretation, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], BC1-199, Computer Science - Programming Languages, f.3.1, computer science - programming languages, f.3.2, f.4.1, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], QA75.5-76.95, Logic in Computer Science (cs.LO), quantifier elimination, Electronic computers. Computer science, Programming Languages (cs.PL)

Popis souboru: application/pdf

Přístupová URL adresa: https://lmcs.episciences.org/1015/pdf
http://arxiv.org/abs/0909.4013
http://arxiv.org/abs/1005.4844
https://lmcs.episciences.org/1015
https://doi.org/10.2168/lmcs-6(3:4)2010
https://doaj.org/article/6575616abdc1499b92cb3f63c1d11bdb
https://arxiv.org/abs/0909.4013
http://ui.adsabs.harvard.edu/abs/2009arXiv0909.4013M/abstract
https://arxiv.org/pdf/1005.4844.pdf

Static Analysis of Run-Time Errors in Embedded Real-Time Parallel C Programs

Autoři: Miné, Antoine

Přispěvatelé: Miné, Antoine

Zdroj: Logical Methods in Computer Science, Vol Volume 8, Issue 1 (2012)

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Thread (computing), 02 engineering and technology, computer science - logic in computer science, Parallel Computing and Performance Optimization, 0202 electrical engineering, electronic engineering, information engineering, D.2.4, F.3.1, F.3.2, Modular design, BC1-199, computer science - programming languages, Mathematical optimization, Reconfigurable Computing Systems and Design Methods, Data consistency, Programming language, Hardware and Architecture, Sequential consistency, Soundness, Physical Sciences, Embedded Systems, d.2.4, Parallel computing, Logic, Multiprocessor Scheduling, Parallel Computing, Theoretical computer science, Shared memory, [INFO.INFO-PF] Computer Science [cs]/Performance [cs.PF], Consistency model, FOS: Mathematics, Computer Science - Programming Languages, f.3.1, Real-Time Scheduling in Embedded Systems, f.3.2, Scalability, Abstract interpretation, QA75.5-76.95, Static analysis, Computer science, Distributed computing, Logic in Computer Science (cs.LO), Operating system, Mutual exclusion, Electronic computers. Computer science, Computer Science, Scheduling (production processes), Timing Analysis, Mathematics, Programming Languages (cs.PL)

Popis souboru: application/pdf

Přístupová URL adresa: https://lmcs.episciences.org/799/pdf
http://arxiv.org/abs/1203.3724
https://lmcs.episciences.org/799
https://doi.org/10.2168/lmcs-8(1:26)2012
https://doaj.org/article/6f64b8ea0c8d4860a6100e09fa2d9160
https://arxiv.org/abs/1203.3724
https://arxiv.org/pdf/1203.3724v2
https://hal.archives-ouvertes.fr/hal-00748098
https://hal.archives-ouvertes.fr/hal-00748098/document
https://arxiv.org/abs/1203.3724
https://dblp.uni-trier.de/db/journals/lmcs/lmcs8.html#abs-1203-3724
https://ui.adsabs.harvard.edu/abs/2012arXiv1203.3724M/abstract
https://arxiv.org/pdf/1203.3724v2

Experimenting with Neurosymbolic Artificial Intelligence for Defending Against Cyber Attacks.

Autoři: Eckhoff, Magnus Wiik Halvorsen, Jonas Hansen, Bjørn Jervell a další

Zdroj: Neurosymbolic Artificial Intelligence; 10/08/2025, Vol. 1, p1-34, 34p

Best Abstracts.

Zdroj: Intensive Care Medicine Experimental; 10/3/2024, Vol. 12 Issue 1, p1-858, 858p

Témata: LANGUAGE models, EXPERIMENTAL medicine, MEDICAL sciences, CORONARY artery bypass, HYPERTHERMIC intraperitoneal chemotherapy, SMALL interfering RNA

Quantifying artificial intelligence through algorithmic generalization.

Autoři: Ito, Takuya Campbell, Murray Horesh, Lior a další

Zdroj: Nature Machine Intelligence; Aug2025, Vol. 7 Issue 8, p1195-1205, 11p

Technical Writing in Filipino Among Grade 10 Students: A PLS-Structural Equation Model.

Autoři: Praile, Jason Rey M. Baradillo, Danillo G.

Zdroj: Psychology & Education: A Multidisciplinary Journal; 2025, Vol. 48 Issue 4, p487-518, 32p

A Semi-Automated Framework for Flood Ontology Construction with an Application in Risk Communication.

Autoři: Li, Shenglin Erickson, Caleb Zajac, Michal a další

Zdroj: Water (20734441); Oct2025, Vol. 17 Issue 19, p2801, 31p

Témata: FLOODS, RISK communication, ONTOLOGY, LANGUAGE models, COMMUNITY involvement, EMERGENCY communication systems, AUTOMATION software

Programming Languages and Systems : 33rd European Symposium on Programming, ESOP 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II

Autoři: Stephanie Weirich

Resource Type: eBook.

Témata: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Categories: COMPUTERS / Languages / General, COMPUTERS / Programming / Compilers

Verification, Model Checking, and Abstract Interpretation

Autoři: Krishna Shankaranarayanan Sriram Sankaranarayanan Ashutosh Trivedi

Resource Type: eBook.

Témata: Logic programming, Computer science--Mathematics, Computer science, Computers, Special purpose, Software engineering

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Architecture, COMPUTERS / Software Development & Engineering / General, MATHEMATICS / Applied

Pluralist neurophenomenology: a reply to Lopes.

Autoři: Yoshimi, Jeff

Zdroj: Phenomenology & the Cognitive Sciences; Sep2025, Vol. 24 Issue 4, p897-920, 24p

Témata: PLURALISM, CONSCIOUSNESS, PARADIGMS (Social sciences), ARTIFICIAL neural networks, PHENOMENOLOGY, DYNAMICAL systems, COGNITIVE science, PHENOMENOLOGICAL psychology

Abductive Analysis of Modular Logic Programs.

Autoři: GIACOBAZZI, ROBERTO

Zdroj: Journal of Logic & Computation; Aug1998, Vol. 8 Issue 4, p457-483, 27p