3516 search results - page 408 / 704 » Programming Languages: Application and Interpretation |
175
click to vote
SAS
2005
Springer
16 years 5 days ago
2005
Springer
A technique for generating invariant polynomial inequalities of bounded degree is presented using the abstract interpretation framework. It is based on overapproximating basic semi...
138
click to vote
ICMCS
2010
IEEE
15 years 7 months ago
2010
IEEE
Although guitar tablature is the most prevalent musical score format on the internet, score following programs are only made for traditional musical scores or MIDI. The following ...
312
Voted
POPL
2008
ACM
16 years 7 months ago
2008
ACM
Communication is becoming one of the central elements in software development. As a potential typed foundation for structured communication-centred programming, session types have...
208
click to vote
AMKM
2003
Springer
15 years 12 months ago
2003
Springer
We report on experience with using RDF to provide a rich content language for use with FIPA agent toolkits, and on RDFS as a metadata language. We emphasise their utility for prog...
156
click to vote
VMCAI
2005
Springer
16 years 5 days ago
2005
Springer
A Herbrand equality between expressions in a program is an equality which holds relative to the Herbrand interpretation of operators. We show that the problem of checking validity ...