×

Found 19 Documents (Results 1–19)

CompoSAT: specification-guided coverage for model finding. (English) Zbl 1460.68064

Havelund, Klaus (ed.) et al., Formal methods. 22nd international symposium, FM 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 15–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10951, 568-587 (2018).
MSC:  68Q60
PDFBibTeX XMLCite
Full Text: DOI

Hygienic resugaring of compositional desugaring. (English) Zbl 1360.68367

Proceedings of the 20th ACM SIGPLAN international conference on functional programming, ICFP ’15, Vancouver, Canada, September 1–3, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3669-7). 75-87 (2015).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: DOI

Typing local control and state using flow analysis. (English) Zbl 1326.68048

Barthe, Gilles (ed.), Programming languages and systems. 20th European symposium on programming, ESOP 2011, held as part of the joint European conferences on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26 – April 3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-19717-8/pbk). Lecture Notes in Computer Science 6602, 256-275 (2011).
MSC:  68N15 68N30
PDFBibTeX XMLCite
Full Text: DOI

Specifying and reasoning about dynamic access-control policies. (English) Zbl 1222.68361

Furbach, Ulrich (ed.) et al., Automated reasoning. Third international joint conference, IJCAR 2006, Seattle, WA, USA, August 17–20, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-37187-8/pbk). Lecture Notes in Computer Science 4130. Lecture Notes in Artificial Intelligence, 632-646 (2006).
MSC:  68T15 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Embedding dynamic dataflow in a call-by-value language. (English) Zbl 1178.68123

Sestoft, Peter (ed.), Programming languages and systems. 15th European symposium on programming, ESOP 2006, held as part of the joint European conferences on theory and practice of software, ETAPS 2006, Vienna, Austria, March 27–28, 2006. Proceedings. Berlin: Springer (ISBN 3-540-33095-X/pbk). Lecture Notes in Computer Science 3924, 294-308 (2006).
MSC:  68N15 68N18
PDFBibTeX XMLCite
Full Text: DOI

Continuations from generalized stack inspection. (English) Zbl 1302.68047

Proceedings of the 10th ACM SIGPLAN international conference on functional programming, ICFP ’05, Tallinn, Estonia, September 26–28, 2005. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-064-7). ACM SIGPLAN Notices 40, No. 9, 216-227 (2005).
MSC:  68N01
PDFBibTeX XMLCite
Full Text: DOI Link

Modeling web interactions. (English) Zbl 1032.68575

Degano, Pierpaolo (ed.), Programming languages and systems. 12th European symposium on programming, ESOP 2003, held as part of the joint European conferences on theory and practice of software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2618, 238-252 (2003).
MSC:  68N99
PDFBibTeX XMLCite
Full Text: Link

Practical aspects of declarative languages. 4th international symposium, PADL 2002, Portland, OR, USA, January 19–20, 2002. Proceedings. (English) Zbl 1049.68803

Lecture Notes in Computer Science 2257. Berlin: Springer (ISBN 3-540-43092-X/pbk). viii, 351 p. (2002).
MSC:  68U99 68-06 68N15
PDFBibTeX XMLCite

The influence of software module systems on modular verification. (English) Zbl 1077.68692

Bošnački, Dragan (ed.) et al., Model checking software. 9th international SPIN workshop, Grenoble, France, April 11–13, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43477-1). Lect. Notes Comput. Sci. 2318, 60-78 (2002).
MSC:  68Q60 68N99
PDFBibTeX XMLCite
Full Text: Link

Programming languages for compressing graphics. (English) Zbl 1077.68562

Le Métayer, Daniel (ed.), Programming languages and systems. 11th European symposium on programming, ESOP 2002, held as part of the joint European conferences on theory and practice of software, ETAPS 2002, Grenoble, France, April 8–12, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43363-5). Lect. Notes Comput. Sci. 2305, 68-82 (2002).
MSC:  68N15
PDFBibTeX XMLCite
Full Text: Link

SXSLT: Manipulation language for XML. (English) Zbl 1026.68785

Dahl, Veronica (ed.) et al., Practical aspects of declarative languages. 5th international symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2562, 256-272 (2002).
PDFBibTeX XMLCite
Full Text: Link

Programming the Web with high-level programming languages. (English) Zbl 0977.68732

Sands, David (ed.), Programming languages and systems. 10th European symposium on programming, ESOP 2001, held as part of the joint European conferences on theory and practice of software, ETAPS 2001, Genova, Italy, April 2-6, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2028, 122-136 (2001).
MSC:  68U99 68N99 68N25
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software