1675 search results - page 201 / 335 » Some thoughts on teaching programming and programming langua... |
190
click to vote
TIC
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. A type-based certifying compiler maps source code to machine code and target-level type annotations. The target-level annotations make it possible to prove easily that th...
141
click to vote
COLING
2000
15 years 7 months ago
2000
This paper describes algorithms and software developed to characterise and detect generic intelligent language-like features iu an input signal, using Natural Language Learning te...
128
click to vote
MEMOCODE
2005
IEEE
15 years 12 months ago
2005
IEEE
We describe race-free properties of a hardware description language called GEZEL. The language describes networks of cycle-true finite-state-machines with datapaths (FSMDs). We de...
197
click to vote
PLANX
2007
15 years 7 months ago
2007
Although monadic second-order logic (MSO) has been a foundation of XML queries, little work has attempted to take MSO formulae themselves as a programming construct. Indeed, MSO f...
170
click to vote
BMCBI
2004
15 years 6 months ago
2004
Background: Systems Biology Markup Language (SBML) is gaining broad usage as a standard for representing dynamical systems as data structures. The open source statistical programm...