1776 search results - page 139 / 356 » Using a Logic Programming Language with Persistence and Cont... |
133
click to vote
ERLANG
2007
ACM
15 years 7 months ago
2007
ACM
We propose a small extension of the ERLANG language that allows programmers to specify contracts with type information at the level of individual functions. Such contracts are opt...
105
click to vote
ICSE
2009
IEEE-ACM
15 years 10 months ago
2009
IEEE-ACM
As software systems continue to grow and evolve, locating code for maintenance and reuse tasks becomes increasingly difficult. Existing static code search techniques using natura...
123
Voted
CIKM
2009
Springer
15 years 9 months ago
2009
Springer
With more and more large networks becoming available, mining and querying such networks are increasingly important tasks which are not being supported by database models and query...
121
click to vote
APAL
2006
15 years 3 months ago
2006
This paper studies the complexity of behavior of multi-agent systems. Behavior properties are formulated using classical temporal logic languages and are checked with respect to t...
146
click to vote
POPL
1997
ACM
15 years 7 months ago
1997
ACM
Languages like ML and Haskell encourage the view of values as first-class entities that can be passed as arguments or results of functions, or stored as components of data struct...