Authors: Alan Schmitt, Nils Gesbert, Efficiently Deciding, Hal Id Hal, Nabil Layaı̈da Inria, Alan Schmitt Inria, Universite ́ Grenoble Alpes
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: https://hal.inria.fr/hal-00868722/document/.
Subject Terms: Categories and Subject Descriptors, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic—modal logic, F.4.3 [Mathematical Logic and Formal Languages, Formal Languages—decision problems, E.1 [Data Structures, Trees General Terms, Algorithms, languages, theory, verification Additional Key Words and Phrases, Modal logic, satisfiability, implementation ACM Reference Format
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.699.2169
Authors: Sergio Antoy, Andy Jost
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors D.3.3 [Programming Languages, Language Con- structs and Features — Control structures, D.3.4 [Programming Languages, Proces- sors — Compilers, F.4.2 [Mathematical Logic and Formal Languages, Grammars and Other Rewriting Systems —, G.2.2 [Discrete Mathematics, Graph Theory — Graph algorithms, F.1.2 [Computation by Abstract Devices, Modes of Computation — Alternation and nondeterminism, General Terms Languages, Non-Determinism, Graph, Rewriting, Compilation. Keywords Functional Logic Programming Languages, Graph Rewriting Systems, Compiler Construction
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.699.1466; http://web.cecs.pdx.edu/%7Eantoy/homepage/publications/lopstr13/long.pdf
Authors: Ruy Ley-wild
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://reports-archive.adm.cs.cmu.edu/anon/2014/CMU-CS-14-141.pdf.
Subject Terms: linear logic, logic programming, mode analysis, reduction anal- ysis, termination analysis 15-819K
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.684.364; http://reports-archive.adm.cs.cmu.edu/anon/2014/CMU-CS-14-141.pdf
Authors: Jean-baptiste Jeannin, Andre Platzer
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://reports-archive.adm.cs.cmu.edu/anon/2014/CMU-CS-14-109.pdf.
Subject Terms: differential temporal dynamic logic, hybrid systems, dynamic logic, temporal
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.685.2554; http://reports-archive.adm.cs.cmu.edu/anon/2014/CMU-CS-14-109.pdf
Authors: Konstantinos Mamouras
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: General Terms Theory, Verification, Languages Keywords Hoare logic, propositional Hoare logic, monadic re- cursion schemes, monadic program schemes, sound and complete Hoare calculus
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.675.5011; http://www.cs.cornell.edu/%7Emamouras/papers/hoare-monadic-CSL-LICS-2014.pdf
Authors: Ivan Bocic ́, Tevfik Bultan
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://www.cs.ucsb.edu/%7Ebo/papers/icse14.pdf.
Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verifi- cation—Model checking, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs—Invariants, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages—Pro- gram analysis General Terms Design, Verification Keywords Automated verification, data model, inductive invariants, Ruby on Rails
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.672.153; http://www.cs.ucsb.edu/%7Ebo/papers/icse14.pdf
Availability: http://www.cs.ucsb.edu/%7Ebo/papers/icse14.pdf
Authors: Zinovy Diskin, Aliakbar Safilian, Tom Maibaum, Shoham Ben-david
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://gsd.uwaterloo.ca/sites/default/files/TR-kripke-ml.pdf.
Subject Terms: Key words, Product Lines, Feature Models, Partial Product Lines, Kripke Structures, Modal Logic, Propositional Logic
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.648.6603; http://gsd.uwaterloo.ca/sites/default/files/TR-kripke-ml.pdf
Authors: James Brotherston, Jules Villard, G. E. P. Box, N. R. Draper
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://www0.cs.ucl.ac.uk/staff/J.Brotherston/POPL14/hybrid_BBI.pdf.
Subject Terms: ings of Programs, Specifying and Verifying and Reasoning about Programs—Logics of programs, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic—Model theory, Proof theory, Modal logic General Terms Theory, verification Keywords Bunched logic, separation logic, hybrid logic
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.566.5965; http://www0.cs.ucl.ac.uk/staff/J.Brotherston/POPL14/hybrid_BBI.pdf
Authors: Ivan Bocić, Tevfik Bultan
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://www.cs.ucsb.edu/~bultan/publications/icse14.pdf.
Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification—Model checking, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs—Invariants, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages—Program analysis General Terms Design, Verification Keywords Automated verification, data model, inductive invariants, Ruby on Rails
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.433.1629; http://www.cs.ucsb.edu/~bultan/publications/icse14.pdf
Availability: http://www.cs.ucsb.edu/~bultan/publications/icse14.pdf
Authors: Mauro Roisenberg, Reneu Silva, Petróleo Brasileiro S. A, Available From Mauro Roisenberg, Mauro Roisenberg A, Ćıntia Schoeninger A, Reneu Rodrigues Da Silva B
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Key words, Fuzzy logic, Uncertainty analysis, Petroleum exploration, Decision analysis
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1028.1038
Authors: James Brotherston, Nikos Gorogiannis
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs—Logics of programs, pre- an
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.398.5088; http://www.cs.ucl.ac.uk/fileadmin/UCL-CS/research/Research_Notes/RN_13_14.pdf
Authors: Pierre Genevès, Nabil Layaïda, Alan Schmitt
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic—modal logic, F.4.3 [Mathematical Logic and Formal Languages, Formal Languages—decision problems, E.1 [Data Structures, Trees General Terms, Algorithms, languages, theory, verification Additional Key Words and Phrases, Modal logic, satisfiability, implementation ACM Reference Format
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.400.3745; http://hal.archives-ouvertes.fr/docs/00/86/87/22/PDF/tree-calculus.pdf
Authors: Éric Grégoire, Sébastien Ramon
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://hal.inria.fr/docs/00/86/64/91/PDF/55900578.pdf.
Subject Terms: Default logic, logic-based fusion, inconsistency tolerance, MUS, Minimally Unsatisfiable Subformulas
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.398.7246; http://hal.inria.fr/docs/00/86/64/91/PDF/55900578.pdf
Availability: http://hal.inria.fr/docs/00/86/64/91/PDF/55900578.pdf
Authors: Yuyan Bao, Gary T. Leavens
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://www.eecs.ucf.edu/~leavens/tech-reports/UCF/CS-TR-13-02/TR.pdf.
Subject Terms: H.4 [Information Systems Applications, Miscellaneous, D.2.4 [Software Engineering, Software/Program Verification—formal methods, programming by contract General Terms Verification Keywords Frame axiom, modifies clause, separation logic, dynamic frames, region logic, formal methods, Dafny language, DafnyR language
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.387.1639; http://www.eecs.ucf.edu/~leavens/tech-reports/UCF/CS-TR-13-02/TR.pdf
Authors: Luc Segoufin
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic, F.1.3 [Computation by Abstract Devices, Complexity Measures and Classes General Terms Logic, algorithmic, databases
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.678.4787; http://www.lsv.ens-cachan.fr/%7Esegoufin/Papers/Mypapers/cdlin-survey.pdf
Authors: Gordon Stewart, Anindya Banerjee, Aleksandar Nanevski
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://software.imdea.org/%7Ealeks/rhtt/ifds.pdf.
Subject Terms: Categories and Subject Descriptors D.3.1 [Programming Languages, Formal Definitions and Theory — Semantics, D.4.6 [Security and Protection, Access Controls, Information Flow Controls, Verification, F.3.1 [Logics and Mean- ings of Programs, Specifying and Verifying and Reasoning about Programs — Assertions, invariants, logics of programs, pre- and post-conditions. General Terms Security, Languages Keywords Dependent Type Theory, Information Flow, Erasure, Data Structures
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.681.9502; http://software.imdea.org/%7Ealeks/rhtt/ifds.pdf
Availability: http://software.imdea.org/%7Ealeks/rhtt/ifds.pdf
Authors: Lee Naish, Harald Søndergaard
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://ww2.cs.mu.oz.au/~lee/papers/sem4lp/tplp.pdf.
Subject Terms: Declarative debugging, information order, intended interpretation, logic program specification, many-valued logic, modes, program analysis, specification seman
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.648.2481; http://ww2.cs.mu.oz.au/~lee/papers/sem4lp/tplp.pdf
Availability: http://ww2.cs.mu.oz.au/~lee/papers/sem4lp/tplp.pdf
Authors: Andreas Abel, Brigitte Pientka
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://www2.tcs.ifi.lmu.de/~abel/icfp13-long.pdf.
Subject Terms: schemes, Type structure, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic—Lambda calculus General Terms Languages, Theory Keywords Recursion, Coinduction, Pattern matching, Productiv- ity, Strong normalization, Type-based termination
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.644.987; http://www2.tcs.ifi.lmu.de/~abel/icfp13-long.pdf
Availability: http://www2.tcs.ifi.lmu.de/~abel/icfp13-long.pdf
Authors: Melisa Vela, Yoonsik Cheon
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://www.cs.utep.edu/cheon/techreport/tr13-33.pdf.
Subject Terms: languages, D.3.3 [Programming Languages] Language Constructs and Features — Classes and objects, control structures, inheritance, polymorphism, functions, F.3.1 [Logics and Meanings of Programs] Specifying and Verifying and Reasoning about Programs — Asse, logics of programs, specification techniques
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.434.5948; http://www.cs.utep.edu/cheon/techreport/tr13-33.pdf
Availability: http://www.cs.utep.edu/cheon/techreport/tr13-33.pdf
Authors: José Júlio Alferes, Ricardo Gonçalves, João Leite
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://centria.di.fct.unl.pt/~jleite/papers/JANCL-DP60.pdf.
Subject Terms: logic programming, deontic logic, equilibrium logic
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.410.5477; http://centria.di.fct.unl.pt/~jleite/papers/JANCL-DP60.pdf