المؤلفون: Lundén, Daniel, Hummelgren, Lars, Kudlicka, Jan, Eriksson, Oscar, Broman, David, 1977

المصدر: Programming Languages and Systems - 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings Lecture Notes in Computer Science. :302-330

مصطلحات موضوعية: Continuation-passing style, Probabilistic programming, Static analysis

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-346543
https://doi.org/10.1007/978-3-031-57267-8_12

المؤلفون: Hillerström, Daniel

المساهمون: Lindley, Sam, Longley, John

مصطلحات موضوعية: effect handlers, first-class control, row polymorphism, generalised continuations, continuation passing style, abstract machine semantics, typed macro expressiveness, asymptotic complexity, unix, effect handler oriented programming

URL الوصول: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.853216

المؤلفون: Espírito Santo, José, Mendes, Filipa

المساهمون: Universidade do Minho

مصطلحات موضوعية: Continuation-passing style, Sequent calculus, Generalized applications, Administrative normal form, Ciências Naturais::Matemáticas

وصف الملف: application/pdf

Relation: 978-3-95977-277-8; 1868-8969

الاتاحة: https://hdl.handle.net/1822/87946

المؤلفون: Mendes, Filipa Simões

المساهمون: Espírito Santo, José, Universidade do Minho

مصطلحات موضوعية: Cálculo-lambda, Call-by-value, Call-by-name, Continuation-passing-style, Linguagens de programação funcionais, Cálculo de sequentes, Lógica intuicionista, Lambda-calculus, Funcional programming languages, Sequent calculus, Intuicionistic logic, Ciências Naturais::Matemáticas

وصف الملف: application/pdf

Relation: 203267001

الاتاحة: https://hdl.handle.net/1822/85093

المؤلفون: 谷口, 雅弥

مصطلحات موضوعية: Combinatory Categorial Grammar, Lambek Calculus, Continuation-Passing Style Transformation, Incremental Parsing, Theorem Proving

وصف الملف: application/pdf

URL الوصول: https://ndlsearch.ndl.go.jp/books/R100000039-I12910450

Degree: 博士(情報科学) -- 北陸先端科学技術大学院大学

المؤلفون: Biernacki, Dariusz, Pyzik, Mateusz, Sieczkowski, Filip

المساهمون: Dariusz Biernacki and Mateusz Pyzik and Filip Sieczkowski

مصطلحات موضوعية: delimited control, continuation-passing style, reflection, call-by-value lambda calculus, computational lambda calculus

وصف الملف: application/pdf

Relation: Is Part Of LIPIcs, Volume 167, 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2020.18

الاتاحة: https://doi.org/10.4230/LIPIcs.FSCD.2020.18
https://nbn-resolving.org/urn:nbn:de:0030-drops-123402
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2020.18

المؤلفون: Daniel Lundén, Lars Hummelgren, Jan Kudlicka, Oscar Eriksson, David Broman

المصدر: ESOP, European Symposium on Programming, Luxembourg City, Luxembourg, 6–11 April 2024

مصطلحات موضوعية: Probabilistic programming, Static analysis, Continuation-passing style, Functional programming, Monte Carlo inference

Relation: https://doi.org/10.5281/zenodo.10454311; https://doi.org/10.5281/zenodo.10454312; oai:zenodo.org:10454312

الاتاحة: https://doi.org/10.5281/zenodo.10454312

مصطلحات موضوعية: Lambek Calculus, Theorem Proving, Combinatory Categorial Grammar, Continuation-Passing Style Transformation, Incremental Parsing

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=jairo_______::4af66140a0b1b0029d052e853e343215
http://hdl.handle.net/10119/18423

المؤلفون: Jiang, Ying, Liu, Jian, Dowek, Gilles, Ji, Kailiang

المساهمون: State Key Laboratory of Computer Science Beijing (LCS), Institute of Software Chinese Academy of Sciences Beijing, Deduction modulo, interopérabilité et démonstration automatique (DEDUCTEAM), Laboratoire Spécification et Vérification Cachan (LSV), École normale supérieure - Cachan (ENS Cachan)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Cachan (ENS Cachan)-Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Design, study and implementation of languages for proofs and programs (PI.R2), Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS)-Inria de Paris, ANR-11-IS02-0002,Locali,Approche Logique de Nouveaux Paradigmes de Calcul(2011)

المصدر: ISSN: 0010-4620.

مصطلحات موضوعية: Continuation-passing style, Automated theorem proving, CTL Model checking, Doubly on-the-fly style, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

