default search action

combined dblp search
author search
venue search
publication search

ask others

Elsa L. Gunter

> Home > Persons

Person information

affiliation: University of Illinois, Urbana-Champaign, IL, USA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2021
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/LiG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/LiG21
Liyi Li, Elsa L. Gunter:
A Complete Semantics of $\mathbb {K}$ and Its Translation to Isabelle. ICTAC 2021: 152-171
2020
[c50]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ecoop/LiG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/LiG19
Liyi Li, Elsa L. Gunter:
K-LLVM: A Relatively Complete Semantics of LLVM IR. ECOOP 2020: 7:1-7:29
[c49]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/lsfa/ManskyG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lsfa/ManskyG20
Susannah Mansky, Elsa L. Gunter:
Safety of a Smart Classes-Used Regression Test Selection Algorithm. LSFA 2020: 51-73
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/LiG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/LiG20
Liyi Li, Elsa L. Gunter:
Per-Location Simulation. NFM 2020: 267-287

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/ManskyG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/ManskyG19
Susannah Mansky, Elsa L. Gunter:
Dynamic class initialization semantics: a jinja extension. CPP 2019: 209-221
2018
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/LiG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/LiG18
Liyi Li, Elsa L. Gunter:
IsaK-Static: A Complete Static Semantics of \mathbb K. FACS 2018: 196-215
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/NipGHM018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/NipGHM018
Terence Nip, Elsa L. Gunter, Geoffrey L. Herman, Jason W. Morphew, Matthew West:
Using a Computer-based Testing Facility to Improve Student Learning in a Programming Languages and Compilers Course. SIGCSE 2018: 568-573
2017
[c44]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1802-06493
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1802-06493
Liyi Li, Elsa L. Gunter:
A Method to Translate Order-Sorted Algebras to Many-Sorted Algebras. WPTE@FSCD 2017: 20-34
2016
[j11]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/ManskyGGA16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ManskyGGA16
William Mansky, Elsa L. Gunter, Dennis Griffith, Michael D. Adams:
Specifying and executing optimizations for generalized control flow graphs. Sci. Comput. Program. 130: 2-23 (2016)
2014
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/LiGM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/LiGM14
Liyi Li, Elsa L. Gunter, William Mansky:
Symbolic Analysis Tools for CSP. ICTAC 2014: 295-313
[c42]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/rta/ManskyG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/ManskyG14
William Mansky, Elsa L. Gunter:
Verifying Optimizations for Concurrent Programs. WPTE@RTA/TLCA 2014: 15-26
[c41]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/ManskyGG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ManskyGG14
William Mansky, Dennis Griffith, Elsa L. Gunter:
Specifying and Executing Optimizations for Parallel Programs. GRAPHITE 2014: 58-70
2013
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/GriffithG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/GriffithG13
Dennis Griffith, Elsa L. Gunter:
LiquidPi: Inferrable Dependent Session Types. NASA Formal Methods 2013: 185-197
2012
[c39]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/atacss/YasmeenFGG12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atacss/YasmeenFGG12
Ayesha Yasmeen, Karen M. Feigh, Gabriel Gelman, Elsa L. Gunter:
Formal analysis of safety-critical system simulations. ATACCS 2012: 71-81
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/itp/ManskyG12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/ManskyG12
William Mansky, Elsa L. Gunter:
Using Locales to Define a Rely-Guarantee Temporal Logic. ITP 2012: 299-314
2011
[j10]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/BassFGR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/BassFGR11
Ellen J. Bass, Karen M. Feigh, Elsa L. Gunter, John M. Rushby:
Formal Modeling and Analysis for Interactive Hybrid Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 45 (2011)
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/PopescuG11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/PopescuG11
Andrei Popescu, Elsa L. Gunter:
Recursion principles for syntax with bindings and substitution. ICFP 2011: 346-358
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/YasmeenG11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/YasmeenG11
Ayesha Yasmeen, Elsa L. Gunter:
Automated framework for formal operator task analysis. ISSTA 2011: 78-88
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/smc/YasmeenG11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smc/YasmeenG11
Ayesha Yasmeen, Elsa L. Gunter:
Robustness for protection envelopes with respect to human task variation. SMC 2011: 1809-1816
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/smc/BassBFGGMR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smc/BassBFGGMR11
Ellen J. Bass, Matthew L. Bolton, Karen M. Feigh, Dennis Griffith, Elsa L. Gunter, William Mansky, John M. Rushby:
Toward a multi-method approach to formalizing human-automation interaction and human-human communications. SMC 2011: 1817-1824
2010
[c33]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/PopescuG10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/PopescuG10
Andrei Popescu, Elsa L. Gunter:
Incremental Pattern-Based Coinduction for Process Algebra and Its Isabelle Formalization. FoSSaCS 2010: 109-127
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/itp/ManskyG10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/ManskyG10
William Mansky, Elsa L. Gunter:
A Framework for Formal Verification of Compiler Optimizations. ITP 2010: 371-386
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/PopescuGO10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/PopescuGO10
Andrei Popescu, Elsa L. Gunter, Christopher J. Osborn:
Strong Normalization for System F by HOAS on Top of FOAS. LICS 2010: 31-40

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/hicss/GunterYGN09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hicss/GunterYGN09
Elsa L. Gunter, Ayesha Yasmeen, Carl A. Gunter, Anh Nguyen:
Specifying and Analyzing Workflows for Automated Identification and Data Capture. HICSS 2009: 1-11
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/lfmtp/GunterOP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfmtp/GunterOP09
Elsa L. Gunter, Christopher J. Osborn, Andrei Popescu:
Theory support for weak higher order abstract syntax in Isabelle/HOL. LFMTP 2009: 12-20
2008
[j9]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/CompagnoniGB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/CompagnoniGB08
Adriana B. Compagnoni, Elsa L. Gunter, Philippe Bidinger:
Role-based access control for boxed ambients. Theor. Comput. Sci. 398(1-3): 203-216 (2008)
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/ifip1-7/GunterY08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip1-7/GunterY08
Elsa L. Gunter, Ayesha Yasmeen:
Secure Broadcast Ambients. Formal Aspects in Security and Trust 2008: 257-271
2007
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/rtss/CrenshawGRSK07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtss/CrenshawGRSK07
Tanya L. Crenshaw, Elsa L. Gunter, Craig L. Robinson, Lui Sha, P. R. Kumar:
The Simplex Reference Model: Limiting Fault-Propagation Due to Unreliable Components in Cyber-Physical System Architectures. RTSS 2007: 400-412
2006
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/smc/WangSLZOACGGHKS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smc/WangSLZOACGGHKS06
Qixin Wang, Wook Shin, Xue Liu, Zheng Zeng, Cham Oh, Bedoor K. AlShebli, Marco Caccamo, Carl A. Gunter, Elsa L. Gunter, Jennifer C. Hou, Karrie Karahalios, Lui Sha:
I-Living: An Open System Architecture for Assisted Living. SMC 2006: 4268-4275
2005
[j8]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/GunterP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/GunterP05
Elsa L. Gunter, Doron A. Peled:
Model checking, testing and verification working together. Formal Aspects Comput. 17(2): 201-221 (2005)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/BonelliCG05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/BonelliCG05
Eduardo Bonelli, Adriana B. Compagnoni, Elsa L. Gunter:
Correspondence assertions for process synchronization in concurrent communications. J. Funct. Program. 15(2): 219-247 (2005)
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/CompagnoniG05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/CompagnoniG05
Adriana B. Compagnoni, Elsa L. Gunter:
Types for Security in a Mobile World. TGC 2005: 75-97
2004
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/AlurAGLLNPAZ04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/AlurAGLLNPAZ04
Rajeev Alur, David Arney, Elsa L. Gunter, Insup Lee, Jaime Lee, Wonhong Nam, Frederick Pearce, Stephen Van Albert, Jiaxiang Zhou:
Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System. Int. J. Softw. Tools Technol. Transf. 5(4): 308-319 (2004)
[c24]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BonelliCG05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BonelliCG05
Eduardo Bonelli, Adriana B. Compagnoni, Elsa L. Gunter:
Typechecking Safe Process Synchronization. FGUC 2004: 3-22
2003
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/GunterMP03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/GunterMP03
Elsa L. Gunter, Anca Muscholl, Doron A. Peled:
Compositional message sequence charts. Int. J. Softw. Tools Technol. Transf. 5(1): 78-89 (2003)
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/GunterP03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/GunterP03
Elsa L. Gunter, Doron A. Peled:
Unit Checking: Symbolic Model Checking for a Unit of Code. Verification: Theory and Practice 2003: 548-567
[c22]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BonelliCG04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BonelliCG04
Eduardo Bonelli, Adriana B. Compagnoni, Elsa L. Gunter:
Correspondence Assertions for Process Synchronization in Concurrent Communications. FOCLASA 2003: 175-195
2002
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/GunterP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/GunterP02
Elsa L. Gunter, Doron A. Peled:
Temporal Debugging for Concurrent Systems. TACAS 2002: 431-444
[c20]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/GunterP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GunterP02
Elsa L. Gunter, Doron A. Peled:
Tracing the executions of concurrent programs. RV@FLoC 2002: 128-141
2001
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/GunterMP01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/GunterMP01
Elsa L. Gunter, Anca Muscholl, Doron A. Peled:
Compositional Message Sequence Charts. TACAS 2001: 496-511
2000
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/GunterGZ00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/GunterGZ00
Carl A. Gunter, Elsa L. Gunter, Pamela Zave:
Formal software engineering. ACM SIGSOFT Softw. Eng. Notes 25(1): 54 (2000)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/software/GunterGJZ00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/software/GunterGJZ00
Carl A. Gunter, Elsa L. Gunter, Michael Jackson, Pamela Zave:
A Reference Model for Requirements and Specifications. IEEE Softw. 17(3): 37-43 (2000)
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/GunterKP00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/GunterKP00
Elsa L. Gunter, Robert P. Kurshan, Doron A. Peled:
PET: An Interactive Software Testing Tool. CAV 2000: 552-556
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/icre/GunterGJZ00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icre/GunterGJZ00
Carl A. Gunter, Elsa L. Gunter, Michael Jackson, Pamela Zave:
A Reference Model for Requirements and Specifications-Extended Abstract. ICRE 2000: 189
[c16]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pdpta/GunterP00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdpta/GunterP00
Elsa L. Gunter, Doron A. Peled:
Using a Mix of Languages in Formal Methods: The PET System. PDPTA 2000

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/GunterP99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/GunterP99
Elsa L. Gunter, Doron A. Peled:
Path Exploration Tool. TACAS 1999: 405-419
1998
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/tphol/BhargavanGGJOZ98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/BhargavanGGJOZ98
Karthikeyan Bhargavan, Carl A. Gunter, Elsa L. Gunter, Michael Jackson, Davor Obradovic, Pamela Zave:
The Village Telephone System: A Case Study in Formal Software Engineering. TPHOLs 1998: 49-66
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/tphol/Gunter98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/Gunter98
Elsa L. Gunter:
Adding External Decision Procedures to HOL90 Securely. TPHOLs 1998: 143-152
1997
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/tphol/1997
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/1997
Elsa L. Gunter, Amy P. Felty:
Theorem Proving in Higher Order Logics, 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings. Lecture Notes in Computer Science 1275, Springer 1997, ISBN 3-540-63379-0 [contents]
1995
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/cj/GunterM95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cj/GunterM95
Elsa L. Gunter, Savi Maharaj:
Studying the ML Module System in HOL. Comput. J. 38(2): 142-151 (1995)
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/tphol/GunterL95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/GunterL95
Elsa L. Gunter, Leonid Libkin:
Interfacing HOL90 with a Functional Database Query Language. TPHOLs 1995: 170-185
1994
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/dexa/GunterL94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dexa/GunterL94
Elsa L. Gunter, Leonid Libkin:
OR-SML: A Functional Database Programming Language for Disjunctive Information and Its Applications. DEXA 1994: 641-650
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/tphol/MaharajG94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/MaharajG94
Savi Maharaj, Elsa L. Gunter:
Studying the ML Module System in Hol. TPHOLs 1994: 346-361
1993
[j1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/GunterGM93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/GunterGM93
Carl A. Gunter, Elsa L. Gunter, David B. MacQueen:
Computing ML Equality Kinds Using Abstract Interpretation. Inf. Comput. 107(2): 303-323 (1993)
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/tphol/InwegenG93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/InwegenG93
Myra Van Inwegen, Elsa L. Gunter:
HOL-ML. HUG 1993: 61-74
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/tphol/Gunter93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/Gunter93
Elsa L. Gunter:
A Broader Class of Trees for Recursive Type Definitions for HOL. HUG 1993: 141-154
1992
[c7]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/tphol/Gunter92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/Gunter92
Elsa L. Gunter:
Why we can't have SML-style datatype Declarations in HOL. TPHOLs 1992: 561-568
1991
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/tacs/GunterGM91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacs/GunterGM91
Carl A. Gunter, Elsa L. Gunter, David B. MacQueen:
An Abstract Interpretation for ML Equality Kinds. TACS 1991: 112-130
[c5]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/tphol/GerberGL91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/GerberGL91
Richard Gerber, Elsa L. Gunter, Insup Lee:
Implementing a Real-Time Process Algebra in HOL. TPHOLs 1991: 144-154
1990
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/FeltyGMP90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/FeltyGMP90
Amy P. Felty, Elsa L. Gunter, Dale Miller, Frank Pfenning:
Tutorial on Lambda-Prolog. CADE 1990: 682

1980 – 1989

see FAQ

What is the meaning of the colors in the publication lists?

1989
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/elp/Gunter89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/elp/Gunter89
Elsa L. Gunter:
Extensions to Logic Programming Motivated by the Construction of a Generic Theorem Prover. ELP 1989: 223-244
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/mfps/Gunter89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfps/Gunter89
Elsa L. Gunter:
Pseudo-Retract Functors for Local Lattices and Bifinite L-domains. Mathematical Foundations of Programming Semantics 1989: 351-363
1988
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/FeltyGHMNS88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/FeltyGHMNS88
Amy P. Felty, Elsa L. Gunter, John Hannan, Dale Miller, Gopalan Nadathur, Andre Scedrov:
Lambda-Prolog: An Extended Logic Programming Language. CADE 1988: 754-755

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.