共 50 条
- [43] Experiments with a High-Level Navigation Language THEORY AND PRACTICE OF MODEL TRANSFORMATIONS, 2009, 5563 : 229 - +
- [44] High-level parallel computing language OPTIMIZING SCIENTIFIC RETURN FOR ASTRONOMY THROUGH INFORMATION TECHNOLOGIES, 2004, 5493 : 530 - 537
- [45] On a High-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT, 2014, 8439 : 48 - 64
- [46] Efficient Translation Validation of High-Level Synthesis PROCEEDINGS OF THE FOURTEENTH INTERNATIONAL SYMPOSIUM ON QUALITY ELECTRONIC DESIGN (ISQED 2013), 2013, : 516 - 522
- [47] INCORPORATING TESTABILITY CONSIDERATIONS IN HIGH-LEVEL SYNTHESIS JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS, 1994, 5 (01): : 43 - 55
- [49] Tea: A High-level Language and Runtime System for Automating Statistical Analysis PROCEEDINGS OF THE 32ND ANNUAL ACM SYMPOSIUM ON USER INTERFACE SOFTWARE AND TECHNOLOGY (UIST 2019), 2019, : 591 - 603