66 search results - page 11 / 14 » Synthesis of machine code from semantics |
ICFP
2007
ACM
14 years 9 months ago
2007
ACM
It is rare to give a semantic definition of a full-scale programming language, despite the many potential benefits. Partly this is because the available metalanguages for expressi...
LCTRTS
2007
Springer
14 years 3 months ago
2007
Springer
Industry’s demand for flexible embedded solutions providing high performance and short time-to-market has led to the development of configurable and extensible processors. The...
ACIIDS
2009
IEEE
14 years 2 months ago
2009
IEEE
— In this paper I show how ontologies support the student modelling through the semantic definition of concepts that depict a student. The aim is to outline the framework for bui...
PLDI
2009
ACM
14 years 4 months ago
2009
ACM
Modern websites are powered by JavaScript, a flexible dynamic scripting language that executes in client browsers. A common paradigm in such websites is to include third-party Ja...
ICFP
2006
ACM
14 years 9 months ago
2006
ACM
I report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checkable proof of full correctness. The verifier is able to prove me...