×

Found 427 Documents (Results 1–100)

Program semantics and verification technique for AI-centred programs. (English) Zbl 1529.68083

Chechik, Marsha (ed.) et al., Formal methods. 25th international symposium, FM 2023, Lübeck, Germany, March 6–10, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14000, 473-491 (2023).
PDFBibTeX XMLCite
Full Text: DOI Link

Generative program analysis and beyond: the power of domain-specific languages (invited paper). (English) Zbl 1472.68042

Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 29-51 (2021).
PDFBibTeX XMLCite
Full Text: DOI

String abstraction for model checking of C programs. (English) Zbl 1534.68099

Biondi, Fabrizio (ed.) et al., Model checking software. 26th international symposium, SPIN 2019, Beijing, China, July 15–16, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11636, 74-93 (2019).
MSC:  68Q60 68N15 68Q55
PDFBibTeX XMLCite
Full Text: DOI Link

On the multi-language construction. (English) Zbl 1524.68078

Caires, Luís (ed.), Programming languages and systems. 28th European symposium on programming, ESOP 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11423, 293-321 (2019).
MSC:  68N30 68N15 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Semi-automated reasoning about non-determinism in C expressions. (English) Zbl 1524.68085

Caires, Luís (ed.), Programming languages and systems. 28th European symposium on programming, ESOP 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11423, 60-87 (2019).
PDFBibTeX XMLCite
Full Text: DOI

Almost sure productivity. (English) Zbl 1499.68198

Chatzigiannakis, Ioannis (ed.) et al., 45th international colloquium on automata, languages, and programming. ICALP 2018, Prague, Czech Republic, July 9–13, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 107, Article 113, 15 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Call-by-name gradual type theory. (English) Zbl 1462.68024

Kirchner, Hélène (ed.), 3rd international conference on formal structures for computation and deduction, FSCD 2018, July 9–12, 2018, Oxford, United Kingdom. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 108, Article 24, 17 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI

LMSO: a Curry-Howard approach to Church’s synthesis via linear logic. (English) Zbl 1453.03070

Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 849-858 (2018).
PDFBibTeX XMLCite
Full Text: DOI

Abstract domains for type juggling. (English) Zbl 1412.68033

Mastroeni, Isabella (ed.), Proceedings of the 6th international workshop on numerical and symbolic abstract domains, NSAD 2016, Edinburgh, UK, September 11, 2016. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 331, 41-55 (2017).
PDFBibTeX XMLCite
Full Text: DOI

Indexed codata types. (English) Zbl 1360.68342

Garrigue, Jacques (ed.) et al., Proceedings of the 21st ACM SIGPLAN international conference on functional programming, ICFP ’16, Nara, Japan, September 18–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4219-3). 351-363 (2016).
PDFBibTeX XMLCite
Full Text: DOI

Transforming spreadsheet data types using examples. (English) Zbl 1347.68062

Bodik, Rastislav (ed.) et al., Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’16, St. Petersburg, FL, USA, January 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3549-2). 343-356 (2016).
PDFBibTeX XMLCite
Full Text: DOI

Probabilistic NetKAT. (English) Zbl 1335.68027

Thiemann, Peter (ed.), Programming languages and systems. 25th European symposium on programming, ESOP 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016. Proceedings. Berlin: Springer (ISBN 978-3-662-49497-4/pbk; 978-3-662-49498-1/ebook). Lecture Notes in Computer Science 9632, 282-309 (2016).
MSC:  68N15 68Q55 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Representing and reasoning with qualitative preferences. Tools and applications. (English) Zbl 1348.68009

Synthesis Lectures on Artificial Intelligence and Machine Learning 31. San Rafael, CA: Morgan & Claypool Publishers (ISBN 978-1-62705-839-1/pbk; 978-1-62705-840-7/ebook). xv, 138 p. (2016).
PDFBibTeX XMLCite
Full Text: DOI

Higher-order model checking: an overview. (English) Zbl 1401.68205

Proceedings of the 2015 30th annual ACM/IEEE symposium on logic in computer science, LICS 2015, Kyoto, Japan, July 6–10, 2015. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4799-8875-4). 1-15 (2015).
PDFBibTeX XMLCite
Full Text: DOI

DynSem: a DSL for dynamic semantics specification. (English) Zbl 1366.68015

Fernández, Maribel (ed.), 26th international conference on rewriting techniques and applications, RTA’13, Warsaw, Poland, June 29 – July 1, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-85-9). LIPIcs – Leibniz International Proceedings in Informatics 36, 365-378 (2015).
PDFBibTeX XMLCite
Full Text: DOI

Presenting morphisms of distributive laws. (English) Zbl 1366.68158

Moss, Lawrence S. (ed.) et al., 6th conference on algebra and coalgebra in computer science, CALCO’15, Nijmegen, Netherlands, June 24–26, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-84-2). LIPIcs – Leibniz International Proceedings in Informatics 35, 190-204 (2015).
MSC:  68Q55 18C50 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Memory policy analysis for semantics specifications in Maude. (English) Zbl 1473.68056