الاتاحة: https://inria.hal.science/hal-01970274
https://inria.hal.science/hal-01970274v1/document
https://inria.hal.science/hal-01970274v1/file/sctl_paper.pdf
https://doi.org/10.1093/comjnl/bxy112

المؤلفون: Miquey, Étienne

المساهمون: Gallinette : vers une nouvelle génération d'assistant à la preuve (LS2N - équipe GALLINETTE), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire des Sciences du Numérique de Nantes (LS2N), Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)

المصدر: ISSN: 0164-0925.

مصطلحات موضوعية: Control operators, Type theory, Classical logic, Dependent types, Proof theory, Call-by-value, Calue restriction, Delimited continuations, Continuation-passing style translation, Sequent calculus, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.7: Proof theory, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.2: Lambda calculus and related systems, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Relation: hal-01519929; https://inria.hal.science/hal-01519929; https://inria.hal.science/hal-01519929v3/document; https://inria.hal.science/hal-01519929v3/file/dLtp.pdf

الاتاحة: https://inria.hal.science/hal-01519929
https://inria.hal.science/hal-01519929v3/document
https://inria.hal.science/hal-01519929v3/file/dLtp.pdf
https://doi.org/10.1145/3230625

المؤلفون: Boulmé, Sylvain, Maréchal, Alexandre

المساهمون: VERIMAG (VERIMAG - IMAG), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes 2016-2019 (UGA 2016-2019 ), ANR-11-INSE-0003,VERASCO,Vérification formelle d'analyseurs statiques et de compilateurs(2011), European Project: 306595,EC:FP7:ERC,ERC-2012-StG_20111012,STATOR(2013)

المصدر: ISSN: 0168-7433.

مصطلحات موضوعية: Continuation-Passing Style, Linear arithmetic, Refinement calculus, Abstract Interpretation, The Coq proof assistant, Monad, Weakest precondition, Certified Software, Proof Assistants, Result Certification, [INFO]Computer Science [cs]

Relation: info:eu-repo/grantAgreement/EC/FP7/306595/EU/STATic analysis with ORiginal methods/STATOR

الاتاحة: https://hal.science/hal-01133865
https://hal.science/hal-01133865v4/document
https://hal.science/hal-01133865v4/file/hal_main.pdf
https://doi.org/10.1007/s10817-018-9492-2

المؤلفون: Bourbouh, Hamza, Garoche, Pierre-Loïc, Garion, Christophe, Gurfinkel, Arie, Kahsai, Temesghen, Thirioux, Xavier

المساهمون: Département d'Ingénierie des Systèmes Complexes (DISC), Institut Supérieur de l'Aéronautique et de l'Espace (ISAE-SUPAERO), NASA, ONERA - The French Aerospace Lab Toulouse, ONERA, University of Waterloo Waterloo, Carnegie Mellon University Pittsburgh (CMU), Assistance à la Certification d’Applications DIstribuées et Embarquées (IRIT-ACADIE), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)

المصدر: EPiC Series in Computing, vol. 46 ; 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2017) ; https://hal.science/hal-02092930 ; 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2017), May 2017, Maun, Botswana. pp.144-161

مصطلحات موضوعية: Continuation-passing style, Model checking, Stateflow, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation

جغرافية الموضوع: Maun, Botswana

Relation: OATAO: 22654

الاتاحة: https://hal.science/hal-02092930
https://hal.science/hal-02092930v1/document
https://hal.science/hal-02092930v1/file/bourbouh_22654.pdf

المؤلفون: Puech, Matthias

المساهمون: Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX), École polytechnique (X), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-Centre National de la Recherche Scientifique (CNRS), Centre d'études et de recherche en informatique et communications (CEDRIC), Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise (ENSIIE)-Conservatoire National des Arts et Métiers CNAM (CNAM), Proof search and reasoning with logic specifications (PARSIFAL), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-Centre National de la Recherche Scientifique (CNRS)-École polytechnique (X), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), European Project: 291592,EC:FP7:ERC,ERC-2011-ADG_20110209,PROOFCERT(2012)

المصدر: JFLA 2017 - 28ème Journées Francophones des Langages Applicatifs ; https://hal.science/hal-01419473 ; JFLA 2017 - 28ème Journées Francophones des Langages Applicatifs, Jan 2017, Gourette, France. pp.1-14

مصطلحات موضوعية: continuations, continuation-passing style, CPS, OCaml, typeful, GADT, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

جغرافية الموضوع: Gourette, France

