×

Found 114 Documents (Results 1–100)

An epistemic strategy logic (extended abstract). (English) Zbl 1464.03016

Mogavero, Fabio (ed.) et al., Proceedings of the 2nd international workshop on strategic reasoning, SR’14, Grenoble, France, April 5–6, 2014. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 146, 35-41 (2014).
PDFBibTeX XMLCite
Full Text: arXiv Link

Reasoning about knowledge and strategies: epistemic strategy logic. (English) Zbl 1464.03015

Mogavero, Fabio (ed.) et al., Proceedings of the 2nd international workshop on strategic reasoning, SR’14, Grenoble, France, April 5–6, 2014. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 146, 27-33 (2014).
PDFBibTeX XMLCite
Full Text: arXiv Link

Epistemic probability logic simplified. (English) Zbl 1385.03037

Goré, Rajeev (ed.) et al., Advances in modal logic. Vol. 10. Proceedings of the 10th conference (AiML 2014), Groningen, Netherlands, August 5–8, 2014. London: College Publications (ISBN 978-1-84890-151-3/pbk). 158-177 (2014).
PDFBibTeX XMLCite

Hyper-Ackermannian bounds for pushdown vector addition systems. (English) Zbl 1392.68307

Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 63, 10 p. (2014).
PDFBibTeX XMLCite
Full Text: DOI HAL

Local temporal reasoning. (English) Zbl 1401.68203

Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 59, 10 p. (2014).
MSC:  68Q60 03B44 68N30
PDFBibTeX XMLCite
Full Text: DOI

Probably safe or live. (English) Zbl 1394.68231

Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 55, 10 p. (2014).
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

One hierarchy spawns another: graph deconstructions and the complexity classification of conjunctive queries. (English) Zbl 1394.68172

Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 32, 10 p. (2014).
PDFBibTeX XMLCite
Full Text: DOI arXiv

The tractability frontier of graph-like first-order query sets. (English) Zbl 1394.68171

Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 31, 9 p. (2014).
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

A decision procedure for satisfiability in separation logic with inductive predicates. (English) Zbl 1401.68111

Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 25, 10 p. (2014).
PDFBibTeX XMLCite
Full Text: DOI

The complexity of admissibility in omega-regular games. (English) Zbl 1401.68110

Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 23, 10 p. (2014).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Model checking existential logic on partially ordered sets. (English) Zbl 1401.68187

Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 21, 10 p. (2014).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Decomposition theorems and model-checking for the modal \(\mu\)-calculus. (English) Zbl 1394.68222

Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 17, 10 p. (2014).
MSC:  68Q60 03B45 68Q25
PDFBibTeX XMLCite
Full Text: DOI arXiv

Weight monitoring with linear temporal logic: complexity and decidability. (English) Zbl 1401.68182

Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 11, 10 p. (2014).
PDFBibTeX XMLCite
Full Text: DOI

Abstract interpretation: past, present and future. (English) Zbl 1401.68037

Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 2, 10 p. (2014).
MSC:  68N30 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Trade-off analysis meets probabilistic model checking. (English) Zbl 1401.68181

Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 1, 10 p. (2014).
MSC:  68Q60 68Q87
PDFBibTeX XMLCite
Full Text: DOI

\(\mathrm{LTL}_{f}\) satisfiability checking. (English) Zbl 1366.68177

Schaub, Torsten (ed.) et al., ECAI 2014. 21st European conference on artificial intelligence, Prague, Czech Republic, August 18–22, 2014. Proceedings. Including proceedings of the accompanied concerence on prestigious applications of intelligent systems (PAIS 2014). Amsterdam: IOS Press (ISBN 978-1-61499-418-3/pbk; 978-1-61499-419-0/ebook). Frontiers in Artificial Intelligence and Applications 263, 513-518 (2014).
MSC:  68Q60 68Q25
PDFBibTeX XMLCite
Full Text: arXiv Link

Quasi-dependent variables in hybrid automata. (English) Zbl 1361.68118

Proceedings of the 17th ACM international conference on hybrid systems: computation and control, HSCC 2014, Berlin, Germany, April 15–17, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2732-9). 93-102 (2014).
MSC:  68Q45 68Q60
PDFBibTeX XMLCite
Full Text: DOI Link

On the complexity of computing maximum entropy for Markovian models. (English) Zbl 1360.68501

Raman, Venkatesh (ed.) et al., 34th international conference on foundation of software technology and theoretical computer science, FSTTCS 2014, New Delhi, India, December 15–17, 2014. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-77-4). LIPIcs – Leibniz International Proceedings in Informatics 29, 571-583 (2014).
PDFBibTeX XMLCite
Full Text: DOI

Multiple-environment Markov decision processes. (English) Zbl 1360.68598

Raman, Venkatesh (ed.) et al., 34th international conference on foundation of software technology and theoretical computer science, FSTTCS 2014, New Delhi, India, December 15–17, 2014. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-77-4). LIPIcs – Leibniz International Proceedings in Informatics 29, 531-543 (2014).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Parameterized complexity of fixed variable logics. (English) Zbl 1360.68491

Raman, Venkatesh (ed.) et al., 34th international conference on foundation of software technology and theoretical computer science, FSTTCS 2014, New Delhi, India, December 15–17, 2014. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-77-4). LIPIcs – Leibniz International Proceedings in Informatics 29, 109-120 (2014).
MSC:  68Q25 68Q15 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Keeping a crowd safe: on the complexity of parameterized verification (invited talk). (English) Zbl 1359.68189

Mayr, Ernst W. (ed.) et al., 31st international symposium on theoretical aspects of computer science, STACS’ 14, Lyon, France, March 5–8, 2014. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-65-1). LIPIcs – Leibniz International Proceedings in Informatics 25, 1-10 (2014).
MSC:  68Q60 68Q25 68Q45
PDFBibTeX XMLCite
Full Text: DOI arXiv

Type-based parametric analysis of program families. (English) Zbl 1345.68099

Proceedings of the 19th ACM SIGPLAN international conference on functional programming, ICFP ’14, Gothenburg, Sweden, September 1–3, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2873-9). 39-51 (2014).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: DOI

Computing invariants with transformers: experimental scalability and accuracy. (English) Zbl 1337.68168

Simon, Axel (ed.) et al., Proceedings of the 5th international workshop on numerical and symbolic abstract domains, NSAD 2014, Munich, Germany, September 10, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 307, 17-31, electronic only (2014).
MSC:  68Q60 68N30
PDFBibTeX XMLCite
Full Text: DOI

Statistically sound verification and optimization for complex systems. (English) Zbl 1448.68322

Cassez, Franck (ed.) et al., Automated technology for verification and analysis. 12th international symposium, ATVA 2014, Sydney, NSW, Australia, November 3–7, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8837, 411-427 (2014).
MSC:  68Q60 68Q87
PDFBibTeX XMLCite
Full Text: DOI

Nested reachability approximation for discrete-time Markov chains with univariate parameters. (English) Zbl 1448.68320

Cassez, Franck (ed.) et al., Automated technology for verification and analysis. 12th international symposium, ATVA 2014, Sydney, NSW, Australia, November 3–7, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8837, 364-379 (2014).
MSC:  68Q60 60J20 68Q87
PDFBibTeX XMLCite
Full Text: DOI

Verification of Markov decision processes using learning algorithms. (English) Zbl 1448.68290

Cassez, Franck (ed.) et al., Automated technology for verification and analysis. 12th international symposium, ATVA 2014, Sydney, NSW, Australia, November 3–7, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8837, 98-114 (2014).
MSC:  68Q60 68Q87 68T05
PDFBibTeX XMLCite
Full Text: DOI arXiv

Generalized Craig interpolation for stochastic satisfiability modulo theory problems. (English) Zbl 1448.68308

Ouaknine, Joël (ed.) et al., Reachability problems. 8th international workshop, RP 2014, Oxford, UK, September 22–24, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8762, 203-215 (2014).
PDFBibTeX XMLCite
Full Text: DOI

Parameter synthesis for probabilistic timed automata using stochastic game abstractions. (English) Zbl 1393.68095

Ouaknine, Joël (ed.) et al., Reachability problems. 8th international workshop, RP 2014, Oxford, UK, September 22–24, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-11438-5/pbk). Lecture Notes in Computer Science 8762, 176-189 (2014).
PDFBibTeX XMLCite
Full Text: DOI

Reachability in MDPs: refining convergence of value iteration. (English) Zbl 1393.68102

Ouaknine, Joël (ed.) et al., Reachability problems. 8th international workshop, RP 2014, Oxford, UK, September 22–24, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-11438-5/pbk). Lecture Notes in Computer Science 8762, 125-137 (2014).
MSC:  68Q60 68Q87
PDFBibTeX XMLCite
Full Text: DOI HAL

2D dependency pairs for proving operational termination of CTRSs. (English) Zbl 1367.68145

Escobar, Santiago (ed.), Rewriting logic and its applications. 10th international workshop, WRLA 2014, held as a satellite event of ETAPS, Grenoble, France, April 5–6, 2014. Revised selected papers. Cham: Springer (ISBN 978-3-319-12903-7/pbk; 978-3-319-12904-4/ebook). Lecture Notes in Computer Science 8663, 195-212 (2014).
MSC:  68Q42 68N30
PDFBibTeX XMLCite
Full Text: DOI