Falaschi, Moreno (ed.), Logic-based program synthesis and transformation. 25th international symposium, LOPSTR 2015, Siena, Italy, July 13–15, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9527, 293-310 (2015).
PDFBibTeX XMLCite
Full Text: DOI

From safety critical Java programs to timed process models. (English) Zbl 1434.68116

Bodei, Chiara (ed.) et al., Programming languages with applications to biology and security. Essays dedicated to Pierpaolo Degano on the occasion of his 65th birthday. Cham: Springer. Lect. Notes Comput. Sci. 9465, 319-338 (2015).
PDFBibTeX XMLCite
Full Text: DOI

Game semantic analysis of equivalence in IMJ. (English) Zbl 1471.68150

Finkbeiner, Bernd (ed.) et al., Automated technology for verification and analysis. 13th international symposium, ATVA 2015, Shanghai, China, October 12–15, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9364, 411-428 (2015).
PDFBibTeX XMLCite
Full Text: DOI Link

Finitary semantics of linear logic and higher-order model-checking. (English) Zbl 1465.68179

Italiano, F. (ed.) et al., Mathematical foundations of computer science 2015. 40th international symposium, MFCS 2015, Milan, Italy, August 24–28, 2015. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 9234, 256-268 (2015).
PDFBibTeX XMLCite
Full Text: DOI arXiv

A formal framework for Hybrid Event B. (English) Zbl 1351.68166

Xue, Jinyun (ed.) et al., Proceedings of the 6th international workshop on harnessing theories for tool support in software (TTSS 2013), Nanchang, China, October 27, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 309, 3-12, electronic only (2014).
PDFBibTeX XMLCite
Full Text: DOI

Lem: reusable engineering of real-world semantics. (English) Zbl 1346.68123

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). 175-188 (2014).
MSC:  68Q60 68Q55 68T15
PDFBibTeX XMLCite
Full Text: DOI

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

Netkat, semantic foundations for networks. (English) Zbl 1284.68100

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). 113-126 (2014).
MSC:  68N15 68Q60 68T15 68Q55 03B70
PDFBibTeX XMLCite
Full Text: DOI

An operational and axiomatic semantics for non-determinism and sequence points in C. (English) Zbl 1284.68404

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). 101-112 (2014).
MSC:  68Q60 68N30 68N15 68N20 03B70 68T15
PDFBibTeX XMLCite
Full Text: DOI Link

A trusted mechanised JavaSript specification. (English) Zbl 1284.68381

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). 87-100 (2014).
MSC:  68Q60 68N30 68T15 68N15
PDFBibTeX XMLCite
Full Text: DOI

Synthesizing structured reactive programs via deterministic tree automata. (English) Zbl 1464.68155

Mogavero, Fabio (ed.) et al., Proceedings of the 1st international workshop on strategic reasoning, Rome, Italy, March 16–17, 2013. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 112, 107-113 (2013).
PDFBibTeX XMLCite
Full Text: Link

Universal properties of impure programming languages. (English) Zbl 1301.68076

Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’13, Rome, Italy, January 23–25, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1832-7). 179-192 (2013).
PDFBibTeX XMLCite
Full Text: DOI

Static and dynamic semantics of NoSQL languages. (English) Zbl 1301.68174

Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’13, Rome, Italy, January 23–25, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1832-7). 101-114 (2013).
PDFBibTeX XMLCite
Full Text: DOI arXiv HAL

On MITL and alternating timed automata. (English) Zbl 1390.68376

Braberman, Víctor (ed.) et al., Formal modeling and analysis of timed systems. 11th international conference, FORMATS 2013, Buenos Aires, Argentina, August 29–31, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40228-9/pbk). Lecture Notes in Computer Science 8053, 47-61 (2013).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Using models to model-check recursive schemes. (English) Zbl 1381.68179

Hasegawa, Masahito (ed.), Typed lambda calculi and applications. 11th international conference, TLCA 2013, Eindhoven, The Netherlands, June 26–28, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-38945-0/pbk). Lecture Notes in Computer Science 7941, 189-204 (2013).
PDFBibTeX XMLCite
Full Text: DOI arXiv HAL

Automaton-based array initialization analysis. (English) Zbl 1350.68180

Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 6th international conference, LATA 2012, A Coruña, Spain, March 5–9, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28331-4/pbk). Lecture Notes in Computer Science 7183, 420-432 (2012).
MSC:  68Q55 68Q45 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Relaxed-memory concurrency and verified compilation. (English) Zbl 1284.68152

Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’11, Austin, TX, USA, January 26–28, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0490-0). 43-54 (2011).
MSC:  68N20 68N15 68T15 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Template-based unbounded time verification of affine hybrid automata. (English) Zbl 1348.68100

Yang, Hongseok (ed.), Programming languages and systems. 9th Asian symposium, APLAS 2011, Kenting, Taiwan, December 5–7, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-25317-1/pbk). Lecture Notes in Computer Science 7078, 34-49 (2011).
PDFBibTeX XMLCite
Full Text: DOI

Max and sum semantics for alternating weighted automata. (English) Zbl 1348.68116

Bultan, Tevfik (ed.) et al., Automated technology for verification and analysis. 9th international symposium, ATVA 2011, Taipei, Taiwan, October 11–14, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24371-4/pbk). Lecture Notes in Computer Science 6996, 13-27 (2011).
MSC:  68Q60 68Q45 68Q55
PDFBibTeX XMLCite
Full Text: DOI

A rewriting logic semantics approach to modular program analysis. (English) Zbl 1236.68177

Lynch, Christopher (ed.), Proceedings of the 21st international conference on rewriting techniques and applications (RTA 2010), July 11–13, 2010, Edinburgh, Scottland, UK. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-18-7). LIPIcs – Leibniz International Proceedings in Informatics 6, 151-160, electronic only (2010).
PDFBibTeX XMLCite
Full Text: DOI Link

Models of higher-order computation: recursion schemes and collapsible pushdown automata. (English) Zbl 1214.68160

Esparza, Javier (ed.) et al., Logics and languages for reliability and security. Selected papers based on the presentations at the 30th international summer school, Marktoberdorf, Germany, August 4–16, 2009. Amsterdam: IOS Press (ISBN 978-1-60750-099-5/hbk; 978-1-60750-100-8/ebook). NATO Science for Peace and Security Series D: Information and Communication Security 25, 263-299 (2010).
MSC:  68Q05 68Q45 68Q55 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Collecting semantics under predicate abstraction in the K framework. (English) Zbl 1306.68061

Ölveczky, Peter Csaba (ed.), Rewriting logic and its applications. 8th international workshop, WRLA 2010, held as a satellite event of ETAPS 2010, Paphos, Cyprus, March 20–21, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-16309-8/pbk). Lecture Notes in Computer Science 6381, 123-139 (2010).
PDFBibTeX XMLCite
Full Text: DOI

Modelling metamorphism by abstract interpretation. (English) Zbl 1306.68023

Cousot, Radhia (ed.) et al., Static analysis. 17th international symposium, SAS 2010, Perpignan, France, September 14–16, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15768-4/pbk). Lecture Notes in Computer Science 6337, 218-235 (2010).
MSC:  68N30 68Q45 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Real time programming. Languages, specification and verification. (English) Zbl 1204.68049

Hackensack, NJ: World Scientific (ISBN 978-981-02-2566-7/hbk; 978-981-28-1402-9/ebook). xv, 245 p. (2010).
PDFBibTeX XMLCite
Full Text: Link

Automated analysis of Reo circuits using symbolic execution. (English) Zbl 1364.68142

Salaün, Gwen (ed.) et al., Proceedings of the 8th international workshop on the foundations of coordination languages and software architectures (FOCLASA 2009), Rhodes, Greece, July 11, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 255, 137-158 (2009).
PDFBibTeX XMLCite
Full Text: Link

Mechanised wire-wise verification of Handel-C synthesis. (English) Zbl 1347.68235

Machado, Patricia D. L. (ed.), Proceedings of the 11th Brazilian symposium on formal methods (SBMF 2008) Salvador, Brazil, August 26–29, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 240, 201-219 (2009).
MSC:  68Q60 68N15 68N20 68Q55 68T15
PDFBibTeX XMLCite
Full Text: DOI

Functionally-generalised MOQA operations. (English) Zbl 1336.68026

Seda, Anthony (ed.) et al., Proceedings of the Irish conference on the mathematical foundations of computer science and information technology (MFCSIT 2006), National University of Ireland, Cork, Ireland, August 1–5, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 225, 421-439 (2009).
PDFBibTeX XMLCite
Full Text: DOI

Category theoretic models of data refinement. (English) Zbl 1336.68035

Seda, Anthony (ed.) et al., Proceedings of the Irish conference on the mathematical foundations of computer science and information technology (MFCSIT 2006), National University of Ireland, Cork, Ireland, August 1–5, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 225, 21-38 (2009).
PDFBibTeX XMLCite
Full Text: DOI

Separation logic, abstraction and inheritance. (English) Zbl 1295.68091

Proceedings of the 35th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’08, San Francisco, CA, USA, January 07–12, 2008. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-689-9). 75-86 (2008).
PDFBibTeX XMLCite
Full Text: DOI

Contextual effects for version-consistent dynamic software updating and safe concurrent programming. (English) Zbl 1295.68154

Proceedings of the 35th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’08, San Francisco, CA, USA, January 07–12, 2008. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-689-9). 37-49 (2008).
PDFBibTeX XMLCite
Full Text: DOI

Multimodal separation logic for reasoning about operational semantics. (English) Zbl 1286.68395

Bauer, Andrej (ed.) et al., Proceedings of the 24th conference on the mathematical foundations of programming semantics (MFPS XXIV), Philadelphia, PA, USA, May 22–25, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 218, 5-20 (2008).
MSC:  68T15 03B70 68N15 68Q55 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software