Relation: info:eu-repo/grantAgreement/EC/FP7/291592/EU/ProofCert: Broad Spectrum Proof Certificates/PROOFCERT; hal-01419473; https://hal.science/hal-01419473; https://hal.science/hal-01419473/document; https://hal.science/hal-01419473/file/typeful-continuations.pdf

الاتاحة: https://hal.science/hal-01419473
https://hal.science/hal-01419473/document
https://hal.science/hal-01419473/file/typeful-continuations.pdf

المؤلفون: Miquey, Étienne

المساهمون: Design, study and implementation of languages for proofs and programs (PI.R2), Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS)-Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Instituto de Matemática y Estadística Rafael Laguardia Montevideo (IMERL), Universidad de la República Montevideo (UDELAR)

المصدر: 26th European Symposium on Programming
https://inria.hal.science/hal-01375977
26th European Symposium on Programming, Apr 2017, Uppsala, Sweden

مصطلحات موضوعية: sequent calculus, classical logic, control operators, call-by-value, delimited continuations, continuation-passing style translation, value restriction, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.7: Proof theory, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

جغرافية الموضوع: Uppsala, Sweden

الاتاحة: https://inria.hal.science/hal-01375977
https://inria.hal.science/hal-01375977v3/document
https://inria.hal.science/hal-01375977v3/file/dL.pdf

المؤلفون: Hillerström, Daniel, Lindley, Sam, Atkey, Robert, Sivaramakrishnan, K. C.

المساهمون: Daniel Hillerström and Sam Lindley and Robert Atkey and K. C. Sivaramakrishnan

مصطلحات موضوعية: effect handlers, delimited control, continuation passing style

وصف الملف: application/pdf

Relation: Is Part Of LIPIcs, Volume 84, 2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2017.18

الاتاحة: https://doi.org/10.4230/LIPIcs.FSCD.2017.18
https://nbn-resolving.org/urn:nbn:de:0030-drops-77394
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2017.18

المؤلفون: Zoe Paraskevopoulou, Anvay Grover

المصدر: Proceedings of the ACM on Programming Languages. 5:1-29

مصطلحات موضوعية: Correctness, Semantics (computer science), Computer science, Programming language, Proof assistant, Preorder, Specification language, computer.software_genre, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Continuation-passing style, Compiler, Safety, Risk, Reliability and Quality, computer, Software, Compiler correctness

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::5c7fb57ba160d8937b6d655e858b37eb
https://doi.org/10.1145/3485491

المؤلفون: Mendes, Filipa Simões

المساهمون: Espírito Santo, José

مصطلحات موضوعية: Cálculo-lambda, Call-by-value, Call-by-name, Continuation-passing-style, Linguagens de programação funcionais, Cálculo de sequentes, Lógica intuicionista, Lambda-calculus, Funcional programming languages, Sequent calculus, Intuicionistic logic, Ciências Naturais::Matemáticas

وصف الملف: application/pdf

Relation: https://hdl.handle.net/1822/85093; 203267001

الاتاحة: https://hdl.handle.net/1822/85093

المؤلفون: Takeshi Tsukada, Taro Sekiyama

المصدر: Proceedings of the ACM on Programming Languages. 5:1-30

مصطلحات موضوعية: Soundness, Transformation (function), Theoretical computer science, Computer science, Semantics (computer science), Generalization, System F, Continuation-passing style, Parametricity, Affine transformation, Safety, Risk, Reliability and Quality, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::72e5e3042a3f2412df0d33e104727fa8
https://doi.org/10.1145/3473600

المؤلفون: Németh Boldizsár, Csörnyei Zoltán

المصدر: Acta Universitatis Sapientiae: Informatica, Vol 5, Iss 2, Pp 167-183 (2013)

مصطلحات موضوعية: tail recursion, continuation passing style, stackless programming, programming language miller, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: https://doaj.org/toc/2066-7760

URL الوصول: https://doaj.org/article/e1041e43b5e444f8a98f30985c7f833e

المؤلفون: Danvy, Olivier, Keller, Chantal, Puech, Matthias

المساهمون: Olivier Danvy and Chantal Keller and Matthias Puech

مصطلحات موضوعية: Normalization by Evaluation, Generalized Algebraic Data Types, Continuation-Passing Style, partial evaluation

وصف الملف: application/pdf

Relation: Is Part Of LIPIcs, Volume 39, 20th International Conference on Types for Proofs and Programs (TYPES 2014); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TYPES.2014.72

الاتاحة: https://doi.org/10.4230/LIPIcs.TYPES.2014.72
https://nbn-resolving.org/urn:nbn:de:0030-drops-54921
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TYPES.2014.72