A compiler for MSVL and its applications

DOI10.1016/J.TCS.2017.07.032zbMATH Open1407.68096OpenAlexW2742794271WikidataQ121774302 ScholiaQ121774302MaRDI QIDQ1630985FDOQ1630985

Authors: Kai Yang, Zhenhua Duan, Cong Tian, Nan Zhang 

Publication date: 5 December 2018

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2017.07.032

Recommendations

• scientific article
• A compiler for an algebraic specification language
• A Compiler for an Array and Vector Processing Language
• A practical approach to compiler construction
• scientific article; zbMATH DE number 192911
• scientific article; zbMATH DE number 49476
• An action compiler targeting standard ML

zbMATH Keywords

verificationmodel checkingAI planningcompilerMSVL

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Theory of compilers and interpreters (68N20) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Title not available (Why is that?)
• Static Analysis
• Title not available (Why is that?)
• TALplanner: A temporal logic based forward chaining planner
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Linear temporal logic as an executable semantics for planning languages
• Title not available (Why is that?)
• Tools and Algorithms for the Construction and Analysis of Systems
• A mechanism of function calls in MSVL
• A cylinder computation model for many-core parallel computing
• A decision procedure for propositional projection temporal logic with infinite models
• Using temporal logics to express search control knowledge for planning
• Title not available (Why is that?)
• Fairness modulo theory: a new approach to LTL software model checking

Cited In (8)

• Translating Xd-C programs to MSVL programs
• Title not available (Why is that?)
• Generating Java code pairing with ChatGPT
• A mechanism of function calls in MSVL
• A novel approach to verifying context free properties of programs
• A temporal logic programming approach to planning
• Efficient decision procedure for propositional projection temporal logic
• Verifying a scheduling protocol of safety-critical systems

Uses Software

• BLAST
• SPIN
• NuSMV
• LLVM
• CBMC
• JPAX
• RiTHM
• SHOP2

This page was built for publication: A compiler for MSVL and its applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1630985)