Counterexample generation for discrete-time Markov models: an introductory survey. (English) Zbl 1445.68130

Bernardo, Marco (ed.) et al., Formal methods for executable software models. 14th international school on formal methods for the design of computer, communication, and software systems, SFM 2014, Bertinoro, Italy, June 16–20, 2014. Advanced lectures. Berlin: Springer. Lect. Notes Comput. Sci. 8483, 65-121 (2014).
PDFBibTeX XMLCite
Full Text: DOI

Bisimulations and logical characterizations on continuous-time Markov decision processes. (English) Zbl 1428.68191

McMillan, Kenneth L. (ed.) et al., Verification, model checking, and abstract interpretation. 15th international conference, VMCAI 2014, San Diego, CA, USA, January 19–21, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8318, 98-117 (2014).
MSC:  68Q60 68Q85 68Q87
PDFBibTeX XMLCite
Full Text: DOI arXiv

Applying mean-field approximation to continuous time Markov chains. (English) Zbl 1426.68011

Remke, Anne (ed.) et al., Stochastic model checking. Rigorous dependability analysis using model checking techniques for stochastic systems. International autumn school, ROCKS 2012, Vahrn, Italy, October 22–26, 2012. Advanced lectures. Berlin: Springer. Lect. Notes Comput. Sci. 8453, 242-280 (2014).
PDFBibTeX XMLCite
Full Text: DOI Link

On abstraction of probabilistic systems. (English) Zbl 1426.68167

Remke, Anne (ed.) et al., Stochastic model checking. Rigorous dependability analysis using model checking techniques for stochastic systems. International autumn school, ROCKS 2012, Vahrn, Italy, October 22–26, 2012. Advanced lectures. Berlin: Springer. Lect. Notes Comput. Sci. 8453, 87-116 (2014).
MSC:  68Q60 68Q85 68Q87
PDFBibTeX XMLCite
Full Text: DOI

On the complexity of symbolic verification and decision problems in bit-vector logic. (English) Zbl 1426.68127

Csuhaj-Varjú, Erzsébet (ed.) et al., Mathematical foundations of computer science 2014. 39th international symposium, MFCS 2014, Budapest, Hungary, August 25–29, 2014. Proceedings, Part II. Berlin: Springer. Lect. Notes Comput. Sci. 8635, 481-492 (2014).
PDFBibTeX XMLCite
Full Text: DOI

Bounded variable logic, parameterized logarithmic space, and Savitch’s theorem. (English) Zbl 1425.68141

Csuhaj-Varjú, Erzsébet (ed.) et al., Mathematical foundations of computer science 2014. 39th international symposium, MFCS 2014, Budapest, Hungary, August 25–29, 2014. Proceedings, Part I. Berlin: Springer. Lect. Notes Comput. Sci. 8634, 183-195 (2014).
PDFBibTeX XMLCite
Full Text: DOI

Generating abstract graph-based procedure summaries for pointer programs. (English) Zbl 1423.68100

Giese, Holger (ed.) et al., Graph transformation. 7th international conference, ICGT 2014, held as part of STAF 2014, York, UK, July 22–24, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8571, 49-64 (2014).
PDFBibTeX XMLCite
Full Text: DOI

Parametric LTL on Markov chains. (English) Zbl 1417.68099

Diaz, Josep (ed.) et al., Theoretical computer science. 8th IFIP TC 1/WG 2.2 international conference, TCS 2014, Rome, Italy, September 1–3, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8705, 207-221 (2014).
MSC:  68Q60 03B44 68Q87
PDFBibTeX XMLCite
Full Text: DOI arXiv

A linear-time algorithm for the orbit problem over cyclic groups. (English) Zbl 1417.68137

Baldan, Paolo (ed.) et al., CONCUR 2014 – concurrency theory. 25th international conference, CONCUR 2014, Rome, Italy, September 2–5, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8704, 327-341 (2014).
MSC:  68Q85 20B40 68Q25 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Perturbation analysis in verification of discrete-time Markov chains. (English) Zbl 1417.68100

Baldan, Paolo (ed.) et al., CONCUR 2014 – concurrency theory. 25th international conference, CONCUR 2014, Rome, Italy, September 2–5, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8704, 218-233 (2014).
MSC:  68Q60 68Q85 68Q87
PDFBibTeX XMLCite
Full Text: DOI Link

BULL! – the molecular geometry engine based on Voronoi diagram, quasi-triangulation, and beta-complex. (English) Zbl 1434.65010

Hong, Hoon (ed.) et al., Mathematical software – ICMS 2014. 4th international congress, Seoul, South Korea, August 5–9, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8592, 206-213 (2014).
MSC:  65-04 65D18 68U05
PDFBibTeX XMLCite
Full Text: DOI

Specification theories for probabilistic and real-time systems. (English) Zbl 1416.68112

Bensalem, Saddek (ed.) et al., From programs to systems. The systems perspective in computing. ETAPS workshop, FPS 2014, in honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8415, 98-117 (2014).
MSC:  68Q60 68Q85 68Q87
PDFBibTeX XMLCite
Full Text: DOI

Energy-utility analysis for resilient systems using probabilistic model checking. (English) Zbl 1407.68280

Ciardo, Gianfranco (ed.) et al., Application and theory of Petri nets and concurrency. 35th international conference, PETRI NETS 2014, Tunis, Tunisia, June 23–27, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8489, 20-39 (2014).
PDFBibTeX XMLCite
Full Text: DOI

Games with a weak adversary. (English) Zbl 1409.68169

Esparza, Javier (ed.) et al., Automata, languages, and programming. 41st international colloquium, ICALP 2014, Copenhagen, Denmark, July 8–11, 2014. Proceedings, Part II. Berlin: Springer. Lect. Notes Comput. Sci. 8573, 110-121 (2014).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Probabilistic model checking for energy-utility analysis. (English) Zbl 1407.68279

van Breugel, Franck (ed.) et al., Horizons of the mind. A tribute to Prakash Panangaden. Essays dedicated to Prakash Panangaden on the occasion of his 60th birthday. Berlin: Springer. Lect. Notes Comput. Sci. 8464, 96-123 (2014).
PDFBibTeX XMLCite
Full Text: DOI

Probabilistic model checking of labelled Markov processes via finite approximate bisimulations. (English) Zbl 1407.68275

van Breugel, Franck (ed.) et al., Horizons of the mind. A tribute to Prakash Panangaden. Essays dedicated to Prakash Panangaden on the occasion of his 60th birthday. Berlin: Springer. Lect. Notes Comput. Sci. 8464, 40-58 (2014).
MSC:  68Q60 68Q87
PDFBibTeX XMLCite
Full Text: DOI

Axiomatizing bisimulation equivalences and metrics from probabilistic SOS rules. (English) Zbl 1405.68182

Muscholl, Anca (ed.), Foundations of software science and computation structures. 17th international conference, FOSSACS 2014, held as part of the European joint conferences on theory and practice of software, ETAPS 2014, Grenoble, France, April 5–13, 2014. Proceedings. Berlin: Springer (ISBN 978-3-642-54829-1/pbk). Lecture Notes in Computer Science 8412, 289-303 (2014).
PDFBibTeX XMLCite
Full Text: DOI

Complexity of model-checking call-by-value programs. (English) Zbl 1405.68189

Muscholl, Anca (ed.), Foundations of software science and computation structures. 17th international conference, FOSSACS 2014, held as part of the European joint conferences on theory and practice of software, ETAPS 2014, Grenoble, France, April 5–13, 2014. Proceedings. Berlin: Springer (ISBN 978-3-642-54829-1/pbk). Lecture Notes in Computer Science 8412, 180-194 (2014).
PDFBibTeX XMLCite
Full Text: DOI

Active diagnosis for probabilistic systems. (English) Zbl 1405.68223

Muscholl, Anca (ed.), Foundations of software science and computation structures. 17th international conference, FOSSACS 2014, held as part of the European joint conferences on theory and practice of software, ETAPS 2014, Grenoble, France, April 5–13, 2014. Proceedings. Berlin: Springer (ISBN 978-3-642-54829-1/pbk). Lecture Notes in Computer Science 8412, 29-42 (2014).
PDFBibTeX XMLCite
Full Text: DOI

Abstract effects and proof-relevant logical relations. (English) Zbl 1284.68371

Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 619-631 (2014).
MSC:  68Q55 68Q60 03B70
PDFBibTeX XMLCite
Full Text: DOI arXiv

Symbolic optimization with SMT solvers. (English) Zbl 1284.68410

Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 607-618 (2014).
PDFBibTeX XMLCite
Full Text: DOI

Toward general diagnosis of static errors. (English) Zbl 1284.68141

Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 569-581 (2014).
PDFBibTeX XMLCite
Full Text: DOI

Consistency analysis of decision-making programs. (English) Zbl 1284.68386

Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 555-567 (2014).
PDFBibTeX XMLCite
Full Text: DOI Link

Modular, higher-order cardinality analysis in theory and practice. (English) Zbl 1284.68151

Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 335-347 (2014).
MSC:  68N20 68N18 03B70
PDFBibTeX XMLCite
Full Text: DOI Link

Filter Results by …

Document Type

all top 5

Author

all top 3

Main Field

all top 3

Software