SU\G(𝔸)/K·U
Computer Science › Artificial Intelligence

Logic, programming, and type systems

Works Count: 69256

Description

This cluster of papers covers a wide range of program analysis and verification techniques, including static analysis, formal verification, type inference, memory management, concurrency, garbage collection, separation logic, model checking, abstract interpretation, and programming language semantics.

Keywords

Static Analysis; Formal Verification; Type Inference; Memory Management; Concurrency; Garbage Collection; Separation Logic; Model Checking; Abstract Interpretation; Programming Language Semantics

Most Cited Works

Action Title Date Authors
+
Ideas and Results in Proof Theory 1971-01-01 Dag Prawitz
+
Connectedness and binary branching 1984-12-31 Richard S. Kayne
+
Quantifier Elimination and Cylindrical Algebraic Decomposition 1998-01-01 B. F. Caviness Jeremy Johnson
+
The algebraic theory of semigroups 1964-01-01 A. H. Clifford G. B. Preston
+ PDF Ask
Stable Models and an Alternative Logic Programming Paradigm 1999-01-01 Victor W. Marek Mirosław Truszczyński
+ PDF Ask
Ellipsis and higher-order unification 1991-08-01 Mary Dalrymple Stuart M. Shieber Fernando C. N. Pereira
+
Gödel numberings of partial recursive functions 1958-09-01 Hartley Rogers
+ PDF Ask
FORM version 4.0 2013-01-09 J. Kuipers Takahiro Ueda J. A. M. Vermaseren J. Vollinga
+
Simple Word Problems in Universal Algebras 1983-01-01 Donald E. Knuth PETER B. BENDIX
+
The theory of ends, pushdown automata, and second-order logic 1985-01-01 David E. Muller Paul E. Schupp
+
The geometry of tensor calculus, I 1991-07-01 André Joyal Ross Street
+ PDF Ask
Another perspective on default reasoning 1995-03-01 Daniel Lehmann
+ PDF Ask
The foundation of a generic theorem prover 1989-09-01 Lawrence C. Paulson
+
Semi-abelian categories 2002-03-01 George Janelidze L. Márki Walter Tholen
+
On Closed Elements in Closure Algebras 1946-01-01 J. C. C. McKinsey Alfred Tarski
+ PDF Ask
Extending and implementing the stable model semantics 2002-06-01 Patrik Simons Ilkka Niemelä Timo Soininen
+ PDF Ask
Paracompactness and product spaces 1948-01-01 A. H. Stone
+
Structural equivalence of individuals in social networks 1971-01-01 François Lorrain Harrison C. White
+
The formal theory of monads II 2002-11-01 Stephen Lack Ross Street
+ PDF Ask
Complete Sets of Reductions for Some Equational Theories 1981-04-01 Gerald E. Peterson Mark E. Stickel
+ PDF Ask
Introduction to Knot Theory. 1964-12-01 H. F. Trotter Richard H. Crowell Ralph H. Fox
+ PDF Ask
Introduction to the GiNaC Framework for Symbolic Computation within the C++ Programming Language 2002-01-01 C. Bauer Alexander Frink Richard Kreckel
+
The structure of multiplicatives 1989-10-01 Vincent Danos Laurent Régnier
+
Terminal coalgebras in well-founded set theory 1993-06-01 Michael Barr
+ PDF Ask
On the Vassiliev knot invariants 1995-04-01 Dror Bar-Natan
+ PDF Ask
Games and full completeness for multiplicative linear logic 1994-06-01 Samson Abramsky Radha Jagadeesan
+ PDF Ask
Homotopy Type Theory: Univalent Foundations of Mathematics 2013-01-01 Peter Aczel Benedikt Ahrens Thorsten Altenkirch Steve Awodey Bruno Barras Andrej Bauer Yves Bertot Marc Bezem Thierry Coquand Eric Finster
+
<i>On Formally Undecidable Propositions of Principia Mathematica and Related Systems</i> 1964-01-01 Kurt Gödel Bernard D. Meltzer Richard Schlegel
+ PDF Ask
A Formally Verified Compiler Back-end 2009-11-03 Xavier Leroy
+ PDF Ask
Julia: A Fast Dynamic Language for Technical Computing 2012-01-01 Jeff Bezanson Stefan Karpinski Viral B. Shah Alan Edelman
+ PDF Ask
Towards Understanding and Harnessing the Potential of Clause Learning 2004-12-01 Paul Beame Henry Kautz Ashish Sabharwal
+
Introduction to a General Theory of Elementary Propositions 1921-07-01 Emil L. Post
+
Why Do We Prove Theorems? 1999-02-01 Yehuda Rav
+
The Scholastic Analysis of Usury. 1958-12-01 J. Fred Weston John T. Noonan
+
Linear Programming and Extensions. 1964-01-01 S. Vajda George B. Dantzig
+ PDF Ask
NLTK: The Natural Language Toolkit 2002-01-01 Edward Loper Steven Bird
+ PDF Ask
A rewriting system for convex optimization problems 2018-01-02 Akshay Agrawal Robin Verschueren Steven Diamond Stephen Boyd
+ PDF Ask
A Knowledge Compilation Map 2002-09-01 Adnan Darwiche Pierre Marquis
+ PDF Ask
A Survey of Graphical Languages for Monoidal Categories 2010-01-01 Peter Selinger
+ PDF Ask
The octagon abstract domain 2006-03-01 Antoine Miné
+
How Presuppositions are Inherited: A Solution to the Projection Problem 1982-01-01 Scott Soames
+
Decomposition Techniques in Mathematical Programming 2006-01-01 Antonio J. Conejo Enrique Castillo Roberto Mı́nguez Raquel García-Bertrand
+
Constructible falsity 1949-05-16 David Nelson
+
The knot book: an elementary introduction to the mathematical theory of knots 1994-12-01

Most Recent Works

Action Title Date Authors
+ PDF Ask
Arbitrary-arity Tree Automata and QCTL 2025-01-28 François Laroussinie Nicolas Markey
+ PDF Ask
Le chameau et le serpent rentrent dans un bar : vérification quasi-automatique de code OCaml en logique de séparation 2025-01-28 Charlène Gros Mário Pereira
+
FORMAL LIFTING OF DUALIZING COMPLEXES AND CONSEQUENCES 2025-01-20 Shiji Lyu
+
Special Proof Types 2025-01-21 Mark J. DeBonis
+ PDF Ask
Linear gate bounds against natural functions for position-verification 2025-01-21 Vahid R. Asadi Richard Cleve Eric Culf Alex May
+ PDF Ask
A Common Ancestor of PDL, Conjunctive Queries, and Unary Negation First-order 2025-01-22 Diego Figueira Santiago Figueira
+ PDF Ask
Treefix: Enabling Execution with a Tree of Prefixes 2025-01-21 Beatriz Souza Michael Pradel
+ PDF Ask
Zero-Shot Trajectory Planning for Signal Temporal Logic Tasks 2025-01-23 Ruijia Liu Tuo‐Hung Hou Xiao Yu Xiang Yin
+ PDF Ask
Verifying Graph Algorithms in Separation Logic: A Case for an Algebraic Approach (Extended Version) 2025-01-23 Marcos Grandury Aleksandar Nanevski Anton Gryzlov
+
Tabulating knot mosaics: crossing number 10 or less 2025-01-24 Aaron Heap Douglas Baldwin James Canning Greg Vinal
+ PDF Ask
Smoothness of Classical Limit in KMOC Formalism 2025-01-23 Pritish Sinha
+ PDF Ask
Reasoning about Weak Isolation Levels in Separation Logic 2025-01-24 Anders Alnor Mathiasen Léon Gondelman Léon Ducruet Amin Timany Lars Birkedal
+ PDF Ask
Multiparty Session Types with a Bang! 2025-01-24 Matthew Alan Le Brun Simon Fowler Ornela Dardha
+ PDF Ask
Guarded Negation Transitive Closure Logic is 2-EXPTIME-complete 2025-01-25 Yoshiki Nakamura
+ PDF Ask
Tropical Mathematics and the Lambda-Calculus II: Tropical Geometry of Probabilistic Programming Languages 2025-01-26 Davide Barbarossa Paolo Pistone
+ PDF Ask
Efficient Evidence Generation for Modal $\mu$-Calculus Model Checking (extended version) 2025-01-27 Anna Stramaglia Jeroen J. A. Keiren Maurice Laveaux Tim A. C. Willemse
+
Terminal Coalgebras as Algebras, Initial Algebras as Coalgebras 2025-01-30
+ PDF Ask
Higher Eckmann-Hilton Arguments in Type Theory 2025-01-27 Thibaut Benjamin Ioannis Markakis Wilfred Offord Chiara Sarti Jamie Vicary
+ PDF Ask
Sharing and Linear Logic with Restricted Access (Extended Version) 2025-01-27 Pablo Barenbaum Eduardo Bonelli
+
A disciplined approach to abstraction 2025-01-30 Michelle Pannone K. O’Connor
+ PDF Ask
Algebraic Proof Theory for Infinitary Action Logic 2025-01-30 Wesley Fussner Simon Santschi B Miranda
+ PDF Ask
Synthesizing Grasps and Regrasps for Complex Manipulation Tasks 2025-01-29 Aditya Patankar Dasharadhan Mahalingam Nilanjan Chakraborty
+ PDF Ask
Rewriting for Symmetric Monoidal Categories with Commutative (Co)Monoid Structure 2025-01-31 Aleksandar Milosavljević Robin Piedeleu Fabio Zanasi
+ PDF Ask
True Online TD-Replan(lambda) Achieving Planning through Replaying 2025-01-31 Abdulrahman Altahhan
+ PDF Ask
BFS-Prover: Scalable Best-First Tree Search for LLM-based Automatic Theorem Proving 2025-02-05 Ran Xin Chenguang Xi Jie Yang Feng Chen Hang Wu Xia Xiao Yifan Sun Shen Zheng Kai Shen
+ PDF Ask
Iterate to Accelerate: A Unified Framework for Iterative Reasoning and Feedback Convergence 2025-02-06 Jacob Fein-Ashley
+ PDF Ask
Position-aware Automatic Circuit Discovery 2025-02-06 Tal Haklay Hadas Orgad David Bau Aaron Mueller Yonatan Belinkov
+ PDF Ask
Completeness Theorems for k-SUM and Geometric Friends: Deciding Fragments of Integer Linear Arithmetic 2025-02-06 Geri Gokaj Marvin Künnemann
+ PDF Ask
Total preprojective algebras 2025-02-07 Aaron Chan Osamu Iyama René Marczinzik
+ PDF Ask
A Coq Formalization of Unification Modulo Exclusive-Or 2025-02-11 Yejun Xu Daniel J. Dougherty Rose Bohrer
+ PDF Ask
Hybrid Answer Set Programming: Foundations and Applications 2025-02-11 Nicolas Rühling
+ PDF Ask
Computational Complexity of Polynomial Subalgebras 2025-02-07 Leonie Kayser
+ PDF Ask
Oracular Programming: A Modular Foundation for Building LLM-Enabled Software 2025-02-07 Jonathan Laurent André Platzer
+ PDF Ask
A Complete Axiomatization of Branching Bisimilarity for a Simple Process Language with Probabilistic Choice 2025-02-08 Rob van Glabbeek Jan Friso Groote E.P. de Vink
+ PDF Ask
Some properties of $\beta$-$\eta$-normal forms in $\lambda$-K-calculus (Alcune propriet\'{a} delle forme $\beta$-$\eta$-normali nel $\lambda$-K-calcolo) 2025-02-08 Corrado Böhm 純 熱田
+ PDF Ask
Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving 2025-02-11 Yong Lin Sui Tang Bohan Lyu Jiayun Wu Hui Lin Kaiyu Yang Jia Li Mengzhou Xia Danqi Chen Sanjeev Arora
+
Des suites exotiques pour écrire les nombres 2025-01-30 Jean-Paul Delahaye
+ PDF Ask
On Constructing Finite Automata by Relational Programming 2025-02-11 Attila Egri-Nagy Chrystopher L. Nehaniv
+ PDF Ask
Hypercubic Decomposition of Verma Supermodules and Semibricks Realizing the Khovanov Algebra of Defect One 2025-02-15 Shunsuke Hirota
+ PDF Ask
Modular Algorithms For Computing Gr\"obner Bases in Free Algebras 2025-02-17 Clemens Hofstadler Viktor Levandovskyy
+ PDF Ask
Runtime Enforcement of CPS against Signal Temporal Logic 2025-02-17 Han Su S. Siva Shankar Srinivas Pinisetty Partha S. Roop Naijun Zhan
+ PDF Ask
Theorem Prover as a Judge for Synthetic Data Generation 2025-02-18 Joshua Ong Jun Leang Giwon Hong Wenda Li Shay B. Cohen
+ PDF Ask
An elementary algebraic proof of the fundamental theorem of algebra 2025-02-18 Katelyn S. Clark Pace P. Nielsen
+ PDF Ask
Deontic Action Logics: A Modular Algebraic Perspective 2025-02-19 Carlos Areces Valentín Cassano Pablo F. Castro Raul Fervari
+ PDF Ask
SolSearch: An LLM-Driven Framework for Efficient SAT-Solving Code Generation 2025-02-20 Junjie Sheng Lin Ye J.Z. Wu Yanhong Huang Jianqi Shi Min Zhang Xiangfeng Wang
+
Standard Lyndon Loop Words: Weighted Orders 2025-03-01 Severyn Khomych Nazar Korniichuk Kostiantyn Molokanov Alexander Tsymbaliuk
+ PDF Ask
Double Categories of Relations Relative to Factorisation Systems 2025-03-06 Keisuke Hoshino Hayato Nasu
+
A cubulation with no factor system 2025-03-05 S.A. Shepherd