We present a model and a core progr

We present a model and a core programming language appropriate for modeling and programming interactive computing systems.

The model consists of rv-systems (interactive systems with registers and voices); it includes register machines, is space-time invariant, is compositional, may describe computations extending in both time and space, and is applicable to open, interactive systems. To achieve modularity in space the model uses voices (a voice is the time dual of a register) - they provide a high level organization of temporal data and are used to describe interaction interfaces of processes.

The programming language uses novel techniques for syntax and semantics to support computation in space paradigm. We describe rv-programs and base their syntax and operational semantics on FIS-es (finite interactive systems) and their grid languages (a FIS is a kind of 2-dimensional automaton specifying both control and interaction used in rv-programs).

We also present specification techniques for rv-systems, using relations between input registers and voices and their output counterparts. The paper includes simple specifications for an OO-system and for an interactive game

ผลลัพธ์ (ไทย) 3:

เรานำเสนอรูปแบบและหลักการเขียนโปรแกรมภาษาที่เหมาะสมสำหรับการจำลองระบบคอมพิวเตอร์แบบโต้ตอบและโปรแกรม

รูปแบบประกอบด้วยระบบ RV ( ระบบแบบโต้ตอบกับการลงทะเบียนและเสียง ) ; มันมีเครื่องที่ลงทะเบียน คือ เวลาแปลงเป็นส่วนประกอบอาจอธิบายการคำนวณการขยายทั้งในเวลาและอวกาศ และใช้ได้กับระบบเปิด แบบโต้ตอบเพื่อให้ได้ต้นแบบในพื้นที่แบบใช้เสียง ( เสียงเวลาคู่ของลงทะเบียน ) -- พวกเขาให้ระดับองค์กรข้อมูลชั่วคราวและมีการใช้เพื่ออธิบายกระบวนการปฏิสัมพันธ์ใหม่

ภาษาโปรแกรมที่ใช้เทคนิคใหม่ในวากยสัมพันธ์และอรรถศาสตร์สนับสนุนกระบวนทัศน์การคำนวณในพื้นที่เราอธิบาย RV โปรแกรมและฐานไวยากรณ์และอรรถศาสตร์การประเมินผลและ ( ระบบแบบจำกัด ) และภาษา ( ชื่อตารางของพวกเขาเป็นชนิดของหุ่นยนต์ทั้ง 2 มิติ และการควบคุมการใช้ในโปรแกรม RV ) .

เรายังเสนอเทคนิคสเปคระบบ RV โดยใช้ความสัมพันธ์ระหว่างปัจจัยการผลิตและผลผลิตและบันทึกเสียงคู่ของพวกเขากระดาษที่มีคุณสมบัติที่ง่ายและเกมแบบโต้ตอบระบบโอ