Nested Abstract Syntax in Coq

Journal of Automated Reasoning - Netherlands
doi 10.1007/s10817-010-9207-9
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC

Related search

Abstract Syntax Notation X (ASN.X)

2007English

Primitive Recursion for Higher-Order Abstract Syntax

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1997English

Managing Process Model Complexity via Abstract Syntax Modifications

IEEE Transactions on Industrial Informatics
ControlSystems EngineeringInformation SystemsElectronic EngineeringComputer Science ApplicationsElectrical
2011English

Abstract Syntax in Sentence Production: Evidence From Stem-Exchange Errors

Journal of Memory and Language
LinguisticsNeuropsychologyLanguageCognitive PsychologyPhysiological PsychologyArtificial IntelligenceExperimental
2010English

ASNST: An Abstract Syntax Notation-One Support Tool

Computer Communications
Computer NetworksCommunications
1989English

Abstract-Syntax-Driven Development of Oberon-0 Using YAJCo

Journal of Information and Organizational Sciences
Computer Science ApplicationsInformation SystemsLibraryInformation Sciences
2019English

A Domain Specific Transformation Language to Bridge Concrete and Abstract Syntax

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Boxes Go Bananas: Encoding Higher-Order Abstract Syntax With Parametric Polymorphism

Journal of Functional Programming
Software
2007English

Robust XML Encoding Rules (RXER) for Abstract Syntax Notation One (ASN.1)

2007English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy