Find link

language:

jump to random article

Find link is a tool written by Edward Betts.

searching for Journal of Logical and Algebraic Methods in Programming 6 found (11 total)

alternate case: journal of Logical and Algebraic Methods in Programming

Session type (876 words) [view diff] exact match in snippet view article find links to article

2018). "Multiparty session types, beyond duality". Journal of Logical and Algebraic Methods in Programming. 97: 55–84. doi:10.1016/j.jlamp.2018.01.001. hdl:10044/1/56777
List of model checking tools (1,176 words) [view diff] exact match in snippet view article find links to article
turntable system using Spin, CADP and Uppaal" (PDF). Journal of Logical and Algebraic Methods in Programming. 65 (2): 51–104. doi:10.1016/j.jlap.2005.05.001
Relation algebra (2,541 words) [view diff] exact match in snippet view article find links to article
programming language using the Ampersand compiler, Journal of Logical and Algebraic Methods in Programming, Volume 100, April 2018, Pages 113–129. (see also
Software design pattern (2,825 words) [view diff] exact match in snippet view article find links to article
session-based type system for Elixir modules". Journal of Logical and Algebraic Methods in Programming. 135. doi:10.1016/j.jlamp.2023.100891. S2CID 251442539
Reactive programming (3,431 words) [view diff] exact match in snippet view article find links to article
programming language using the Ampersand compiler", Journal of Logical and Algebraic Methods in Programming, vol. 100, pp. 113–29, doi:10.1016/j.jlamp.2018
Halting problem (7,195 words) [view diff] exact match in snippet view article find links to article
(June 2021). "The origins of the halting problem". Journal of Logical and Algebraic Methods in Programming. 121: 100687. doi:10.1016/j.jlamp.2021.100687.