4959 search results - page 74 / 992 » Imperative Functional Programming |
120
click to vote
STEP
2003
IEEE
15 years 7 months ago
2003
IEEE
Many software applications produced today have a component, of lesser or greater importance to the structure, that is based on database management systems. What is more, this infor...
105
click to vote
ICCL
1998
IEEE
15 years 6 months ago
1998
IEEE
The monadic style of language speci cation has the advantages of modularity and extensibility: it is simple to add or change features in an interpreter to re ect modi cations in t...
100
click to vote
WCET
2008
15 years 3 months ago
2008
Static WCET analysis obtains a safe estimation of the WCET of a program. The timing behaviour of a program depends in many cases on input, and an analysis could take advantage of ...
119
click to vote
ENTCS
2007
15 years 2 months ago
2007
Many modern program verifiers translate the program to be verified and its specification into a simple intermediate representation and then compute verification conditions on ...
70
Voted
ICALP
2007
Springer
15 years 8 months ago
2007
Springer