Find link

language:

Find link is a tool written by Edward Betts.

searching for Formal Aspects of Computing 36 found (71 total)

alternate case: formal Aspects of Computing

He Jifeng (701 words) [view diff] case mismatch in snippet view article find links to article

University Department of Computer Science). He worked extensively on formal aspects of computing science. In particular, he worked with Prof. Sir Tony Hoare,

David Park (computer scientist) (176 words) [view diff] exact match in snippet view article

(March 1990). "Obituary: Professor David Michael Ritchie Park". Formal Aspects of Computing. 2 (1). London: Springer: 299–300. doi:10.1007/BF01888230. ISSN 0934-5043

Michel Sintzoff (213 words) [view diff] exact match in snippet view article find links to article

Humble Humorous Researcher: A Tribute to Michel Sintzoff" (PDF). Formal Aspects of Computing. 23 (3): 239–242. Jeuring, Johan; Meertens, Lambert; Guttmann

Nominal techniques (114 words) [view diff] exact match in snippet view article find links to article

"A NEW approach to abstract syntax with variable binders". Formal Aspects of Computing. 13 (3–5): 341–363. CiteSeerX 10.1.1.7.4261. doi:10.1007/s001650200016

Nuenen, Gerwen en Nederwetten (662 words) [view diff] exact match in snippet view article find links to article

Edsger Wybe Dijkstra (1930–2002): A Portrait of a Genius" (PDF). Formal Aspects of Computing (2002) 14: 92–98. Archived (PDF) from the original on 2006-09-02

Formal Methods Europe (290 words) [view diff] exact match in snippet view article find links to article

industry days at the FM conferences organized by FME. BCS-FACS Formal Aspects of Computing Science Specialist Group Formal methods Anthony Hall, founding

Institution (computer science) (1,110 words) [view diff] exact match in snippet view article

274–307 J. A. Goguen; G. Rosu (2002), "Institution morphisms", Formal Aspects of Computing, 13 (3–5): 274–307, doi:10.1007/s001650200013, S2CID 5687318

Compiler correctness (1,088 words) [view diff] exact match in snippet view article find links to article

Semantics Directed Generation of Compilers and Abstract Machines,Formal Aspects of Computing, Vol. 12 (2), Springer Verlag, 2000. doi:10.1007/PL00003929 Pnueli

Invariant-based programming (266 words) [view diff] exact match in snippet view article find links to article

Invariant Based Programming: Basic approach and Teaching Experience, Formal Aspects of Computing, 14 February 2008, ISSN 0934-5043 (Print) 1433-299X (Online)

Probabilistic CTL (779 words) [view diff] case mismatch in snippet view article find links to article

Temporal logic Hansson, Hans, and Bengt Jonsson. "A logic for reasoning about time and reliability." Formal aspects of computing 6.5 (1994): 512-535.

Marie-Claude Gaudel (557 words) [view diff] exact match in snippet view article find links to article

edits for the journals The Science of Computer Programming and Formal Aspects of Computing and continues to be active in the scientific community. Doctor

Jonathan Bowen (1,351 words) [view diff] exact match in snippet view article find links to article

Chair of the British Computer Society FACS Specialist Group on Formal Aspects of Computing Science. From 2005, Bowen was an Associate Editor-in-Chief of

Hans-Jörg Kreowski (889 words) [view diff] exact match in snippet view article find links to article

(1999). "Graph Transformation Units with Interleaving Semantics". Formal Aspects of Computing. 11 (6): 690–723. CiteSeerX 10.1.1.57.1385. doi:10.1007/s001659970005

Jean-Raymond Abrial (559 words) [view diff] exact match in snippet view article find links to article

Abrial and Cliff Jones" (PDF). FACS FACTS (Magazine article). Formal Aspects of Computing Science (FACS) Specialist Group. p. 32. ISSN 0950-1231. Archived

Joe Stoy (246 words) [view diff] exact match in snippet view article find links to article

speaking on Christopher Strachey during a British Computer Society Formal Aspects of Computing Science (BCS-FACS) evening seminar, London office, 15 November

Jawed Siddiqi (491 words) [view diff] exact match in snippet view article find links to article

requirements engineering. Siddiqi has been involved with the BCS Formal Aspects of Computing Science (FACS) Specialist Group for many years. Currently he

Jan L. A. van de Snepscheut (488 words) [view diff] exact match in snippet view article find links to article

Dijkstra, Edsger W. (May 1994). "Jan L. A. van de Snepscheut". Formal Aspects of Computing. 6 (3): 247–249. doi:10.1007/BF01215406. Retrieved 11 July 2024

Deaths in September 1990 (3,477 words) [view diff] exact match in snippet view article find links to article

(March 1990). "Obituary: Professor David Michael Ritchie Park". Formal Aspects of Computing. 2 (1). London: Springer: 299–300. doi:10.1007/BF01888230. ISSN 0934-5043

Model-based testing (1,875 words) [view diff] exact match in snippet view article find links to article

