5377 search results - page 403 / 1076 » Programming Languages For Interactive Computing |
179
click to vote
SC
1993
ACM
15 years 11 months ago
1993
ACM
Vienna Fortran is a machine-independent language extension of Fortran, which is based upon the Single-Program-Multiple-Data SPMD paradigm and allows the user to write programs f...
230
Voted
TCS
1998
15 years 7 months ago
1998
Algebraic translation methods are argued for in many fields of science. Several examples will be considered: from the field of compiler construction, database updates, concurren...
217
Voted
LAWEB
2009
IEEE
16 years 2 months ago
2009
IEEE
— A user interface description language (UIDL) consists of a specification language that describes various aspects of a user interface under development. A comparative review of ...
197
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
Abstract. A proof method is described which combines compositional proofs of interleaved parallel programs with the intuitive and highly automatic strategy of symbolic execution. A...
181
click to vote
FM
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Programming errors found early are the cheapest. Tools applying to the early stage of code development exist but either they suffer from false positives (“noise”) or...