Lem: reusable engineering of real-world semantics.
Dominic P. MulliganScott OwensKathryn E. GrayTom RidgePeter SewellPublished in: ICFP (2014)
Keyphrases
- real world
- wide range
- formal semantics
- engineering design
- synthetic data
- case study
- data sets
- software components
- data mining
- artificial intelligence
- high level
- mechanical engineering
- conceptual model
- fitness function
- evolutionary computation
- argumentation semantics
- software systems
- semantic web
- software development
- software engineering
- expert systems
- computer science