共 50 条
- [1] An operating system in Java']Java for the Lego Mindstorms RCX microcontroller [J]. USENIX ASSOCIATION PROCEEDINGS OF THE FREENIX TRACK, 2000, : 235 - 248
- [2] Simulating LEGO Mindstorms Robots to Facilitate Teaching Computer Programming to School Students [J]. TOWARDS UBIQUITOUS LEARNING, EC-TEL 2011, 2011, 6964 : 196 - +
- [3] Java']Java bytecode verification [J]. JOURNAL OF AUTOMATED REASONING, 2003, 30 (3-4) : 233 - 233
- [5] A Java']Java Bytecode Formalisation [J]. VERIFIED SOFTWARE: THEORIES, TOOLS, AND EXPERIMENTS, (VSTTE 2018), 2018, 11294 : 135 - 154
- [6] Teaching Programming for High School Students Using the Lego Mindstorms Robot [J]. 2015 10TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), 2015,
- [7] On object initialization in the Java']Java bytecode [J]. COMPUTER COMMUNICATIONS, 2000, 23 (17) : 1594 - 1605
- [8] Modeling the Java']Java Bytecode Verifier [J]. SCIENCE OF COMPUTER PROGRAMMING, 2013, 78 (03) : 327 - 342
- [9] Dynamic semantics of Java']Java bytecode [J]. FUTURE GENERATION COMPUTER SYSTEMS, 2000, 16 (07) : 841 - 850
- [10] Termination analysis of Java']Java Bytecode [J]. FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS, PROCEEDINGS, 2008, 5051 : 2 - +