10935 search results - page 1930 / 2187 » Neural Programming Language |
146
Voted
PASTE
2010
ACM
15 years 3 months ago
2010
ACM
Many analysis techniques have been proposed to determine when a potentially null value may be dereferenced. But we have observed in practice that not every potential null derefere...
124
click to vote
WOTUG
2008
15 years 3 months ago
2008
Abstract. Communicating Sequential Processes (CSP) was developed around a formal algebra of processes and a semantics based on traces (and failures and divergences). A trace is a r...
110
click to vote
DAGSTUHL
2006
15 years 3 months ago
2006
Programming technologies have improved continuously during the last decades, but from an Information Systems perspective, some well-known problems associated to the design and impl...
120
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Orc is a theory of orchestration of services that allows structured programming of distributed and timed computations. Several formal semantics have been proposed for Orc...
133
click to vote
IJDE
2007
15 years 1 months ago
2007
Source code author identification deals with identifying the most likely author of a computer program, given a set of predefined author candidates. There are several scenarios whe...