DENOTATIONAL SEMANTICS
Experts
- Huibiao Zhu
- Jifeng He
- Peter D. Mosses
- Barrett R. Bryant
- Jonathan P. Bowen
- Jean E. Sammet
- Margaret M. Burnett
- Marjan Mernik
- Manfred Broy
- Niklaus Wirth
- Ronald A. Olsson
- Shriram Krishnamurthi
- Ralph E. Griswold
- Peter Selinger
- Federico Bergenti
- Rafael H. Bordini
- Rasmus Ejlers Møgelberg
- Jonathan Aldrich
- Kim B. Bruce
- Chang-Hyun Jo
- Gordon D. Plotkin
- Andreas Stefik
- James Noble
- Dale Miller
- Martin Wirsing
- Egon Börger
- Kathleen Fisher
- Robert Harper
- José Meseguer
- Neil D. Jones
- Robert Bruce Findler
- Wan J. Fokkink
- Albert R. Meyer
- Grigore Rosu
- Stefania Monica
- Laurie J. Hendren
- Christoph Beierle
- C. A. R. Hoare
- Catuscia Palamidessi
Venues
- CoRR
- ACM SIGPLAN Notices
- POPL
- SIGCSE
- Commun. ACM
- Theor. Comput. Sci.
- ESOP
- Electron. Notes Theor. Comput. Sci.
- Softw. Pract. Exp.
- APLAS
- PLDI
- Comput. J.
- Comput. Lang.
- ACM Conference on Computer Science
- Sci. Comput. Program.
- ACM Comput. Surv.
- J. Log. Algebraic Methods Program.
- ACM SIGCSE Bull.
- ACM Trans. Program. Lang. Syst.
- SAC
- IFIP Congress
- ASPLOS
- MFPS
- ACM Annual Conference
- Proc. ACM Program. Lang.
- Acta Informatica
- VL/HCC
- Computer
- LICS
- Inf. Comput.
- J. Funct. Program.
- MFCS
- OOPSLA
- J. ACM
- OOPSLA Companion
- IEEE Trans. Software Eng.
- ICLP
- Onward!
- VL
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend