Table of Contents

 1     Scope          
 2     References
 3     Definitions
        3.1     Terms defined elsewhere       
        3.2     Terms defined in this Recommendation           
 4     Abbreviations and acronyms             
 5     Conventions            
 6     Conceptual principles           
        6.1     The virtual machine as a central processing unit            
        6.2     Characteristics of the virtual machine
        6.3     Isolation of individual ECI Clients         
        6.4     Specifying the virtual machine              
        6.5     ECI Client loader         
 7     The virtual machine              
        7.1     Execution environment           
        7.2     Virtual machine architecture 
        7.3     Virtual machine instruction set             
 8     Interface between the ECI Client and the ECI Host   
        8.1     General principles      
        8.2     Error value    
        8.3     SYS_EXIT        
        8.4     SYS_PUTMSG
        8.5     SYS_GETMSG
        8.6     SYS_HEAPSIZE             
        8.7     SYS_STACKSIZE           
        8.8     SYS_SYNCCALL            
        8.9     SYS_CLIB        
 9     Bytecode lifecycle  
        9.1     Introduction 
        9.2     Loading a new ECI Client into the VM
        9.3     Initialization of the VM            
        9.4     The central run loop  
Annex A – VM system resources    
Annex B – Op codes for the VM    
Annex C – Standard C library routines    
        C.1     Introduction 
        C.2     memmove    
        C.3     strcpy              
        C.4     strncpy           
        C.5     strcat               
        C.6     strncat            
        C.7     memcmp       
        C.8     strcmp            
        C.9     strncmp          
       C.10     memchr        
       C.11     strchr             
       C.12     strcspn          
       C.13     strpbrk          
       C.14     strrchr            
       C.15     strspn            
       C.16     strstr              
       C.17     memset        
Annex D – ECI Client file format    
Appendix I – Areas for further development    
Bibliography