Reasoning About Multi-Stage Programs

Journal of Functional Programming - United Kingdom
doi 10.1017/s0956796816000253
Full Text
Abstract

Available in full text

Categories
Software
Date
Authors
Publisher

Cambridge University Press (CUP)

Related search

Tutorial Notes: Reasoning About Logic Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1992English

Reasoning About Programs Using a Scientific Method

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Reasoning About Resource-Sensitive Multi-Agents

2011English

Reasoning About Object-Oriented Programs That Use Subtypes

1990English

Understanding of Heterogeneous Multi-Stage Meta-Programs

Information Technology and Control
ControlSystems EngineeringComputer Science ApplicationsElectricalElectronic Engineering
2012English

Equational Reasoning About Programs With General Recursion and Call-By-Value Semantics

2012English

An MDE Approach for Modelling and Reasoning About Multi-Agent Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

A Formal Framework for Reasoning About Opportunistic Propensity in Multi-Agent Systems

Autonomous Agents and Multi-Agent Systems
Artificial Intelligence
2019English

Reasoning About Justified Belief

2011English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy