The Language LinF for Fractal Specification.
Fernando Magno Quintão PereiraLeonardo T. RollaCristiano G. RezendeRodrigo L. CarceroniPublished in: SIBGRAPI (2003)
Keyphrases
- specification language
- formal language
- formal languages
- operational semantics
- language learning
- programming language
- image compression
- formal verification
- formal specification
- modelling language
- natural language
- action language
- object oriented
- linear temporal logic
- high level
- computational linguistics
- definition language
- highly modular
- business rules
- language processing
- artificial intelligence
- fractal dimension
- texture analysis
- user defined
- model checking
- data model
- image processing