共 50 条
- [32] The formulate visual programming language - Representing structured data DR DOBBS JOURNAL, 1999, 24 (08): : 21 - +
- [34] STRUCTURED ALGEBRAIC SPECIFICATION OF BACKUS FUNCTIONAL PROGRAMMING LANGUAGE TSI-TECHNIQUE ET SCIENCE INFORMATIQUES, 1985, 4 (05): : 447 - 458
- [36] MALCROL 68 - MACRO LANGUAGE FOR STRUCTURED SYSTEMS PROGRAMMING ANGEWANDTE INFORMATIK, 1978, (12): : 524 - 525
- [37] STRUCTURED PROGRAMMING IN PROBLEM-ORIENTED PROGRAMMING LANGUAGE PL-1 ANGEWANDTE INFORMATIK, 1977, (02): : 51 - 57
- [38] SIMPLE AXIOMATIC BASIS FOR PROGRAMMING LANGUAGE CONSTRUCTS PROCEEDINGS OF THE KONINKLIJKE NEDERLANDSE AKADEMIE VAN WETENSCHAPPEN SERIES A-MATHEMATICAL SCIENCES, 1974, 77 (01): : 1 - 15
- [39] Categorical semantics of a simple differential programming language ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (333): : 289 - 310