×

Found 46 Documents (Results 1–46)

Romeo: a system for more flexible binding-safe programming. (English) Zbl 1345.68076

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). 53-65 (2014).
MSC:  68N18 68N15
PDFBibTeX XMLCite
Full Text: DOI

A separation logic for refining concurrent objects. (English) Zbl 1284.68207

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). 247-258 (2011).
PDFBibTeX XMLCite
Full Text: DOI Link

The higher-order aggregate update problem. (English) Zbl 1206.68085

Jones, Neil D. (ed.) et al., Verification, model checking, and abstract interpretation. 10th international conference, VMCAI 2009, Savannah, GA, USA, January 18–20, 2009. Proceedings. Berlin: Springer (ISBN 978-3-540-93899-6/pbk). Lecture Notes in Computer Science 5403, 44-58 (2009).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: DOI

A theory of hygienic macros. (English) Zbl 1133.68319

Drossopoulou, Sophia (ed.), Programming languages and systems. 17th European symposium on programming, ESOP 2008, held as part of the joint European conferences on theory and practice of software, ETAPS 2008, Budapest, Hungary, March 29–April 6, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-78738-9/pbk). Lecture Notes in Computer Science 4960, 48-62 (2008).
MSC:  68N30 68N18
PDFBibTeX XMLCite
Full Text: DOI

Small bisimulations for reasoning about higher-order imperative programs. (English) Zbl 1370.68048

Proceedings of the 33rd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’06, Charleston, SC, USA, January 11–13, 2006. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-027-2). 141-152 (2006).
MSC:  68N18 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Bisimulations for untyped imperative objects. (English) Zbl 1178.68154

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, 146-161 (2006).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: DOI

Bottom-up \(\beta\)-reduction: Uplinks and \(\lambda\)-DAGs. (English) Zbl 1108.68364

Sagiv, Mooly (ed.), Programming languages and systems. 14th European symposium on programming, ESOP 2005, held as part of the joint European conferences on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4–8, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25435-8/pbk). Lecture Notes in Computer Science 3444, 217-232 (2005).
MSC:  68N18 03B40
PDFBibTeX XMLCite
Full Text: DOI

Relating models of backtracking. (English) Zbl 1323.68176

Proceedings of the 9th ACM SIGPLAN international conference on functional programming, ICFP ’04, Uppsala, Snowbird, UT, USA, September 19–21, 2004. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-905-5). ACM SIGPLAN Notices 39, No. 9, 54-65 (2004).
MSC:  68N18 68Q55
PDFBibTeX XMLCite
Full Text: DOI

A modular, extensible proof method for small-step flow analyses. (English) Zbl 1077.68613

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, 213-227 (2002).
MSC:  68N30 68N18 68Q55
PDFBibTeX XMLCite
Full Text: Link

Trampolined style. (English) Zbl 1345.68051

Proceedings of the 4th ACM SIGPLAN international conference on functional programming, ICFP ’99, Paris, France, September 27–29, 1999. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-111-9). ACM SIGPLAN Notices 34, No. 9, 18-27 (1999).
MSC:  68N18 68N19
PDFBibTeX XMLCite
Full Text: DOI

VLISP. A verified implementation of scheme. Reprinted from the journal Lisp and Symbolic Computation 8, Nos. 1-2 (1995). (English) Zbl 0821.68031

Boston, MA: Kluwer Academic Publishers. 184 p. (1995).
PDFBibTeX XMLCite

Type reconstruction with recursive types and atomic subtyping. (English) Zbl 1497.68127

Gaudel, Marie-Claude (ed.) et al., TAPSOFT ’93: theory and practice of software development. 4th international joint conference CAAP/FASE, Orsay, France, April 13–17, 1993. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 668, 686-701 (1993).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software