iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/pid/36/5932.rss
dblp: Alan Schmitt https://dblp.org/pid/36/5932.html dblp person page RSS feed Fri, 19 Jul 2024 18:32:50 +0200 en-US daily 1 released under the CC0 1.0 license dblp@dagstuhl.de (dblp team) dblp@dagstuhl.de (dblp team) Computers/Computer_Science/Publications/Bibliographies http://www.rssboard.org/rss-specification https://dblp.org/img/logo.144x51.pngdblp: Alan Schmitthttps://dblp.org/pid/36/5932.html14451 Fully Abstract Encodings of $\lambda$-Calculus in HOcore through Abstract Machines.https://doi.org/10.46298/lmcs-20(3:3)2024, , , , , :
Fully Abstract Encodings of $\lambda$-Calculus in HOcore through Abstract Machines. Log. Methods Comput. Sci. 20(3) ()]]>https://dblp.org/rec/journals/lmcs/BiernackaBLPPS24Mon, 01 Jan 2024 00:00:00 +0100 Leaf-First Zipper Semantics.https://doi.org/10.1007/978-3-031-62645-6_7, :
Leaf-First Zipper Semantics. FORTE : 118-135]]>https://dblp.org/rec/conf/forte/LengletS24Mon, 01 Jan 2024 00:00:00 +0100 Optimizing a Non-Deterministic Abstract Machine with Environments.https://doi.org/10.4230/LIPIcs.FSCD.2024.11, , , :
Optimizing a Non-Deterministic Abstract Machine with Environments. FSCD : 11:1-11:22]]>https://dblp.org/rec/conf/fscd/BiernackaBLS24Mon, 01 Jan 2024 00:00:00 +0100 Deriving Abstract Interpreters from Skeletal Semantics.https://doi.org/10.4204/EPTCS.387.8, , :
Deriving Abstract Interpreters from Skeletal Semantics. EXPRESS/SOS : 97-113]]>https://dblp.org/rec/journals/corr/abs-2309-07298Sun, 01 Jan 2023 00:00:00 +0100 Non-Deterministic Abstract Machines.https://doi.org/10.4230/LIPIcs.CONCUR.2022.7, , , :
Non-Deterministic Abstract Machines. CONCUR : 7:1-7:24]]>https://dblp.org/rec/conf/concur/BiernackaBLS22Sat, 01 Jan 2022 00:00:00 +0100 Certified abstract machines for skeletal semantics.https://doi.org/10.1145/3497775.3503676, , :
Certified abstract machines for skeletal semantics. CPP : 55-67]]>https://dblp.org/rec/conf/cpp/AmbalLS22Sat, 01 Jan 2022 00:00:00 +0100 Semantics in Skel and Necro.https://ceur-ws.org/Vol-3284/8939.pdf, :
Semantics in Skel and Necro. ICTCS : 99-115]]>https://dblp.org/rec/conf/ictcs/NoizetS22Sat, 01 Jan 2022 00:00:00 +0100 A Faithful Description of ECMAScript Algorithms.https://doi.org/10.1145/3551357.3551381, , :
A Faithful Description of ECMAScript Algorithms. PPDP : 8:1-8:14]]>https://dblp.org/rec/conf/ppdp/KhayamNS22Sat, 01 Jan 2022 00:00:00 +0100 Certified Derivation of Small-Step From Big-Step Skeletal Semantics.https://doi.org/10.1145/3551357.3551384, , , :
Certified Derivation of Small-Step From Big-Step Skeletal Semantics. PPDP : 11:1-11:48]]>https://dblp.org/rec/conf/ppdp/AmbalLSN22Sat, 01 Jan 2022 00:00:00 +0100 Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines.https://doi.org/10.48550/arXiv.2205.06665, , , , , :
Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines. CoRR abs/2205.06665 ()]]>https://dblp.org/rec/journals/corr/abs-2205-06665Sat, 01 Jan 2022 00:00:00 +0100 HOπ in Coq.https://doi.org/10.1007/s10817-020-09553-0, , :
HOπ in Coq. J. Autom. Reason. 65(1): 75-124 ()]]>https://dblp.org/rec/journals/jar/AmbalLS21Fri, 01 Jan 2021 00:00:00 +0100 Skeletal semantics and their interpretations.https://doi.org/10.1145/3290357, , , :
Skeletal semantics and their interpretations. Proc. ACM Program. Lang. 3(POPL): 44:1-44:31 ()]]>https://dblp.org/rec/journals/pacmpl/BodinGJS19Tue, 01 Jan 2019 00:00:00 +0100 HOπ in Coq.https://doi.org/10.1145/3167083, :
HOπ in Coq. CPP : 252-265]]>https://dblp.org/rec/conf/cpp/LengletS18Mon, 01 Jan 2018 00:00:00 +0100 JSExplain: A Double Debugger for JavaScript.https://doi.org/10.1145/3184558.3185969, , :
JSExplain: A Double Debugger for JavaScript. WWW (Companion Volume) : 691-699]]>https://dblp.org/rec/conf/www/ChargueraudSW18Mon, 01 Jan 2018 00:00:00 +0100 Skeletal Semantics and their Interpretations.http://arxiv.org/abs/1809.09749, , , :
Skeletal Semantics and their Interpretations. CoRR abs/1809.09749 ()]]>https://dblp.org/rec/journals/corr/abs-1809-09749Mon, 01 Jan 2018 00:00:00 +0100 Annotated Multisemantics To Prove Non-Interference Analyses.https://doi.org/10.1145/3139337.3139344, :
Annotated Multisemantics To Prove Non-Interference Analyses. PLAS@CCS : 49-62]]>https://dblp.org/rec/conf/ccs/CabonS17Sun, 01 Jan 2017 00:00:00 +0100 Fully abstract encodings of λ-calculus in HOcore through abstract machines.https://doi.org/10.1109/LICS.2017.8005118, , , , , :
Fully abstract encodings of λ-calculus in HOcore through abstract machines. LICS : 1-12]]>https://dblp.org/rec/conf/lics/BiernackaBLPPS17Sun, 01 Jan 2017 00:00:00 +0100 POPL 2005: Combinators for Bi-Directional Tree Transformations: Linguistic Approach to the View Update Problem.https://doi.org/10.1145/2854695.2854700, , , , :
POPL 2005: Combinators for Bi-Directional Tree Transformations: Linguistic Approach to the View Update Problem. ACM SIGPLAN Notices 50(8s): 49-62 ()]]>https://dblp.org/rec/journals/sigplan/FosterGMPS15Thu, 01 Jan 2015 00:00:00 +0100 Efficiently Deciding μ-Calculus with Converse over Finite Trees.https://doi.org/10.1145/2724712, , , :
Efficiently Deciding μ-Calculus with Converse over Finite Trees. ACM Trans. Comput. Log. 16(2): 16:1-16:41 ()]]>https://dblp.org/rec/journals/tocl/GenevesLSG15Thu, 01 Jan 2015 00:00:00 +0100 Howe's Method for Contextual Semantics.https://doi.org/10.4230/LIPIcs.CONCUR.2015.212, :
Howe's Method for Contextual Semantics. CONCUR : 212-225]]>https://dblp.org/rec/conf/concur/LengletS15Thu, 01 Jan 2015 00:00:00 +0100 Certified Abstract Interpretation with Pretty-Big-Step Semantics.https://doi.org/10.1145/2676724.2693174, , :
Certified Abstract Interpretation with Pretty-Big-Step Semantics. CPP : 29-40]]>https://dblp.org/rec/conf/cpp/BodinJS15Thu, 01 Jan 2015 00:00:00 +0100 Expressive Logical Combinators for Free.http://ijcai.org/Abstract/15/050, :
Expressive Logical Combinators for Free. IJCAI : 311-317]]>https://dblp.org/rec/conf/ijcai/GenevesS15Thu, 01 Jan 2015 00:00:00 +0100 HOCore in Coq.https://doi.org/10.1007/978-3-319-22102-1_19, :
HOCore in Coq. ITP : 278-293]]>https://dblp.org/rec/conf/itp/MaksimovicS15Thu, 01 Jan 2015 00:00:00 +0100 Hybrid Typing of Secure Information Flow in a JavaScript-Like Language.https://doi.org/10.1007/978-3-319-28766-9_5, , , :
Hybrid Typing of Secure Information Flow in a JavaScript-Like Language. TGC : 63-78]]>https://dblp.org/rec/conf/tgc/SantosJRS15Thu, 01 Jan 2015 00:00:00 +0100 Pretty-big-step-semantics-based Certified Abstract Interpretation.https://dblp.org/pid/36/5932.html, , :
Pretty-big-step-semantics-based Certified Abstract Interpretation. JFLA : 109-130]]>https://dblp.org/rec/conf/jfla/BodinJS14Wed, 01 Jan 2014 00:00:00 +0100 De la KAM avec un Processus d'Ordre Supe'rieur.https://dblp.org/pid/36/5932.html, :
De la KAM avec un Processus d'Ordre Supe'rieur. JFLA : 149-158]]>https://dblp.org/rec/conf/jfla/PousS14Wed, 01 Jan 2014 00:00:00 +0100 A trusted mechanised JavaScript specification.https://doi.org/10.1145/2535838.2535876, , , , , , , :
A trusted mechanised JavaScript specification. POPL : 87-100]]>https://dblp.org/rec/conf/popl/BodinCFGMNSS14Wed, 01 Jan 2014 00:00:00 +0100 Concurrent Flexible Reversibility.https://doi.org/10.1007/978-3-642-37036-6_21, , , , :
Concurrent Flexible Reversibility. ESOP : 370-390]]>https://dblp.org/rec/conf/esop/LaneseLMSS13Tue, 01 Jan 2013 00:00:00 +0100 Pretty-big-step-semantics-based Certified Abstract Interpretation (Preliminary version).https://doi.org/10.4204/EPTCS.129.23, , :
Pretty-big-step-semantics-based Certified Abstract Interpretation (Preliminary version). Festschrift for Dave Schmidt : 360-383]]>https://dblp.org/rec/journals/corr/BodinJS13Tue, 01 Jan 2013 00:00:00 +0100 Proceedings of the 14th International Symposium on Database Programming Languages (DBPL 2013), August 30, 2013, Riva del Garda, Trento, Italy.http://arxiv.org/abs/1309.1334, :
Proceedings of the 14th International Symposium on Database Programming Languages (DBPL 2013), August 30, 2013, Riva del Garda, Trento, Italy. [contents]]]>https://dblp.org/rec/journals/corr/GreenS13Tue, 01 Jan 2013 00:00:00 +0100 Static Analyses for Manipulations of Hierarchically Structured Data. (Analyses Statiques pour Manipulations de Données Structurées Hiérarchiquement).https://tel.archives-ouvertes.fr/tel-00637917:
Static Analyses for Manipulations of Hierarchically Structured Data. (Analyses Statiques pour Manipulations de Données Structurées Hiérarchiquement). Grenoble Alpes University, France, ]]>https://dblp.org/rec/books/hal/Schmitt11Sat, 01 Jan 2011 00:00:00 +0100 On the expressiveness and decidability of higher-order process calculi.https://doi.org/10.1016/j.ic.2010.10.001, , , :
On the expressiveness and decidability of higher-order process calculi. Inf. Comput. 209(2): 198-226 ()]]>https://dblp.org/rec/journals/iandc/LanesePSS11Sat, 01 Jan 2011 00:00:00 +0100 Characterizing contextual equivalence in calculi with passivation.https://doi.org/10.1016/j.ic.2011.08.002, , :
Characterizing contextual equivalence in calculi with passivation. Inf. Comput. 209(11): 1390-1433 ()]]>https://dblp.org/rec/journals/iandc/LengletSS11Sat, 01 Jan 2011 00:00:00 +0100 Controlling Reversibility in Higher-Order Pi.https://doi.org/10.1007/978-3-642-23217-6_20, , , :
Controlling Reversibility in Higher-Order Pi. CONCUR : 297-311]]>https://dblp.org/rec/conf/concur/LaneseMSS11Sat, 01 Jan 2011 00:00:00 +0100 Query Reasoning on Trees with Types, Interleaving, and Counting.https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-127, , , :
Query Reasoning on Trees with Types, Interleaving, and Counting. IJCAI : 718-723]]>https://dblp.org/rec/conf/ijcai/BarcenasGLS11Sat, 01 Jan 2011 00:00:00 +0100 On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi.https://doi.org/10.1007/978-3-642-14162-1_37, , , :
On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi. ICALP (2) : 442-453]]>https://dblp.org/rec/conf/icalp/LanesePSS10Fri, 01 Jan 2010 00:00:00 +0100 A Tree Logic with Graded Paths and Nominals.http://arxiv.org/abs/1005.5623, , , :
A Tree Logic with Graded Paths and Nominals. CoRR abs/1005.5623 ()]]>https://dblp.org/rec/journals/corr/abs-1005-5623Fri, 01 Jan 2010 00:00:00 +0100 On the Count of Trees.http://arxiv.org/abs/1008.5073, , , :
On the Count of Trees. CoRR abs/1008.5073 ()]]>https://dblp.org/rec/journals/corr/abs-1008-5073Fri, 01 Jan 2010 00:00:00 +0100 Howe's Method for Calculi with Passivation.https://doi.org/10.1007/978-3-642-04081-8_30, , :
Howe's Method for Calculi with Passivation. CONCUR : 448-462]]>https://dblp.org/rec/conf/concur/LengletSS09Thu, 01 Jan 2009 00:00:00 +0100 Typing Component-Based Communication Systems.https://doi.org/10.1007/978-3-642-02138-1_11, , , :
Typing Component-Based Communication Systems. FMOODS/FORTE : 167-181]]>https://dblp.org/rec/conf/forte/LienhardtMSS09Thu, 01 Jan 2009 00:00:00 +0100 Normal Bisimulations in Calculi with Passivation.https://doi.org/10.1007/978-3-642-00596-1_19, , :
Normal Bisimulations in Calculi with Passivation. FoSSaCS : 257-271]]>https://dblp.org/rec/conf/fossacs/LengletSS09Thu, 01 Jan 2009 00:00:00 +0100 On the Expressiveness of Polyadicity in Higher-Order Process Calculi.https://dblp.org/pid/36/5932.html, , , :
On the Expressiveness of Polyadicity in Higher-Order Process Calculi. ICTCS : 143-149]]>https://dblp.org/rec/conf/ictcs/LanesePSS09Thu, 01 Jan 2009 00:00:00 +0100 JFLA 2009, Vingtièmes Journées Francophones des Langages Applicatifs, Saint Quentin sur Isère, France, January 31 - February 3, 2009. Proceedings.https://dblp.org/pid/36/5932.html:
JFLA 2009, Vingtièmes Journées Francophones des Langages Applicatifs, Saint Quentin sur Isère, France, January 31 - February 3, 2009. Proceedings. Studia Informatica Universalis 7.2, , ISBN 978-2-7056-6917-1 [contents]]]>https://dblp.org/rec/conf/jfla/2009Thu, 01 Jan 2009 00:00:00 +0100 Typing communicating component assemblages.https://doi.org/10.1145/1449913.1449933, , :
Typing communicating component assemblages. GPCE : 125-136]]>https://dblp.org/rec/conf/gpce/LienhardtSS08Tue, 01 Jan 2008 00:00:00 +0100 On the Expressiveness and Decidability of Higher-Order Process Calculi.https://doi.org/10.1109/LICS.2008.8, , , :
On the Expressiveness and Decidability of Higher-Order Process Calculi. LICS : 145-155]]>https://dblp.org/rec/conf/lics/LanesePSS08Tue, 01 Jan 2008 00:00:00 +0100 Boomerang: resourceful lenses for string data.https://doi.org/10.1145/1328438.1328487, , , , :
Boomerang: resourceful lenses for string data. POPL : 407-419]]>https://dblp.org/rec/conf/popl/BohannonFPPS08Tue, 01 Jan 2008 00:00:00 +0100 Exploiting schemas in data synchronization.https://doi.org/10.1016/j.jcss.2006.10.024, , , , :
Exploiting schemas in data synchronization. J. Comput. Syst. Sci. 73(4): 669-689 ()]]>https://dblp.org/rec/journals/jcss/FosterGKPS07Mon, 01 Jan 2007 00:00:00 +0100 Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem.https://doi.org/10.1145/1232420.1232424, , , , :
Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem. ACM Trans. Program. Lang. Syst. 29(3): 17 ()]]>https://dblp.org/rec/journals/toplas/FosterGMPS07Mon, 01 Jan 2007 00:00:00 +0100 Oz/K: a kernel language for component-based open programming.https://doi.org/10.1145/1289971.1289980, , :
Oz/K: a kernel language for component-based open programming. GPCE : 43-52]]>https://dblp.org/rec/conf/gpce/LienhardtSS07Mon, 01 Jan 2007 00:00:00 +0100 XPath Typing Using a Modal Logic with Converse for Finite Trees.http://www.plan-x-2007.org/plan-x-2007.pdf, , :
XPath Typing Using a Modal Logic with Converse for Finite Trees. PLAN-X : 61-72]]>https://dblp.org/rec/conf/planX/GenevesLS07Mon, 01 Jan 2007 00:00:00 +0100 A Logic Your Typechecker Can Count On: Unordered Tree Types in Practice.http://www.plan-x-2007.org/plan-x-2007.pdf, , :
A Logic Your Typechecker Can Count On: Unordered Tree Types in Practice. PLAN-X : 80-90]]>https://dblp.org/rec/conf/planX/FosterPS07Mon, 01 Jan 2007 00:00:00 +0100 Efficient static analysis of XML paths and types.https://doi.org/10.1145/1250734.1250773, , :
Efficient static analysis of XML paths and types. PLDI : 342-351]]>https://dblp.org/rec/conf/pldi/GenevesLS07Mon, 01 Jan 2007 00:00:00 +0100 Dream types: a domain specific type system for component-based message-oriented middleware.https://doi.org/10.1145/1118537.1123061, , , , :
Dream types: a domain specific type system for component-based message-oriented middleware. ACM SIGSOFT Softw. Eng. Notes 31(2) ()]]>https://dblp.org/rec/journals/sigsoft/BidingerLQSS06Sun, 01 Jan 2006 00:00:00 +0100 XTATIC.https://dblp.org/pid/36/5932.html, , , :
XTATIC. PLAN-X : 88]]>https://dblp.org/rec/conf/planX/GapayevLPS06Sun, 01 Jan 2006 00:00:00 +0100 Agreeing to Agree: Conflict Resolution for Optimistically Replicated Data.https://doi.org/10.1007/11864219_19, , , , :
Agreeing to Agree: Conflict Resolution for Optimistically Replicated Data. DISC : 269-283]]>https://dblp.org/rec/conf/wdag/GreenwaldKKPS06Sun, 01 Jan 2006 00:00:00 +0100 XML Goes Native: Run-Time Representations for Xtatic.https://doi.org/10.1007/978-3-540-31985-6_4, , , :
XML Goes Native: Run-Time Representations for Xtatic. CC : 43-58]]>https://dblp.org/rec/conf/cc/GapeyevLPS05Sat, 01 Jan 2005 00:00:00 +0100 Exploiting Schemas in Data Synchronization.https://doi.org/10.1007/11601524_3, , , , :
Exploiting Schemas in Data Synchronization. DBPL : 42-57]]>https://dblp.org/rec/conf/dbpl/FosterGKPS05Sat, 01 Jan 2005 00:00:00 +0100 An Abstract Machine for the Kell Calculus.https://doi.org/10.1007/11494881_3, , :
An Abstract Machine for the Kell Calculus. FMOODS : 31-46]]>https://dblp.org/rec/conf/fmoods/BidingerSS05Sat, 01 Jan 2005 00:00:00 +0100 Component-Oriented Programming with Sharing: Containment is Not Ownership.https://doi.org/10.1007/11561347_26, , , , :
Component-Oriented Programming with Sharing: Containment is Not Ownership. GPCE : 389-404]]>https://dblp.org/rec/conf/gpce/HirschkoffHPSS05Sat, 01 Jan 2005 00:00:00 +0100 Combinators for bi-directional tree transformations: a linguistic approach to the view update problem.https://doi.org/10.1145/1040305.1040325, , , , :
Combinators for bi-directional tree transformations: a linguistic approach to the view update problem. POPL : 233-246]]>https://dblp.org/rec/conf/popl/FosterGMPS05Sat, 01 Jan 2005 00:00:00 +0100 Dream types: a domain specific type system for component-based message-oriented middleware.https://doi.org/10.1145/1123058.1123061, , , , :
Dream types: a domain specific type system for component-based message-oriented middleware. SAVCBS@ESEC/FSE : 2]]>https://dblp.org/rec/conf/sigsoft/BidingerLQSS05Sat, 01 Jan 2005 00:00:00 +0100 The Kell Calculus: A Family of Higher-Order Distributed Process Calculi.https://doi.org/10.1007/978-3-540-31794-4_9, :
The Kell Calculus: A Family of Higher-Order Distributed Process Calculi. Global Computing : 146-178]]>https://dblp.org/rec/conf/gc/SchmittS04Thu, 01 Jan 2004 00:00:00 +0100 A component-based approach to distributed system management: a use case with self-manageable J2EE clusters.https://doi.org/10.1145/1133572.1133574, , , , , :
A component-based approach to distributed system management: a use case with self-manageable J2EE clusters. ACM SIGOPS European Workshop : 26]]>https://dblp.org/rec/conf/sigopsE/BouchenakBCJSS04Thu, 01 Jan 2004 00:00:00 +0100 The m-calculus: a higher-order distributed process calculus.https://doi.org/10.1145/604131.604136, :
The m-calculus: a higher-order distributed process calculus. POPL : 50-61]]>https://dblp.org/rec/conf/popl/SchmittS03Wed, 01 Jan 2003 00:00:00 +0100 JoCaml: A Language for Concurrent Distributed and Mobile Programming.https://doi.org/10.1007/978-3-540-44833-4_5, , , :
JoCaml: A Language for Concurrent Distributed and Mobile Programming. Advanced Functional Programming : 129-158]]>https://dblp.org/rec/conf/afp/FournetFMS02Tue, 01 Jan 2002 00:00:00 +0100 Safe Dynamic Binding in the Join Calculus.https://doi.org/10.1007/978-0-387-35608-2_46:
Safe Dynamic Binding in the Join Calculus. IFIP TCS : 563-575]]>https://dblp.org/rec/conf/ifipTCS/Schmitt02Tue, 01 Jan 2002 00:00:00 +0100 An Asynchronous, Distributed Implementation of Mobile Ambients.https://doi.org/10.1007/3-540-44929-9_26, , :
An Asynchronous, Distributed Implementation of Mobile Ambients. IFIP TCS : 348-364]]>https://dblp.org/rec/conf/ifipTCS/FournetLS00Sat, 01 Jan 2000 00:00:00 +0100