A compiler for MSVL and its applications
DOI10.1016/J.TCS.2017.07.032zbMATH Open1407.68096OpenAlexW2742794271WikidataQ121774302 ScholiaQ121774302MaRDI QIDQ1630985FDOQ1630985
Kai Yang, Cong Tian, Zhenhua Duan, 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
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?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Static Analysis
- 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
- 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
- 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
Recommendations
- A Compiler for an Array and Vector Processing Language 👍 👎
- A practical approach to compiler construction 👍 👎
- An action compiler targeting standard ML 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
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)
