6016 search results - page 774 / 1204 » The semantics of graphical languages |
223
click to vote
ESCIENCE
2005
IEEE
16 years 1 months ago
2005
IEEE
GridXSLT is an implementation of the XSLT programming language designed for distributed web service orchestration. Based on the functional semantics of the language, it compiles p...
216
click to vote
ICFP
2010
ACM
15 years 8 months ago
2010
ACM
Type classes have found a wide variety of uses in Haskell programs, from simple overloading of operators (such as equality or ordering) to complex invariants used to implement typ...
208
click to vote
EJC
2009
15 years 5 months ago
2009
The starting point of this paper is the external surface of a word form, for example the agent-external acoustic perturbations constituting a language sign in speech or the dots o...
208
click to vote
ICSE
2011
IEEE-ACM
14 years 11 months ago
2011
IEEE-ACM
Developers who write code in a statically typed language are denied the ability to obtain dynamic feedback by executing their code during periods when it fails the static type che...
209
click to vote
APLAS
2006
ACM
16 years 1 months ago
2006
ACM
This document contains the Isabelle/HOL sources underlying our paper A bytecode logic for JML and types [2], updated to Isabelle 2008. We present a program logic for a subset of s...