Sciweavers

10575 search results - page 409 / 2115
» T2Script Programming Language
Sort
View
ERLANG
2008
ACM
15 years 8 months ago
Refactoring with wrangler, updated: data and process refactorings, and integration with eclipse
Wrangler is a refactoring tool for Erlang, implemented in Erlang. This paper reports the latest developments in Wran
Huiqing Li, Simon J. Thompson, George Orösz, ...
ICFP
2010
ACM
15 years 7 months ago
Combining syntactic and semantic bidirectionalization
Matsuda et al. [2007, ICFP] and Voigtl
Janis Voigtländer, Zhenjiang Hu, Kazutaka Mat...

Book
4712views
17 years 2 months ago
Basics of Compiler Design
"A compiler translates (or compiles) a program written in a highlevel programming language that is suitable for human programmers into the low-level machine language that is...
Torben Mogensen
LISP
2000
96views more  LISP 2000»
15 years 6 months ago
Continuations: A Mathematical Semantics for Handling Full Jumps
This paper describes a method of giving the mathematical semantics of programming languages which include the most general form of jumps.
Christopher Strachey, Christopher P. Wadsworth
IFIP
2009
Springer
15 years 4 months ago
Specification and Verification of Side Channel Declassification
Side channel attacks have emerged as a serious threat to the security of both networked and embedded systems
Josef Svenningsson, David Sands