3653 search results - page 547 / 731 » Learning of Partial Languages |
144
Voted
TABLEAUX
2009
Springer
15 years 10 months ago
2009
Springer
Memory logics are modal logics whose semantics is specified in terms of relational models enriched with additional data structure to represent memory. The logical language is then...
139
Voted
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
Flow composition languages permit the construction of longrunning transactions from collections of independent, atomic services. Due to environmental limitations, such transaction...
122
Voted
ASPLOS
2006
ACM
15 years 9 months ago
2006
ACM
Nested transactional memory (TM) facilitates software composition by letting one module invoke another without either knowing whether the other uses transactions. Closed nested tr...
173
Voted
PPOPP
2006
ACM
15 years 9 months ago
2006
ACM
Applications need to become more concurrent to take advantage of the increased computational power provided by chip level multiprocessing. Programmers have traditionally managed t...
196
click to vote
PLDI
1997
ACM
15 years 7 months ago
1997
ACM
Set-based analysis is a constraint-based whole program analysis that is applicable to functional and objectoriented programming languages. Unfortunately, the analysis is useless f...