Sciweavers

Share
ENTCS
2010
110views more  ENTCS 2010»
8 years 7 months ago
Formalizing Homogeneous Language Embeddings
The cost of implementing syntactically distinct Domain Specific Languages (DSLs) can be reduced by homogeneously embedding them in a host language in cooperation with its compiler...
Tony Clark, Laurence Tratt
JAVA
2001
Springer
9 years 2 months ago
Core semantics of multithreaded Java
Java has integrated multithreading to a far greater extent than most programming languages. It is also one of the only languages that speciļ¬es and requires safety guarantees for...
Jeremy Manson, William Pugh
RTAS
2009
IEEE
9 years 5 months ago
The System-Level Simplex Architecture for Improved Real-Time Embedded System Safety
Embedded systems in safety-critical environments demand safety guarantees while providing many useful services that are too complex to formally verify or fully test. Existing appl...
Stanley Bak, Deepti K. Chivukula, Olugbemiga Adeku...
books