1675 search results - page 65 / 335 » Some thoughts on teaching programming and programming langua... |
132
click to vote
JAR
2007
15 years 4 months ago
2007
We describe the reconstruction of a phylogeny for a set of taxa, with a character-based cladistics approach, in a declarative knowledge representation formalism, and show how to u...
133
click to vote
APLAS
2007
ACM
15 years 8 months ago
2007
ACM
We propose a series of type systems for the information-flow security of assembly code. These systems extend previous work TALC with some timing annotations and associated judgment...
104
click to vote
GG
2004
Springer
15 years 9 months ago
2004
Springer
We propose a faithful encoding of Java programs (written in a suitable fragment of the language) to Graph Transformation Systems. Every program is translated to a set of rules incl...
156
click to vote
ICFP
2002
ACM
16 years 4 months ago
2002
ACM
Compilers for dynamically and statically typed languages ensure safe execution by verifying that all operations are performed on appropriate values. An operation as simple as car ...
143
click to vote
POPL
2012
ACM
13 years 11 months ago
2012
ACM
We present a general theory of Gifford-style type and effect annotations, where effect annotations are sets of effects. Generality is achieved by recourse to the theory of algebra...