; Wolff, Burkhart (2012). "On Theorem Prover-based Testing". Formal Aspects of Computing. 25 (5): 683–721. CiteSeerX 10.1.1.208.3135. doi:10.1007/s00165-012-0222-y

Hypercomputation (3,369 words) [view diff] exact match in snippet view article find links to article

"X-machines and the halting problem: Building a super-Turing machine". Formal Aspects of Computing. 2 (1): 331–341. doi:10.1007/BF01888233. S2CID 7406983. Stannett

Tony Hoare (2,222 words) [view diff] exact match in snippet view article find links to article

(ed.). "Tony Hoare @ 90" (PDF). FACS FACTS (Magazine article). Formal Aspects of Computing Science (FACS) Specialist Group. pp. 5–42. ISSN 0950-1231. Archived

Hanne Riis Nielson (371 words) [view diff] exact match in snippet view article find links to article

Greg (June 2022), "Review of Formal Methods: An Appetizer", Formal Aspects of Computing, 34 (2): 1–2, doi:10.1145/3545181 Hanne Riis Nielson publications

Structured derivations (837 words) [view diff] case mismatch in snippet view article find links to article

derivations: a unified proof style for teaching mathematics. Formal aspects of computing, vol. 22, n. 5, 2010, pp. 629–661. Mia Peltomäki and Ralph-Johan

Unbounded nondeterminism (2,718 words) [view diff] exact match in snippet view article find links to article

"Action Systems, Unbounded Nondeterminism, and Infinite Traces". Formal Aspects of Computing. 7 (1): 37–53. doi:10.1007/BF01214622. S2CID 2135743. Sudkamp

Hoare logic (3,667 words) [view diff] exact match in snippet view article find links to article

Ernst-Rüdiger (December 2019). "Fifty years of Hoare's logic". Formal Aspects of Computing. 31 (6): 759. doi:10.1007/s00165-019-00501-3. S2CID 102351597

X-machine (2,547 words) [view diff] exact match in snippet view article find links to article

'X-machines and the Halting Problem: Building a super-Turing machine'. Formal Aspects of Computing 2, pp. 331-41. B. J. Copeland (2002) 'Hypercomputation'. Minds

Edsger W. Dijkstra (5,162 words) [view diff] exact match in snippet view article find links to article

"Edsger Wybe Dijkstra (1930 - 2002): A portrait of a genius". Formal Aspects of Computing. 14 (2): 92–98. arXiv:cs/0210001. doi:10.1007/s001650200029.

Geometric constraint solving (1,290 words) [view diff] exact match in snippet view article find links to article

formalization of geometric constraint systems and their decomposition". Formal Aspects of Computing. 22 (2): 129–151. doi:10.1007/s00165-009-0117-8. S2CID 16959899

List of acronyms: F (3,311 words) [view diff] exact match in snippet view article find links to article

Physicians FACS (i) Fellow of the American College of Surgeons (a) Formal Aspects of Computing Science Fluorescent-activated cell sorting FACTS – (a) Flexible

Interference freedom (5,613 words) [view diff] exact match in snippet view article find links to article

Rely-Guarantee method for verifying shared variable concurrent programs". Formal Aspects of Computing. 9 (2): 149–174. doi:10.1007/BF01211617. S2CID 12148448. O'Hearn

British Colloquium for Theoretical Computer Science (1,151 words) [view diff] exact match in snippet view article find links to article

Alasdair Lambert Fredrik Nordvall Forsberg, and Sean Watters) Formal Aspects of Computing Science, a British Computer Society Specialist Group. The British

Bunched logic (2,830 words) [view diff] exact match in snippet view article find links to article

(2006). "A Calculus and logic of resources and processes" (PDF). Formal Aspects of Computing. 8 (4): 495–517. doi:10.1007/s00165-006-0018-z. S2CID 16623194

Prolog (8,098 words) [view diff] exact match in snippet view article find links to article

about Prolog programs: From modes through types to assertions". Formal Aspects of Computing. 6 (S1): 743. CiteSeerX 10.1.1.57.395. doi:10.1007/BF01213601

Eiffel (programming language) (6,083 words) [view diff] exact match in snippet view article

"Cameo: An Alternative Model of Concurrency for Eiffel" (PDF). Formal Aspects of Computing. 21 (4). Springer: 363–391. doi:10.1007/s00165-008-0096-1. S2CID 18336088

Deaths in December 2012 (12,278 words) [view diff] exact match in snippet view article find links to article

Troubitsyna, Elena; Waldén, Marina (2014), "Kaisa Sere: In Memoriam", Formal Aspects of Computing, 26 (2): 197–201, doi:10.1007/s00165-013-0292-5 Ex-Dundee United

Khatri–Rao product (4,395 words) [view diff] exact match in snippet view article find links to article

Macedo and J.N. Oliveira. A linear algebra approach to OLAP. Formal Aspects of Computing, 27(2):283–307, 2015. Lev-Ari, Hanoch (2005-01-01). "Efficient