BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
semant (51)
logic (15)
program (11)
languag (7)
function (6)

Stem denot$ (all stems)

68 papers:

ICFPICFP-2015-DannerLR #functional #induction #semantics
Denotational cost semantics for functional languages with inductive types (ND, DRL, R), pp. 140–151.
ICLPICLP-J-2015-AguadoCPPV #equilibrium #logic #semantics
A denotational semantics for equilibrium logic (FA, PC, DP, GP, CV), pp. 620–634.
LATALATA-2013-BalaK #ambiguity #automaton
Unambiguous Automata Denoting Finitely Sequential Functions (SB, AK), pp. 104–115.
POPLPOPL-2013-VytiniotisJCR #haskell #logic #named #semantics
HALO: haskell to logic through denotational semantics (DV, SLPJ, KC, DR), pp. 431–442.
SEFMSEFM-2012-ZhaoZZH #calculus
A Denotational Model for Instantaneous Signal Calculus (YZ, LZ, HZ, JH), pp. 126–140.
LATALATA-2009-Llull-ChavarriaV #complexity #semantics #word
An Application of Generalized Complexity Spaces to Denotational Semantics via the Domain of Words (JLC, OV), pp. 530–541.
FMFM-2009-GancarskiB #semantics
The Denotational Semantics of slotted-Circus (PG, AB), pp. 451–466.
ESOPESOP-2008-BouissouM #hybrid #semantics
A Hybrid Denotational Semantics for Hybrid Systems (OB, MM), pp. 63–77.
ESOPESOP-2007-CenciarelliKS #axiom #java #memory management
The Java Memory Model: Operationally, Denotationally, Axiomatically (PC, AK, ES), pp. 331–346.
LOPSTRLOPSTR-2007-BrasselC
Denotation by Transformation (BB, JC), pp. 90–105.
FoSSaCSFoSSaCS-2006-EdalatP #automaton #hybrid #semantics
Denotational Semantics of Hybrid Automata (AE, DP), pp. 231–245.
ESOPESOP-2005-ReusS #logic #semantics
Denotational Semantics for Abadi and Leino’s Logic of Objects (BR, JS), pp. 263–278.
ICLPICLP-2005-Santos #concurrent #logic #semantics #transaction #using
Denotational Semantics Using Horn Concurrent Transaction Logic (MVS), pp. 431–432.
FoSSaCSFoSSaCS-2004-FilinskiR #evaluation #normalisation
A Denotational Account of Untyped Normalization by Evaluation (AF, HKR), pp. 167–181.
CSLCSL-2004-Hyvernat #linear #logic
Predicate Transformers and Linear Logic: Yet Another Denotational Model (PH), pp. 115–129.
SCAMSCAM-2003-Favre #semantics
CPP Denotational Semantics (JMF), p. 22–?.
PADLPADL-2003-HillS #logic programming #source code
Logic Programs as Compact Denotations (PMH, FS), pp. 339–356.
CSLCSL-2003-Vermeulen #first-order #logic #semantics
More Computation Power for a Denotational Semantics for First Order Logic (KFMV), pp. 530–543.
WCREWCRE-2002-OuarbyaDDHF #interprocedural #slicing
A Denotational Interprocedural Program Slicer (LO, SD, MD, MH, CF), p. 181–?.
PPDPPPDP-2001-BoerGM #semantics
A Denotational Semantics for Timed Linda (FSdB, MG, MCM), pp. 28–36.
ICLPCL-2000-Apt #first-order #logic #semantics
A Denotational Semantics for First-Order Logic (KRA), pp. 53–69.
ICLPCL-2000-Maher #logic #semantics
A Denotational Semantics of Defeasible Logic (MJM), pp. 209–222.
DATEDATE-1999-BreuerMBFLK #reasoning #semantics #using
Reasoning about VHDL and VHDL-AMS using Denotational Semantics (PTB, NMM, JPB, RBF, MMLP, CDK), pp. 346–352.
DATEDATE-1998-Nicoli #behaviour #semantics #set
Denotational Semantics of a Behavioral Subset of VHDL (FN), pp. 975–976.
ICALPICALP-1998-PowerR #approach #composition #semantics
A Modular Approach to Denotational Semantics (JP, GR), pp. 351–362.
PPDPALP-PLILP-1998-Pitts #higher-order #semantics
Operational Versus Denotational Methods in the Semantics of Higher Order Languages (AMP), pp. 282–283.
ICLPJICSLP-1998-Gupta #logic
Horn Logic Denotations (GG), pp. 357–358.
SASSAS-1997-Zartmann #abstract interpretation #functional #logic programming #source code
Denotational Abstract Interpretation of Functional Logic Programs (FZ), pp. 141–159.
HCIHCI-SEC-1997-MatsubayashiTT #functional #specification #towards
Integrating System’s Functional Model and its Structional Model Toward Denotational Dialogue Specification (KM, YT, NT), pp. 63–66.
POPLPOPL-1997-WandS #semantics #using
Denotational Semantics Using an Operationally-Based Term Model (MW, GTS), pp. 386–399.
ESOPESOP-1996-LiangH #compilation #composition #semantics
Modular Denotational Semantics for Compiler Construction (SL, PH), pp. 219–234.
SACSAC-1996-WaillyB #data flow #functional #implementation #parallel #semantics #specification
Specification of a functional synchronous dataflow language for parallel implementations with the denotational semantics (GdW, FB), pp. 414–419.
LICSLICS-1996-Ong #category theory #proving #semantics
A Semantic View of Classical Proofs: Type-Theoretic, Categorical, and Denotational Characterizations (Preliminary Extended Abstract) (CHLO), pp. 230–241.
ESOPESOP-1994-PierroP #constraints #logic #logic programming #semantics
A Logical Denotational Semantics for Constraint Logic Programming (ADP, CP), pp. 195–210.
CCCC-1994-RingstromFP #compilation #generative #parallel #performance #specification
Generating an Efficient Compiler for a Data Parallel Language from a Denotational Specification (JR, PF, MP), pp. 248–262.
ICLPILPS-1993-McDonaldXEF #logic #on the #semantics
On the Denotational and Logical Semantics of CLP-Modules (BM, JX, ME, EF), p. 658.
CSLCSL-1991-Gonzalez-MorenoHR #declarative #functional #programming #semantics
Denotational Versus Declarative Semantics for Functional Programming (JCGM, MTHG, MRA), pp. 134–148.
LICSLICS-1990-DrosteG #formal method #programming language #semantics
Universal Domains in the Theory of Denotational Semantics of Programming Languages (MD, RG), pp. 19–34.
ICLPNACLP-1990-BonacinaH #semantics #source code
Operational and Denotational Semantics of Rewrite Programs (MPB, JH), pp. 449–464.
OOPSLAOOPSLA-1989-CookP #correctness #inheritance #semantics
A Denotational Semantics of Inheritance and its Correctness (WRC, JP), pp. 433–443.
PPDPALP-1988-Pasztor #logic #recursion #semantics #source code #standard
Nonstandard Logics of Recursive Programs and Denotational Semantics (AP), pp. 255–278.
POPLPOPL-1988-Kamin #inheritance
Inheritance in Smalltalk-80: A Denotational Definition (SNK), pp. 80–87.
LICSLICS-1988-DeganoNM #concurrent #consistency #on the #semantics
On the Consistency of “Truly Concurrent” Operational and Denotational Semantics (Extended Abstract) (PD, RDN, UM), pp. 133–141.
LICSLICS-1988-GerthCLS #concurrent #prolog #semantics
Fully Abstract Denotational Semantics for Flat Concurrent Prolog (RG, MC, YL, EYS), pp. 320–335.
PLDIPLDI-1987-Johnson #continuation #named
GL — a denotational testbed with continuations and partial continuations as first-class objects (GFJ), pp. 165–176.
FMVDME-1987-Blikle #syntax
Denotational Engineering or from Denotations to Syntax (AB), pp. 151–209.
POPLPOPL-1987-HuizingGR #abstraction #realtime #semantics
Full Abstraction of a Real-Time Denotational Semantics for an Occam-like Language (CH, RG, WPdR), pp. 223–237.
POPLPOPL-1987-Nielson #abstract interpretation #analysis #strict
Strictness Analysis and Denotational Abstract Interpretation (FN), pp. 120–131.
ESOPESOP-1986-Kok #nondeterminism #semantics
Denotational Semantics of Nets with Nondeterminism (JNK), pp. 237–249.
ESOPESOP-1986-NielsonN #aspect-oriented #metalanguage
Pragmatic Aspects of Two-Level Denotational Meta-Languages (HRN, FN), pp. 133–143.
LISPLFP-1986-LeeP #implementation #lisp #on the #semantics
On the Use of LISP in Implementing Denotational Semantics (PL, UFP), pp. 233–248.
LICSLICS-1986-Plaisted #nondeterminism #recursion #semantics #source code #using
The Denotional Semantics of Nondeterministic Recursive Programs using Coherent Relations (DAP), pp. 163–174.
POPLPOPL-1985-HalpernWWW #semantics
Denotational Semantics and Rewrite Rules for FP (JYH, JHW, ELW, TCW), pp. 108–120.
LISPLFP-1984-Clinger #compilation #semantics
The Scheme 311 Compiler: An Exercise in Denotational Semantics (WDC), p. 356–?.
ICLPSLP-1984-JonesM84 #development #prolog #semantics
Stepwise Development of Operational and Denotational Semantics for Prolog (NDJ, AM), pp. 281–288.
VLDBVLDB-1982-LouisP #calculus #relational #semantics
A Denotational Definition of the Semantics of DRC, A Domain Relational Calculus (GL, AP), pp. 348–356.
PLDISCC-1982-BodwinBKLP #compilation #experience #generative #semantics
Experience with an Experimental Compiler Generator Based on Denotational Semantics (JB, LB, KK, DL, UFP), pp. 216–229.
PLDISCC-1982-Raskovsky #code generation #semantics #specification
Denotational Semantics as a Specification of Code Generators (MRR), pp. 230–244.
STOCSTOC-1982-DeBakkerZ #concurrent #semantics
Denotational Semantics of Concurrency (JWdB, JIZ), pp. 153–158.
ICALPICALP-1982-Scott #semantics
Domains for Denotational Semantics (DSS), pp. 577–613.
POPLPOPL-1981-Polak #semantics #verification
Program Verification Based on Denotational Semantics (WP), pp. 149–158.
AdaTFDA-1980-BundgaardS #ada #semantics
A Denotational (Static) Semantics Method for Defining Ada Context Conditions (JB, LS), pp. 21–212.
CCSDCG-1980-Ganzinger #attribute grammar #semantics
Transforming denotational semantics into practical attribute grammars (HG), pp. 1–69.
CCSDCG-1980-JonesS #compilation #generative #semantics
Compiler generation from denotational semantics (NDJ, DAS), pp. 70–93.
CCSDCG-1980-RaskovskyC #implementation #semantics #standard
From standard to implementation denotational semantics (MRR, PAC), pp. 94–139.
SIGMODSIGMOD-1979-Vassiliou #approach #database #null #semantics
Null Values in Data Base Management: A Denotational Semantics Approach (YV), pp. 162–169.
FMVDM-1978-Jones78a #continuation #goto #semantics
Denotational Semantics of GOTO: An Exit Formulation and Its Relation to Continuations (CBJ), pp. 278–304.
POPLPOPL-1978-Kosinki #data flow #semantics #source code
A Straightforward Denotational Semantics for Non-Determinant Data Flow Programs (PRK), pp. 214–221.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.