Standard type soundness for agents and artifacts

Keyphrases

• Type Soundness 100%
• Type Systems 100%
• Calculus 50%
• Agent Behavior 50%
• Invocation 50%
• Reduction Rules 50%
• Concurrency 50%
• Core Calculus 50%
• Agent Framework 50%
• Featherweight Java 50%
• Formal Calculus 50%
• Evaluation Environment 50%
• Program Abstraction 50%
• Step Execution 50%
• Runtime Error 50%
• Correctness Properties 50%
• Field Properties 50%
• Core Type 50%

Computer Science

• Soundness 100%
• Type Systems 100%
• Concurrency 50%
• Formalization 50%
• Activity Execution 50%
• Agent Framework 50%