Logic in Computer Science

Authors and titles for July 2012

[46] arXiv:1207.7148 [pdf, other]

Title: A Formalization and Proof of the Extended Church-Turing Thesis -Extended Abstract-

Nachum Dershowitz (Tel Aviv University), Evgenia Falkovich (Tel Aviv University)

Comments: In Proceedings DCM 2011, arXiv:1207.6821

Journal-ref: EPTCS 88, 2012, pp. 72-78

Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)

[47] arXiv:1207.7167 [pdf, other]

Title: Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference

Wonchan Lee (Seoul National University), Yungbum Jung (Seoul National University), Bow-yaw Wang (Academia Sinica), Kwangkuen Yi (Seoul National University)

Journal-ref: Logical Methods in Computer Science, Volume 8, Issue 3 (September 29, 2012) lmcs:1035

Subjects: Logic in Computer Science (cs.LO); Machine Learning (cs.LG)

[48] arXiv:1207.7255 [pdf, other]

Title: A Simple Quantifier-free Formula of Positive Semidefinite Cyclic Ternary Quartic Forms

Jingjun Han

Comments: 12 pages

Subjects: Logic in Computer Science (cs.LO); Algebraic Geometry (math.AG)

[49] arXiv:1207.7264 [pdf, other]

Title: Software Verification for Weak Memory via Program Transformation

Jade Alglave, Daniel Kroening, Vincent Nimal, Michael Tautschnig

Subjects: Logic in Computer Science (cs.LO); Software Engineering (cs.SE)

[50] arXiv:1207.0559 (cross-list from cs.PL) [pdf, other]

Title: Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems

Herbert Wiklicky, Mieke Massink

Comments: EPTCS 85, 2012

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO); Performance (cs.PF)

[51] arXiv:1207.0871 (cross-list from cs.CR) [pdf, other]

Title: Quantitative Information Flow as Safety and Liveness Hyperproperties

Hirotoshi Yasuoka (Tohoku University), Tachio Terauchi (Nagoya University)

Comments: In Proceedings QAPL 2012, arXiv:1207.0559

Journal-ref: EPTCS 85, 2012, pp. 77-91

Subjects: Cryptography and Security (cs.CR); Logic in Computer Science (cs.LO)

[52] arXiv:1207.0873 (cross-list from cs.SY) [pdf, other]

Title: Hybrid performance modelling of opportunistic networks

Luca Bortolussi (University of Trieste), Vashti Galpin (University of Edinburgh), Jane Hillston (University of Edinburgh)

Comments: In Proceedings QAPL 2012, arXiv:1207.0559

Journal-ref: EPTCS 85, 2012, pp. 106-121

Subjects: Systems and Control (eess.SY); Logic in Computer Science (cs.LO); Networking and Internet Architecture (cs.NI); Performance (cs.PF)

[53] arXiv:1207.1034 (cross-list from cs.GL) [pdf, other]

Title: Axiomatic Tools versus Constructive approach to Unconventional Algorithms

Gordana Dodig-Crnkovic, Mark Burgin

Subjects: General Literature (cs.GL); Logic in Computer Science (cs.LO)

[54] arXiv:1207.1276 (cross-list from cs.SY) [pdf, other]

Title: Controllers with Minimal Observation Power (Application to Timed Systems)

Peter Bulychev, Franck Cassez, Alexandre David, Kim G. Larsen, Jean-Francois Raskin, Pierre-Alain Reynier

Comments: This is the full version of the ATVA'12 paper

Subjects: Systems and Control (eess.SY); Computer Science and Game Theory (cs.GT); Logic in Computer Science (cs.LO)

[55] arXiv:1207.1410 (cross-list from cs.AI) [pdf, other]

Title: Description Logics with Fuzzy Concrete Domains

Umberto Straccia

Comments: Appears in Proceedings of the Twenty-First Conference on Uncertainty in Artificial Intelligence (UAI2005)

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[56] arXiv:1207.1641 (cross-list from cs.AI) [pdf, other]

Title: Syntactic vs. Semantic Locality: How Good Is a Cheap Approximation?

Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Uli Sattler, Thomas Schneider, Dmitry Tsarkov

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[57] arXiv:1207.1832 (cross-list from cs.AI) [pdf, other]

Title: Minimal Proof Search for Modal Logic K Model Checking

Abdallah Saffidine

Comments: Extended version of the JELIA 2012 paper with the same title

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[58] arXiv:1207.1841 (cross-list from cs.SE) [pdf, other]

Title: Proceedings 2nd Workshop on Formal Methods in the Development of Software

César Andrés (Universidad Complutense de Madrid), Luis Llana (Universidad Complutense de Madrid)

Journal-ref: EPTCS 86, 2012

Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)

[59] arXiv:1207.2300 (cross-list from cs.MS) [pdf, other]

Title: Towards the Formal Specification and Verification of Maple Programs

Muhammad Taimoor Khan, Wolfgang Schreiner

Subjects: Mathematical Software (cs.MS); Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Software Engineering (cs.SE)

[60] arXiv:1207.2746 (cross-list from cs.SE) [pdf, other]

Title: Bounded Model Checking of Temporal Formulas with Alloy

Alcino Cunha (HASlab / INESC TEC and Universidade do Minho)

Comments: New version of the ABZ'14 paper that corrects a mistake in the encoding of the the U and R temporal operators

Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)

[61] arXiv:1207.3315 (cross-list from cs.AI) [pdf, other]

Title: Verifying an algorithm computing Discrete Vector Fields for digital imaging

Jónathan Heras, María Poza, Julio Rubio

Comments: Published in the Calculemus track of the CICM 2012 congress

Journal-ref: Calculemus 2012, Lecture Notes in Computer Science, 7362, pages 215--229, 2012

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Mathematical Software (cs.MS); Algebraic Topology (math.AT)

[62] arXiv:1207.3937 (cross-list from cs.PL) [pdf, other]

Title: PAGAI: a path sensitive static analyzer

Julien Henry (VERIMAG - IMAG), David Monniaux (VERIMAG - IMAG), Matthieu Moy (VERIMAG - IMAG)

Comments: Tools for Automatic Program AnalysiS (TAPAS 2012), Deauville : France (2012)

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

[63] arXiv:1207.5140 (cross-list from math.LO) [pdf, other]

Title: Non-finite axiomatizability of Dynamic Topological Logic

David Fernández-Duque

Comments: arXiv admin note: text overlap with arXiv:1201.5162 by other authors

Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)

[64] arXiv:1207.5220 (cross-list from cs.CC) [pdf, other]

Title: Integer factoring and modular square roots

Emil Jeřábek

Comments: 24 pages; to appear in Journal of Computer and System Sciences

Journal-ref: Journal of Computer and System Sciences 82 (2016), no. 2, pp. 380--394

Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)