On the logical foundations of staged computation (Invited talk)

被引：0
|
作者：
Pfenning, F [1 ]
机构：
[1] Carnegie Mellon Univ, Dept Comp Sci, Pittsburgh, PA 15213 USA
来源：
ACM SIGPLAN NOTICES | 1999年 / 34卷 / 11期
关键词：
D O I：
10.1145/328691.328696
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：33 / 33
页数：1
相关论文
共 50 条
  • [1] Reasoning about staged computation - Abstract of invited talk
    Pfenning, F
    SEMANTICS, APPLICATIONS AND IMPLEMENTATION OF PROGRAM GENERATION, PROCEEDINGS, 2000, 1924 : 5 - 6
  • [2] A Linear Logical Framework in Hybrid (Invited Talk)
    Felty, Amy P.
    PROCEEDINGS OF THE 8TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS (CPP' 19), 2019, : 14 - 14
  • [3] A LOGICAL PARADIGM FOR SYSTEMS BIOLOGY (INVITED TALK)
    Fages, Francois
    TECHNICAL COMMUNICATIONS OF THE 26TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING (ICLP'10), 2010, 7 : 2 - 3
  • [4] Towards logical foundations for probabilistic computation
    Antonelli, Melissa
    Dal Lago, Ugo
    Pistone, Paolo
    ANNALS OF PURE AND APPLIED LOGIC, 2024, 175 (09)
  • [5] Towards Soft Exact Computation (Invited Talk)
    Yap, Chee
    COMPUTER ALGEBRA IN SCIENTIFIC COMPUTING (CASC 2019), 2019, 11661 : 12 - 36
  • [6] Invited Talk: Embedding Classical into Quantum Computation
    Jozsa, Richard
    MATHEMATICAL METHODS IN COMPUTER SCIENCE, 2008, 5393 : 43 - 49
  • [7] The Complexity of Information Theoretic Secure Computation (INVITED TALK)
    Ishai, Yuval
    2012 IEEE INFORMATION THEORY WORKSHOP (ITW), 2012, : 80 - 80
  • [8] Interdisciplinary Foundations for Open Cyber-Physical Systems (Invited Talk)
    Abdelzaher, Tarek
    FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, 2010, 6246 : 1 - 1
  • [9] Formalizing the Metatheory of Logical Calculi and Automatic Provers in Isabelle/HOL (Invited Talk)
    Blanchette, Jasmin Christian
    PROCEEDINGS OF THE 8TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS (CPP' 19), 2019, : 1 - 13
  • [10] Staged Computation with Staged Lexical Scope
    Rhiger, Morten
    PROGRAMMING LANGUAGES AND SYSTEMS, 2012, 7211 : 559 - 578
12345