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