Find link

language:

Find link is a tool written by Edward Betts.

Longer titles found: Denotational semantics of the Actor model (view)

searching for Denotational semantics 12 found (104 total)

Programming Computable Functions (883 words) [view diff] case mismatch in snippet view article find links to article

Ong, C.-H. L. (1995). "Correspondence between Operational and Denotational Semantics: The Full Abstraction Problem for PCF". In Abramsky, S.; Gabbay

Modal μ-calculus (1,816 words) [view diff] exact match in snippet view article find links to article

{\displaystyle \phi } in bound variable Z {\displaystyle Z} ; see the denotational semantics below for details. Models of (propositional) μ-calculus are given

Control logic (185 words) [view diff] case mismatch in snippet view article find links to article

Methods for Simulink Stateflow Models" (PDF). Hamon, G. (2005). A Denotational Semantics for Stateflow. International Conference on Embedded Software. Jersey

Quasi-quotation (1,272 words) [view diff] case mismatch in snippet view article find links to article

Today: 89. doi:10.1007/978-3-030-67396-3. ISSN 2947-9339. What are Denotational Semantics and what are they for?. Allyn and Bacon. 1986. Dowty, D., Wall,

Isbell duality (1,478 words) [view diff] exact match in snippet view article find links to article

1017/S0960129517000068, S2CID 2716529 Pratt, Vaughan (1996), "Broadening the denotational semantics of linear logic", Electronic Notes in Theoretical Computer Science

Knaster–Tarski theorem (2,426 words) [view diff] exact match in snippet view article find links to article

functions are used to define program semantics, see Least fixed point § Denotational semantics for an example. Often a more specialized version of the theorem

Janus (time-reversible computing programming language) (1,397 words) [view diff] exact match in snippet view article

the language semantics in the form of natural semantics and the denotational semantics. The semantics of purely reversible programming languages can also

Randomized algorithm (4,218 words) [view diff] case mismatch in snippet view article find links to article

Lambda Calculus (Markov Chain Semantics, Termination Behavior, and Denotational Semantics)." Springer, 2017. Jon Kleinberg and Éva Tardos. Algorithm Design

Fresh variable (604 words) [view diff] case mismatch in snippet view article find links to article

Univ. of Waterloo. Here: slide 13/26. Michael Färber (Feb 2023). Denotational Semantics and a Fast Interpreter for jq (Technical Report). Univ. of Innsbruck

Expression problem (1,863 words) [view diff] case mismatch in snippet view article find links to article

34: 94–104. doi:10.1145/291251.289432. Cook, William (1989). A Denotational Semantics of Inheritance (PDF) (PhD). Brown University. Flatt, Matthew; Krishnamurthi

Finite-state machine (4,528 words) [view diff] case mismatch in snippet view article find links to article

Models" (PDF). sri.com. Retrieved 2018-04-14. Hamon, G. (2005). A Denotational Semantics for Stateflow. International Conference on Embedded Software. Jersey

Information algebra (2,296 words) [view diff] exact match in snippet view article find links to article

Laboratory, Programming Research Group Scott, D.S. (1982), "Domains for denotational semantics", in M. Nielsen; E.M. Schmitt (eds.), Automata, Languages and Programming