1524 search results - page 209 / 305 » Operational Semantics of Hybrid Systems |
APAL
2008
14 years 10 months ago
2008
Most type systems are agnostic regarding the evaluation strategy for the underlying languages, with the value restriction for ML which is absent in Haskell as a notable exception....
ENTCS
2008
14 years 10 months ago
2008
We report our experience with exploring a new point in the design space for formal reasoning systems: the development of the programming language mega. mega is intended as both a ...
ER
2006
Springer
15 years 1 months ago
2006
Springer
An issue in utilizing ontology in product information domain is how to make it operational. This requires considering the features to be included in a pragmatic product information...
TCS
2010
14 years 4 months ago
2010
The incremental approach to modular monadic semantics constructs complex monads by using monad transformers to add computational features to a preexisting monad. A complication of...
SIGSOFT
2008
ACM
15 years 10 months ago
2008
ACM
Alloy specifications are used to define lightweight models of systems. We present Alchemy, which compiles Alloy specifications into implementations that execute against persistent...