OpenAlex | Executable component-based semantics

Executable component-based semantics

Work

Year: 2019

Type: article

Source: Journal of Logical and Algebraic Methods in Programming

Authors L. Thomas van Binsbergen, Peter D. Mosses, Neil Sculthorpe

Institutions Royal Holloway University of London, Delft University of Technology, Swansea University, Nottingham Trent University

Cites: 40

Cited by: 14

Related to: 10

FWCI: 1.689

Citation percentile (by year/subfield): 91.68

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funders Engineering and Physical Sciences Research Council, Engineering and Physical Sciences Research Council

Grant IDS EP/I032495/1, EP/I032509/1