Old Web
English
Sign In
Acemap
>
Paper
>
Towards the Development of a Formal Language for Frequency of Events
Towards the Development of a Formal Language for Frequency of Events
2015
Kato Daisuke
Hachisu Yoshinari
Yoshida Atsushi
Agusa Kiyoshi
Keywords:
Programming language
Temporal logic
Formal language
Linear temporal logic
Kripke structure
Code generation
Systematic code
Computer science
Code review
single variable
Code (cryptography)
Graph
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]