Understanding programming language concepts via operational semantics
Domain modeling and the duration calculus
Comparing approaches to generic programming in Haskell
SSDGP'06 Proceedings of the 2006 international conference on Datatype-generic programming
Action semantics in retrospect
Semantics and algebraic specification
Teaching ‘concepts of programming languages' with ada
Ada-Europe'12 Proceedings of the 17th Ada-Europe international conference on Reliable Software Technologies
Generating interlocked instruction pipelines from specifications of instruction sets
Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Querying large models efficiently
Information and Software Technology
| Hi-index | 0.00 |