Cong, Youyou; Ishio, Chiaki; Honda, Kaho; Asai, Kenichi A functional abstraction of typed invocation contexts. (English) Zbl 07596582 Log. Methods Comput. Sci. 18, No. 3, Paper No. 34, 31 p. (2022). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{Y. Cong} et al., Log. Methods Comput. Sci. 18, No. 3, Paper No. 34, 31 p. (2022; Zbl 07596582) Full Text: DOI arXiv OpenURL
Ghica, Dan R. Operational semantics with hierarchical abstract syntax graphs. (English) Zbl 07456059 Bahr, Patrick (ed.), Proceedings of the eleventh international workshop on computing with terms and graphs, TERMGRAPH 2020, online, July 5, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 334, 1-10 (2021). MSC: 68Q42 PDF BibTeX XML Cite \textit{D. R. Ghica}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 334, 1--10 (2021; Zbl 07456059) Full Text: arXiv Link OpenURL
Huang, Xuejing; Zhao, Jinxu; Oliveira, Bruno C. D. S. Taming the merge operator. (English) Zbl 07453896 J. Funct. Program. 31, Paper No. e28, 67 p. (2021). MSC: 68N18 PDF BibTeX XML Cite \textit{X. Huang} et al., J. Funct. Program. 31, Paper No. e28, 67 p. (2021; Zbl 07453896) Full Text: DOI OpenURL
Brachthäuser, Jonathan Immanuel; Schuster, Philipp; Ostermann, Klaus Effekt: capability-passing style for type- and effect-safe, extensible effect handlers in Scala. (English) Zbl 1442.68024 J. Funct. Program. 30, Paper No. e8, 46 p. (2020). MSC: 68N18 68N15 PDF BibTeX XML Cite \textit{J. I. Brachthäuser} et al., J. Funct. Program. 30, Paper No. e8, 46 p. (2020; Zbl 1442.68024) Full Text: DOI OpenURL
Downen, Paul; Johnson-Freyd, Philip; Ariola, Zena M. Abstracting models of strong normalization for classical calculi. (English) Zbl 1494.68055 J. Log. Algebr. Methods Program. 111, Article ID 100512, 27 p. (2020). MSC: 68N30 03B40 03B70 68N18 PDF BibTeX XML Cite \textit{P. Downen} et al., J. Log. Algebr. Methods Program. 111, Article ID 100512, 27 p. (2020; Zbl 1494.68055) Full Text: DOI Link OpenURL
Piróg, Maciej; Polesiuk, Piotr; Sieczkowski, Filip Typed equivalence of effect handlers and delimited control. (English) Zbl 07559296 Geuvers, Herman (ed.), 4th international conference on formal structures for computation and deduction, FSCD 2019, Dortmund, Germany, June 24–30, 2019. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 131, Article 30, 16 p. (2019). MSC: 03B70 68Qxx PDF BibTeX XML Cite \textit{M. Piróg} et al., LIPIcs -- Leibniz Int. Proc. Inform. 131, Article 30, 16 p. (2019; Zbl 07559296) Full Text: DOI OpenURL
Johansen, Christian; Owe, Olaf Dynamic structural operational semantics. (English) Zbl 1431.68061 J. Log. Algebr. Methods Program. 107, 79-107 (2019). MSC: 68Q55 68N15 PDF BibTeX XML Cite \textit{C. Johansen} and \textit{O. Owe}, J. Log. Algebr. Methods Program. 107, 79--107 (2019; Zbl 1431.68061) Full Text: DOI arXiv OpenURL
Lochbihler, Andreas Mechanising a type-safe model of multithreaded Java with a verified compiler. (English) Zbl 1451.68178 J. Autom. Reasoning 61, No. 1-4, 243-332 (2018). MSC: 68Q60 68N15 68N20 68Q55 68V15 PDF BibTeX XML Cite \textit{A. Lochbihler}, J. Autom. Reasoning 61, No. 1--4, 243--332 (2018; Zbl 1451.68178) Full Text: DOI OpenURL
Padovani, Luca A simple library implementation of binary sessions. (English) Zbl 1418.68036 J. Funct. Program. 27, Paper No. e4, 42 p. (2017). MSC: 68N18 PDF BibTeX XML Cite \textit{L. Padovani}, J. Funct. Program. 27, Paper No. e4, 42 p. (2017; Zbl 1418.68036) Full Text: DOI OpenURL
Padovani, Luca Context-free session type inference. (English) Zbl 1485.68072 Yang, Hongseok (ed.), Programming languages and systems. 26th European symposium on programming, ESOP 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10201, 804-830 (2017). MSC: 68N30 68N15 68N18 68Q85 PDF BibTeX XML Cite \textit{L. Padovani}, Lect. Notes Comput. Sci. 10201, 804--830 (2017; Zbl 1485.68072) Full Text: DOI HAL OpenURL
Bach Poulsen, Casper; Mosses, Peter D. Flag-based big-step semantics. (English) Zbl 1362.68160 J. Log. Algebr. Methods Program. 88, 174-190 (2017). MSC: 68Q55 68Q60 PDF BibTeX XML Cite \textit{C. Bach Poulsen} and \textit{P. D. Mosses}, J. Log. Algebr. Methods Program. 88, 174--190 (2017; Zbl 1362.68160) Full Text: DOI arXiv Link OpenURL
Bañados Schwerter, Felipe; Garcia, Ronald; Tanter, Éric Gradual type-and-effect systems. (English) Zbl 1420.68033 J. Funct. Program. 26, Paper No. e19, 66 p. (2016). MSC: 68N18 68N30 PDF BibTeX XML Cite \textit{F. Bañados Schwerter} et al., J. Funct. Program. 26, Paper No. e19, 66 p. (2016; Zbl 1420.68033) Full Text: DOI OpenURL
Filliâtre, Jean-Christophe; Gondelman, Léon; Paskevich, Andrei The spirit of ghost code. (English) Zbl 1358.68070 Form. Methods Syst. Des. 48, No. 3, 152-174 (2016). MSC: 68N30 68Q60 PDF BibTeX XML Cite \textit{J.-C. Filliâtre} et al., Form. Methods Syst. Des. 48, No. 3, 152--174 (2016; Zbl 1358.68070) Full Text: DOI HAL OpenURL
Radanne, Gabriel; Vouillon, Jérôme; Balat, Vincent Eliom: a core ML language for tierless web programming. (English) Zbl 1483.68055 Igarashi, Atsushi (ed.), Programming languages and systems. 14th Asian symposium, APLAS 2016, Hanoi, Vietnam, November 21–23, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10017, 377-397 (2016). MSC: 68N15 68N18 PDF BibTeX XML Cite \textit{G. Radanne} et al., Lect. Notes Comput. Sci. 10017, 377--397 (2016; Zbl 1483.68055) Full Text: DOI OpenURL
Thiemann, Peter A delta for hybrid type checking. (English) Zbl 1343.68050 Lindley, Sam (ed.) et al., A list of successes that can change the world. Essays dedicated to Philip Wadler on the occasion of his 60th birthday. Cham: Springer (ISBN 978-3-319-30935-4/pbk; 978-3-319-30936-1/ebook). Lecture Notes in Computer Science 9600, 411-432 (2016). MSC: 68N18 68N30 PDF BibTeX XML Cite \textit{P. Thiemann}, Lect. Notes Comput. Sci. 9600, 411--432 (2016; Zbl 1343.68050) Full Text: DOI OpenURL
Lepigre, Rodolphe A classical realizability model for a semantical value restriction. (English) Zbl 1335.68059 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, 476-502 (2016). MSC: 68N30 PDF BibTeX XML Cite \textit{R. Lepigre}, Lect. Notes Comput. Sci. 9632, 476--502 (2016; Zbl 1335.68059) Full Text: DOI arXiv OpenURL
Gay, Simon J.; Puthoor, Ittoop V. Equational reasoning about quantum protocols. (English) Zbl 1464.81018 Krivine, Jean (ed.) et al., Reversible computation. 7th international conference, RC 2015, Grenoble, France, July 16–17, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9138, 155-170 (2015). MSC: 81P68 68Q55 68Q60 68Q85 81P70 81P94 94A62 PDF BibTeX XML Cite \textit{S. J. Gay} and \textit{I. V. Puthoor}, Lect. Notes Comput. Sci. 9138, 155--170 (2015; Zbl 1464.81018) Full Text: DOI Link OpenURL
Roşu, Grigore From rewriting logic, to programming language semantics, to program verification. (English) Zbl 1321.68337 Martí-Oliet, Narciso (ed.) et al., Logic, rewriting, and concurrency. Essays dedicated to José Meseguer on the occasion of his 65th birthday. Cham: Springer (ISBN 978-3-319-23164-8/pbk; 978-3-319-23165-5/ebook). Lecture Notes in Computer Science 9200, 598-616 (2015). MSC: 68Q42 03B70 68N30 68Q55 68Q60 PDF BibTeX XML Cite \textit{G. Roşu}, Lect. Notes Comput. Sci. 9200, 598--616 (2015; Zbl 1321.68337) Full Text: DOI OpenURL
Danvy, Olivier; Johannsen, Jacob From outermost reduction semantics to abstract machine. (English) Zbl 1453.68045 Gupta, Gopal (ed.) et al., Logic-based program synthesis and transformation. 23rd international symposium, LOPSTR 2013, Madrid, Spain, September 18–19, 2013. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 8901, 91-108 (2014). MSC: 68N30 68Q55 PDF BibTeX XML Cite \textit{O. Danvy} and \textit{J. Johannsen}, Lect. Notes Comput. Sci. 8901, 91--108 (2014; Zbl 1453.68045) Full Text: DOI OpenURL
Biernacka, Małgorzata; Biernacki, Dariusz; Lenglet, Sergueï; Materzok, Marek Proving termination of evaluation for system F with control operators. (English) Zbl 1471.68055 de’Liguoro, Ugo (ed.) et al., Proceedings of the first workshop on control operators and their semantics, COS 2013, Eindhoven, The Netherlands, June 24–25, 2013. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 127, 15-29 (2013). MSC: 68N30 03B40 03B70 03F52 68N18 68Q55 PDF BibTeX XML Cite \textit{M. Biernacka} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 127, 15--29 (2013; Zbl 1471.68055) Full Text: arXiv Link OpenURL
Ke, Wei; Liu, Zhiming; Wang, Shuling; Zhao, Liang A graph-based generic type system for object-oriented programs. (English) Zbl 1425.68058 Front. Comput. Sci. 7, No. 1, 109-134 (2013). MSC: 68N19 PDF BibTeX XML Cite \textit{W. Ke} et al., Front. Comput. Sci. 7, No. 1, 109--134 (2013; Zbl 1425.68058) Full Text: DOI OpenURL
Saito, Chieri; Igarashi, Atsushi Matching MyType to subtyping. (English) Zbl 1284.68107 Sci. Comput. Program. 78, No. 7, 933-952 (2013). MSC: 68N15 68N19 68N30 PDF BibTeX XML Cite \textit{C. Saito} and \textit{A. Igarashi}, Sci. Comput. Program. 78, No. 7, 933--952 (2013; Zbl 1284.68107) Full Text: DOI OpenURL
Meseguer, José; Roşu, Grigore The rewriting logic semantics project: a progress report. (English) Zbl 1435.68188 Inf. Comput. 231, 38-69 (2013). MSC: 68Q55 03B70 68N30 68Q42 68Q60 PDF BibTeX XML Cite \textit{J. Meseguer} and \textit{G. Roşu}, Inf. Comput. 231, 38--69 (2013; Zbl 1435.68188) Full Text: DOI OpenURL
Pottier, François Syntactic soundness proof of a type-and-capability system with hidden state. (English) Zbl 1262.68031 J. Funct. Program. 23, No. 1, 38-144 (2013). MSC: 68N18 03B70 68N30 PDF BibTeX XML Cite \textit{F. Pottier}, J. Funct. Program. 23, No. 1, 38--144 (2013; Zbl 1262.68031) Full Text: DOI OpenURL
Greenberg, Michael; Pierce, Benjamin C.; Weirich, Stephanie Contracts made manifest. (English) Zbl 1311.68044 J. Funct. Program. 22, No. 3, 225-274 (2012). MSC: 68N18 PDF BibTeX XML Cite \textit{M. Greenberg} et al., J. Funct. Program. 22, No. 3, 225--274 (2012; Zbl 1311.68044) Full Text: DOI OpenURL
Appel, Andrew W.; Dockins, Robert; Leroy, Xavier A list-machine benchmark for mechanized metatheory. (English) Zbl 1260.68362 J. Autom. Reasoning 49, No. 3, 453-491 (2012). MSC: 68T15 68N15 68N20 PDF BibTeX XML Cite \textit{A. W. Appel} et al., J. Autom. Reasoning 49, No. 3, 453--491 (2012; Zbl 1260.68362) Full Text: DOI Link OpenURL
Bezem, Marc; Hovland, Dag; Truong, Hoang A type system for counting instances of software components. (English) Zbl 1252.68201 Theor. Comput. Sci. 458, 29-48 (2012). MSC: 68Q85 68Q55 68N30 PDF BibTeX XML Cite \textit{M. Bezem} et al., Theor. Comput. Sci. 458, 29--48 (2012; Zbl 1252.68201) Full Text: DOI OpenURL
Bierman, Gavin M.; Gordon, Andrew D.; Hriţcu, Cătălin; Langworthy, David Semantic subtyping with an SMT solver. (English) Zbl 1248.68131 J. Funct. Program. 22, No. 1, 31-105 (2012). MSC: 68N18 68N15 PDF BibTeX XML Cite \textit{G. M. Bierman} et al., J. Funct. Program. 22, No. 1, 31--105 (2012; Zbl 1248.68131) Full Text: DOI OpenURL
Tan, Gang; Shao, Zhong; Feng, Xinyu; Cai, Hongxu Weak updates and separation logic. (English) Zbl 1251.68050 New Generation Comput. 29, No. 1, 3-29 (2011). MSC: 68N15 03B70 PDF BibTeX XML Cite \textit{G. Tan} et al., New Generation Comput. 29, No. 1, 3--29 (2011; Zbl 1251.68050) Full Text: DOI OpenURL
Almeida Matos, Ana; Cederquist, Jan Non-disclosure for distributed mobile code. (English) Zbl 1252.68071 Math. Struct. Comput. Sci. 21, No. 6, 1111-1181 (2011). MSC: 68N30 PDF BibTeX XML Cite \textit{A. Almeida Matos} and \textit{J. Cederquist}, Math. Struct. Comput. Sci. 21, No. 6, 1111--1181 (2011; Zbl 1252.68071) Full Text: DOI OpenURL
Welsch, Yannick; Poetzsch-Heffter, Arnd Full abstraction at package boundaries of object-oriented languages. (English) Zbl 1349.68047 Simao, Adenilso (ed.) et al., Formal methods, foundations and applications. 14th Brazilian symposium, SBMF 2011, São Paulo, Brazil, September 26–30, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-25031-6/pbk). Lecture Notes in Computer Science 7021, 28-43 (2011). MSC: 68N15 68N19 68Q55 PDF BibTeX XML Cite \textit{Y. Welsch} and \textit{A. Poetzsch-Heffter}, Lect. Notes Comput. Sci. 7021, 28--43 (2011; Zbl 1349.68047) Full Text: DOI OpenURL
Meseguer, José; Roşu, Grigore The rewriting logic semantics project: a progress report. (English) Zbl 1342.68198 Owe, Olaf (ed.) et al., Fundamentals of computation theory. 18th international symposium, FCT 2011, Oslo, Norway, August 22–25, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22952-7/pbk). Lecture Notes in Computer Science 6914, 1-37 (2011). MSC: 68Q55 03B70 68N30 68Q42 68Q60 PDF BibTeX XML Cite \textit{J. Meseguer} and \textit{G. Roşu}, Lect. Notes Comput. Sci. 6914, 1--37 (2011; Zbl 1342.68198) Full Text: DOI OpenURL
Bergel, Alexandre Reconciling method overloading and dynamically typed scripting languages. (English) Zbl 1218.68068 Comput. Lang. Syst. Struct. 37, No. 3, 132-150 (2011). MSC: 68N15 PDF BibTeX XML Cite \textit{A. Bergel}, Comput. Lang. Syst. Struct. 37, No. 3, 132--150 (2011; Zbl 1218.68068) Full Text: DOI OpenURL
Bettini, Lorenzo; Bono, Viviana; Venneri, Betti Delegation by object composition. (English) Zbl 1217.68047 Sci. Comput. Program. 76, No. 11, 992-1014 (2011). MSC: 68N15 68N19 PDF BibTeX XML Cite \textit{L. Bettini} et al., Sci. Comput. Program. 76, No. 11, 992--1014 (2011; Zbl 1217.68047) Full Text: DOI OpenURL
Lapadula, A.; Pugliese, R.; Tiezzi, F. A WSDL-based type system for asynchronous WS-BPEL processes. (English) Zbl 1217.68061 Form. Methods Syst. Des. 38, No. 2, 119-157 (2011). MSC: 68N30 68N15 68M11 PDF BibTeX XML Cite \textit{A. Lapadula} et al., Form. Methods Syst. Des. 38, No. 2, 119--157 (2011; Zbl 1217.68061) Full Text: DOI OpenURL
Caires, Luís; Pérez, Jorge A.; Seco, João Costa; Vieira, Hugo Torres; Ferrão, Lúcio Type-based access control in data-centric systems. (English) Zbl 1326.68082 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, 136-155 (2011). MSC: 68N30 68Q55 PDF BibTeX XML Cite \textit{L. Caires} et al., Lect. Notes Comput. Sci. 6602, 136--155 (2011; Zbl 1326.68082) Full Text: DOI OpenURL
Bieniusa, Annette; Thiemann, Peter Proving isolation properties for software transactional memory. (English) Zbl 1326.68078 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, 38-56 (2011). MSC: 68N30 PDF BibTeX XML Cite \textit{A. Bieniusa} and \textit{P. Thiemann}, Lect. Notes Comput. Sci. 6602, 38--56 (2011; Zbl 1326.68078) Full Text: DOI OpenURL
Belo, João Filipe; Greenberg, Michael; Igarashi, Atsushi; Pierce, Benjamin C. Polymorphic contracts. (English) Zbl 1326.68077 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, 18-37 (2011). MSC: 68N30 PDF BibTeX XML Cite \textit{J. F. Belo} et al., Lect. Notes Comput. Sci. 6602, 18--37 (2011; Zbl 1326.68077) Full Text: DOI OpenURL
Ricci, Alessandro; Viroli, Mirko; Piancastelli, Giulio simpA: an agent-oriented approach for programming concurrent applications on top of Java. (English) Zbl 1211.68055 Sci. Comput. Program. 76, No. 1, 37-62 (2011). MSC: 68N15 68N19 68Q55 PDF BibTeX XML Cite \textit{A. Ricci} et al., Sci. Comput. Program. 76, No. 1, 37--62 (2011; Zbl 1211.68055) Full Text: DOI OpenURL
Fu, Ming; Zhang, Yu; Li, Yong Formal verification of concurrent programs with Read-write locks. (English) Zbl 1267.68141 Front. Comput. Sci. China 4, No. 1, 65-77 (2010). MSC: 68Q60 68N30 03B70 68N19 PDF BibTeX XML Cite \textit{M. Fu} et al., Front. Comput. Sci. China 4, No. 1, 65--77 (2010; Zbl 1267.68141) Full Text: DOI OpenURL
Chadwick, Bryan; Lieberherr, Karl A functional approach to generic programming using adaptive traversals. (English) Zbl 1256.68030 High.-Order Symb. Comput. 23, No. 4, 433-463 (2010). MSC: 68N18 68P05 PDF BibTeX XML Cite \textit{B. Chadwick} and \textit{K. Lieberherr}, High.-Order Symb. Comput. 23, No. 4, 433--463 (2010; Zbl 1256.68030) Full Text: DOI OpenURL
Donaldson, Alastair F.; Gay, Simon J. Type inference and strong static type checking for Promela. (English) Zbl 1209.68080 Sci. Comput. Program. 75, No. 11, 1165-1191 (2010). MSC: 68N15 68Q60 PDF BibTeX XML Cite \textit{A. F. Donaldson} and \textit{S. J. Gay}, Sci. Comput. Program. 75, No. 11, 1165--1191 (2010; Zbl 1209.68080) Full Text: DOI OpenURL
Roşu, Grigore; Şerbănuţă, Traian Florin An overview of the K semantic framework. (English) Zbl 1214.68188 J. Log. Algebr. Program. 79, No. 6, 397-434 (2010). MSC: 68Q42 68N15 68Q55 PDF BibTeX XML Cite \textit{G. Roşu} and \textit{T. F. Şerbănuţă}, J. Log. Algebr. Program. 79, No. 6, 397--434 (2010; Zbl 1214.68188) Full Text: DOI OpenURL
Boudol, Gérard Typing termination in a higher-order concurrent imperative language. (English) Zbl 1213.68159 Inf. Comput. 208, No. 6, 716-736 (2010). MSC: 68N15 68N18 PDF BibTeX XML Cite \textit{G. Boudol}, Inf. Comput. 208, No. 6, 716--736 (2010; Zbl 1213.68159) Full Text: DOI OpenURL
Gay, Simon J.; Vasconcelos, Vasco T. Linear type theory for asynchronous session types. (English) Zbl 1185.68194 J. Funct. Program. 20, No. 1, 19-50 (2010). MSC: 68N18 68Q55 PDF BibTeX XML Cite \textit{S. J. Gay} and \textit{V. T. Vasconcelos}, J. Funct. Program. 20, No. 1, 19--50 (2010; Zbl 1185.68194) Full Text: DOI OpenURL
Biernacka, Małgorzata; Biernacki, Dariusz A context-based approach to proving termination of evaluation. (English) Zbl 1337.68061 Abramsky, Samson (ed.) et al., Proceedings of the 25th conference on the mathematical foundations of programming semantics (MFPS 2009), Oxford, UK, April 3–7, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 249, 169-192 (2009). MSC: 68N30 68N18 68Q55 PDF BibTeX XML Cite \textit{M. Biernacka} and \textit{D. Biernacki}, Electron. Notes Theor. Comput. Sci. 249, 169--192 (2009; Zbl 1337.68061) Full Text: DOI OpenURL
Hirschowitz, Tom; Leroy, Xavier; Wells, J. B. Compilation of extended recursion in call-by-value functional languages. (English) Zbl 1183.68140 High.-Order Symb. Comput. 22, No. 1, 3-66 (2009). MSC: 68N15 68N20 PDF BibTeX XML Cite \textit{T. Hirschowitz} et al., High.-Order Symb. Comput. 22, No. 1, 3--66 (2009; Zbl 1183.68140) Full Text: DOI arXiv OpenURL
Sperber, Michael; Dybvig, R. Kent; Flatt, Matthew; van Straaten, Anton; Findler, Robby; Matthews, Jacob Revised\(^{6}\) report on the algorithmic language scheme. (English) Zbl 1185.68145 J. Funct. Program. 19, Suppl., 1-301 (2009). MSC: 68N15 PDF BibTeX XML Cite \textit{M. Sperber} et al., J. Funct. Program. 19, 1--301 (2009; Zbl 1185.68145) Full Text: DOI OpenURL
Nakata, Keiko; Hasegawa, Masahito Small-step and big-step semantics for call-by-need. (English) Zbl 1184.68164 J. Funct. Program. 19, No. 6, 699-722 (2009). MSC: 68N18 68Q55 PDF BibTeX XML Cite \textit{K. Nakata} and \textit{M. Hasegawa}, J. Funct. Program. 19, No. 6, 699--722 (2009; Zbl 1184.68164) Full Text: DOI OpenURL
Dezani-Ciancaglini, Mariangiola; Giannini, Paola; Ronchi Della Rocca, Simona Intersection, universally quantified, and reference types. (English) Zbl 1257.03039 Grädel, Erich (ed.) et al., Computer science logic. 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7–11, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04026-9/pbk). Lecture Notes in Computer Science 5771, 209-224 (2009). MSC: 03B40 PDF BibTeX XML Cite \textit{M. Dezani-Ciancaglini} et al., Lect. Notes Comput. Sci. 5771, 209--224 (2009; Zbl 1257.03039) Full Text: DOI OpenURL
Ellison, Chucky; Şerbănuţă, Traian Florin; Roşu, Grigore A rewriting logic approach to type inference. (English) Zbl 1253.68211 Corradini, Andrea (ed.) et al., Recent trends in algebraic development techniques. 19th international workshop, WADT 2008, Pisa, Italy, June 13–16, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-03428-2/pbk). Lecture Notes in Computer Science 5486, 135-151 (2009). MSC: 68Q55 68N30 68Q42 PDF BibTeX XML Cite \textit{C. Ellison} et al., Lect. Notes Comput. Sci. 5486, 135--151 (2009; Zbl 1253.68211) Full Text: DOI OpenURL
Feng, Xinyu; Shao, Zhong; Guo, Yu; Dong, Yuan Certifying low-level programs with hardware interrupts and preemptive threads. (English) Zbl 1191.68176 J. Autom. Reasoning 42, No. 2-4, 301-347 (2009). MSC: 68N25 68N30 03B70 68Q60 PDF BibTeX XML Cite \textit{X. Feng} et al., J. Autom. Reasoning 42, No. 2--4, 301--347 (2009; Zbl 1191.68176) Full Text: DOI OpenURL
Bettini, Lorenzo; Capecchi, Sara; Venneri, Betti Dynamic overloading with copy semantics in object-oriented languages: a formal account. (English) Zbl 1175.68094 Theor. Inform. Appl. 43, No. 3, 517-565 (2009). MSC: 68N15 68N19 68Q55 68N18 PDF BibTeX XML Cite \textit{L. Bettini} et al., Theor. Inform. Appl. 43, No. 3, 517--565 (2009; Zbl 1175.68094) Full Text: DOI Numdam EuDML OpenURL
Hovland, Dag A type system for usage of software components. (English) Zbl 1246.68090 Berardi, Stefano (ed.) et al., Types for proofs and programs. International conference, TYPES 2008, Torino, Italy, March 26–29, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-02443-6/pbk). Lecture Notes in Computer Science 5497, 186-202 (2009). MSC: 68N19 PDF BibTeX XML Cite \textit{D. Hovland}, Lect. Notes Comput. Sci. 5497, 186--202 (2009; Zbl 1246.68090) Full Text: DOI Link OpenURL
Şerbănuţă, Traian Florin; Roşu, Grigore; Meseguer, José A rewriting logic approach to operational semantics. (English) Zbl 1165.68041 Inf. Comput. 207, No. 2, 305-340 (2009). MSC: 68Q55 03B70 68Q42 PDF BibTeX XML Cite \textit{T. F. Şerbănuţă} et al., Inf. Comput. 207, No. 2, 305--340 (2009; Zbl 1165.68041) Full Text: DOI OpenURL
Leroy, Xavier; Grall, Hervé Coinductive big-step operational semantics. (English) Zbl 1165.68044 Inf. Comput. 207, No. 2, 284-304 (2009). MSC: 68Q55 PDF BibTeX XML Cite \textit{X. Leroy} and \textit{H. Grall}, Inf. Comput. 207, No. 2, 284--304 (2009; Zbl 1165.68044) Full Text: DOI OpenURL
Hym, Samuel Mobility control via passports. (English) Zbl 1165.68051 Inf. Comput. 207, No. 2, 171-193 (2009). MSC: 68Q85 PDF BibTeX XML Cite \textit{S. Hym}, Inf. Comput. 207, No. 2, 171--193 (2009; Zbl 1165.68051) Full Text: DOI HAL OpenURL
Capecchi, Sara; Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Drossopoulou, Sophia; Giachino, Elena Amalgamating sessions and methods in object-oriented languages with generics. (English) Zbl 1169.68011 Theor. Comput. Sci. 410, No. 2-3, 142-167 (2009). MSC: 68N19 PDF BibTeX XML Cite \textit{S. Capecchi} et al., Theor. Comput. Sci. 410, No. 2--3, 142--167 (2009; Zbl 1169.68011) Full Text: DOI OpenURL
Dockins, Robert; Appel, Andrew W.; Hobor, Aquinas 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 PDF BibTeX XML Cite \textit{R. Dockins} et al., Electron. Notes Theor. Comput. Sci. 218, 5--20 (2008; Zbl 1286.68395) Full Text: DOI OpenURL
Ricci, Alessandro; Viroli, Mirko; Cimadamore, Maurizio Prototyping concurrent systems with agents and artifacts: framework and core calculus. (English) Zbl 1277.68203 Canal, Carlos (ed.) et al., Proceedings of the 6th international workshop on the foundations of coordination languages and software architectures (FOCLASA 2007), Lisbon, Portugal, September 8, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 194, No. 4, 111-132 (2008). MSC: 68Q85 68N19 68T42 PDF BibTeX XML Cite \textit{A. Ricci} et al., Electron. Notes Theor. Comput. Sci. 194, No. 4, 111--132 (2008; Zbl 1277.68203) Full Text: DOI OpenURL
Damiani, Ferruccio; Giachino, Elena; Giannini, Paola; Drossopoulou, Sophia A type safe state abstraction for coordination in JAVA-like languages. (English) Zbl 1180.68098 Acta Inf. 45, No. 7-8, 479-536 (2008). MSC: 68N15 PDF BibTeX XML Cite \textit{F. Damiani} et al., Acta Inf. 45, No. 7--8, 479--536 (2008; Zbl 1180.68098) Full Text: DOI OpenURL
Johnsen, Einar Broch; Yu, Ingrid Chieh Backwards type analysis of asynchronous method calls. (English) Zbl 1151.68006 J. Log. Algebr. Program. 77, No. 1-2, 40-59 (2008). MSC: 68N19 PDF BibTeX XML Cite \textit{E. B. Johnsen} and \textit{I. C. Yu}, J. Log. Algebr. Program. 77, No. 1--2, 40--59 (2008; Zbl 1151.68006) Full Text: DOI OpenURL
Saito, Chieri; Igarashi, Atsushi; Viroli, Mirko Lightweight family polymorphism. (English) Zbl 1138.68016 J. Funct. Program. 18, No. 3, 285-331 (2008). MSC: 68N15 68N18 PDF BibTeX XML Cite \textit{C. Saito} et al., J. Funct. Program. 18, No. 3, 285--331 (2008; Zbl 1138.68016) Full Text: DOI OpenURL
Şerbănuţă, Traian Florin; Roşu, Grigore; Meseguer, José A rewriting logic approach to operational semantics (extended abstract). (English) Zbl 1278.68147 van Glabbeek, Rob (ed.) et al., Proceedings of the fourth workshop on structural operational semantics (SOS 2007), Wroclaw, Poland, July 9, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 192, No. 1, 125-141 (2007). MSC: 68Q55 68Q42 68N15 PDF BibTeX XML Cite \textit{T. F. Şerbănuţă} et al., Electron. Notes Theor. Comput. Sci. 192, No. 1, 125--141 (2007; Zbl 1278.68147) Full Text: DOI OpenURL
Moggi, Eugenio Structuring operational semantics: simplification and computation. (English) Zbl 1277.68124 Cardelli, Luca (ed.) et al., Computation, meaning, and logic. Articles dedicated to Gordon Plotkin. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 172, 479-497 (2007). MSC: 68Q55 68Q42 PDF BibTeX XML Cite \textit{E. Moggi}, Electron. Notes Theor. Comput. Sci. 172, 479--497 (2007; Zbl 1277.68124) Full Text: DOI OpenURL
Hutton, Graham; Wright, Joel What is the meaning of these constant interruptions? (English) Zbl 1129.68410 J. Funct. Program. 17, No. 6, 777-792 (2007). MSC: 68N18 68N15 PDF BibTeX XML Cite \textit{G. Hutton} and \textit{J. Wright}, J. Funct. Program. 17, No. 6, 777--792 (2007; Zbl 1129.68410) Full Text: DOI OpenURL
Viroli, Mirko A core calculus for correlation in orchestration languages. (English) Zbl 1178.68051 J. Log. Algebr. Program. 70, No. 1, 74-95 (2007). MSC: 68M10 PDF BibTeX XML Cite \textit{M. Viroli}, J. Log. Algebr. Program. 70, No. 1, 74--95 (2007; Zbl 1178.68051) Full Text: DOI OpenURL
Shinwell, Mark R.; Pitts, Andrew M. On a monadic semantics for freshness. (English) Zbl 1077.68050 Theor. Comput. Sci. 342, No. 1, 28-55 (2005). MSC: 68Q55 68N18 PDF BibTeX XML Cite \textit{M. R. Shinwell} and \textit{A. M. Pitts}, Theor. Comput. Sci. 342, No. 1, 28--55 (2005; Zbl 1077.68050) Full Text: DOI OpenURL
Moggi, Eugenio; Sabry, Amr An abstract monadic semantics for value recursion. (English) Zbl 1089.68029 Theor. Inform. Appl. 38, No. 4, 375-400 (2004). MSC: 68N18 68Q55 PDF BibTeX XML Cite \textit{E. Moggi} and \textit{A. Sabry}, Theor. Inform. Appl. 38, No. 4, 375--400 (2004; Zbl 1089.68029) Full Text: DOI Numdam EuDML Link OpenURL
Abel, Andreas Termination checking with types. (English) Zbl 1089.68028 Theor. Inform. Appl. 38, No. 4, 277-319 (2004). MSC: 68N18 68Q42 PDF BibTeX XML Cite \textit{A. Abel}, Theor. Inform. Appl. 38, No. 4, 277--319 (2004; Zbl 1089.68028) Full Text: DOI Numdam EuDML Link OpenURL
Palsberg, Jens; Zhao, Tian Type inference for record concatenation and subtyping. (English) Zbl 1082.68013 Inf. Comput. 189, No. 1, 54-86 (2004). MSC: 68N15 68Q17 PDF BibTeX XML Cite \textit{J. Palsberg} and \textit{T. Zhao}, Inf. Comput. 189, No. 1, 54--86 (2004; Zbl 1082.68013) Full Text: DOI OpenURL
Mosses, Peter D. Modular structural operational semantics. (English) Zbl 1072.68061 J. Log. Algebr. Program. 60-61, 195-228 (2004). MSC: 68Q55 PDF BibTeX XML Cite \textit{P. D. Mosses}, J. Log. Algebr. Program. 60--61, 195--228 (2004; Zbl 1072.68061) Full Text: DOI OpenURL
Cervesato, Iliano; Pfenning, Frank A linear logical framework. (English) Zbl 1031.03056 Inf. Comput. 179, No. 1, 19-75 (2002). MSC: 03B70 68N30 03F52 PDF BibTeX XML Cite \textit{I. Cervesato} and \textit{F. Pfenning}, Inf. Comput. 179, No. 1, 19--75 (2002; Zbl 1031.03056) Full Text: DOI OpenURL
Millstein, Todd; Chambers, Craig Modular statically typed multimethods. (English) Zbl 1012.68043 Inf. Comput. 175, No. 1, 76-118 (2002). MSC: 68N19 68Q65 PDF BibTeX XML Cite \textit{T. Millstein} and \textit{C. Chambers}, Inf. Comput. 175, No. 1, 76--118 (2002; Zbl 1012.68043) Full Text: DOI OpenURL
Calcagno, Cristiano; Helsen, Simon; Thiemann, Peter Syntactic type soundness results for the region calculus. (English) Zbl 1009.68019 Inf. Comput. 173, No. 2, 199-221 (2002). MSC: 68N18 03B40 PDF BibTeX XML Cite \textit{C. Calcagno} et al., Inf. Comput. 173, No. 2, 199--221 (2002; Zbl 1009.68019) Full Text: DOI Link OpenURL
Flatt, Matthew; Felleisen, Matthias Program units as higher-order modules. (English) Zbl 0925.68082 Gordon, Andrew (ed.) et al., HOOTS II. 2nd workshop on higher-order operational techniques in semantics. Stanford Univ., Palo Alto, CA, USA, December 8–12, 1997. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 10, electronic paper No. 19 (1997). MSC: 68N15 PDF BibTeX XML Cite \textit{M. Flatt} and \textit{M. Felleisen}, in: HOOTS II. 2nd workshop on Higher-order operational techniques in semantics. Stanford Univ., Palo Alto, CA, USA, December 8--12, 1997. Amsterdam: Elsevier. electronic paper No. 19 (1997; Zbl 0925.68082) Full Text: Link OpenURL
Nielson, Flemming; Nielson, Hanne Riis From CML to its process algebra. (English) Zbl 0873.68131 Theor. Comput. Sci. 155, No. 1, 179-219 (1996). MSC: 68Q55 68N15 68Q10 68N17 PDF BibTeX XML Cite \textit{F. Nielson} and \textit{H. R. Nielson}, Theor. Comput. Sci. 155, No. 1, 179--219 (1996; Zbl 0873.68131) Full Text: DOI OpenURL
Harper, Robert A note on “A simplified account of polymorphic references”. (English) Zbl 0998.68534 Inf. Process. Lett. 57, No. 1, 15-16 (1996). MSC: 68Q55 PDF BibTeX XML Cite \textit{R. Harper}, Inf. Process. Lett. 57, No. 1, 15--16 (1996; Zbl 0998.68534) Full Text: DOI OpenURL
Abadi, Martín; Cardelli, Luca An imperative object calculus. (English) Zbl 1496.68098 Mosses, Peter D. (ed.) et al., TAPSOFT ’95: Theory and practice of software development. 6th international joint conference CAAP/FASE, Aarhus, Denmark, May 1995. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 915, 471-485 (1995). MSC: 68N30 03B70 68N15 68N19 PDF BibTeX XML Cite \textit{M. Abadi} and \textit{L. Cardelli}, Lect. Notes Comput. Sci. 915, 471--485 (1995; Zbl 1496.68098) Full Text: DOI OpenURL
Harper, Robert A simplified account of polymorphic references. (English) Zbl 0813.68131 Inf. Process. Lett. 51, No. 4, 201-206 (1994). MSC: 68Q55 68N15 PDF BibTeX XML Cite \textit{R. Harper}, Inf. Process. Lett. 51, No. 4, 201--206 (1994; Zbl 0813.68131) Full Text: DOI OpenURL