Filters








943,261 Hits in 4.3 sec

On exceptions, events and observer chains

Mehdi Bagherzadeh, Hridesh Rajan, Ali Darvish
2013 Proceedings of the 12th annual international conference on Aspect-oriented software development - AOSD '13  
Such reasoning tasks about exceptions face unique challenges in event-based implicit invocation (II) languages that allow subjects to implicitly invoke observers, and run the observers in a chain.  ...  We evaluate the utility of Ptolemyχ's exception flow reasoning by applying it to understand a set of aspect-oriented (AO) bug patterns.  ...  Modular Reasoning about Behaviors of Exceptions To enable modular reasoning about behaviors of exceptions in event announcement and handling, e.g. reasoning about Φ b in Section 2.1, Ptolemyχ provides  ... 
doi:10.1145/2451436.2451458 dblp:conf/aosd/BagherzadehRD13 fatcat:5qvhhjl7sjeofeckqkgmt57xly

Page 475 of The Law Quarterly Review Vol. 3, Issue 12 [page]

1887 The Law Quarterly Review  
P. 614, ‘The contract is to carry with reasonable care unless prevented by the excepted perils;’ Notara v. Henderson (1872), L. R., 7 Q.  ...  This obviously does not agree with the view of the contract approved by Lord Herschell, ‘to carry with reasonable care, unless prevented by the excepted perils.’  ... 

AspectJML

Henrique Rebêlo, Gary T. Leavens, Mehdi Bagherzadeh, Hridesh Rajan, Ricardo Lima, Daniel M. Zimmerman, Márcio Cornélio, Thomas Thüm
2014 Proceedings of the 13th international conference on Modularity - MODULARITY '14  
For example, in AspectJ-style, to reason about the correctness of a method call may require a whole-program analysis to determine what advice applies and what that advice does in relation to DbC implementation  ...  We also show how AspectJML supports the main DbC principles of modular reasoning and contracts as documentation.  ...  design by contract modularization in general.  ... 
doi:10.1145/2577080.2577084 dblp:conf/aosd/RebeloLBRLZCT14a fatcat:6yatvtbbcbgfdck5ioq27lm3q4

AspectJML

Henrique Rebêlo, Gary T. Leavens, Mehdi Bagherzadeh, Hridesh Rajan, Ricardo Lima, Daniel M. Zimmerman, Márcio Cornélio, Thomas Thüm
2014 Proceedings of the 13th international conference on Modularity - MODULARITY '14  
For example, in AspectJ-style, to reason about the correctness of a method call may require a whole-program analysis to determine what advice applies and what that advice does in relation to DbC implementation  ...  We also show how AspectJML supports the main DbC principles of modular reasoning and contracts as documentation.  ...  design by contract modularization in general.  ... 
doi:10.1145/2584469.2577084 fatcat:ydtub4gltvecrilh2erkdmvpne

PROLEG: An Implementation of the Presupposed Ultimate Fact Theory of Japanese Civil Code by PROLOG Technology [chapter]

Ken Satoh, Kento Asai, Takamune Kogawa, Masahiro Kubota, Megumi Nakamura, Yoshiaki Nishigai, Kei Shirakawa, Chiaki Takano
2011 Lecture Notes in Computer Science  
However, it turns out that the knowledge representation in logic programming is difficult for lawyers to understand.  ...  In this paper, we propose a legal reasoning system called PROLEG (PROlog based LEGal reasoning support system) based on the Japanese "theory of presupposed ultimate facts" (called "Yokenjijitsu-ron" in  ...  -PROLEG reflects lawyers' reasoning about law where exceptions are ignored unless it is explicitly stated.  ... 
doi:10.1007/978-3-642-25655-4_14 fatcat:5saqivvn6jfxti2pvuybcfqqcm

Identifying and specifying crosscutting contracts with AspectJML

Henrique Rebêlo
2013 Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity - SPLASH '13  
It supports the specification of crosscutting contracts for Java code in a modular way while keeping the benefits of a design by contract language, like documentation and modular reasoning.  ...  I propose AspectJML, a simple and practical aspect-oriented extension to JML.  ...  In relation to modular reasoning and documentation [4] , one can reason about Point objects using just that type's and method's specifications, contained in Figure 1 .  ... 
doi:10.1145/2508075.2514877 dblp:conf/oopsla/Rebelo13 fatcat:zamw7niwz5b2pj72kfhmd2ihcu

SweetDeal

Benjamin N. Grosof, Terrence C. Poon
2003 Proceedings of the twelfth international conference on World Wide Web - WWW '03  
This provides a foundation for representing and automating deals about services -in particular, about Web Services, so as to help search, select, and compose them.  ...  SweetDeal is a rule-based approach to representation of business contracts that enables software agents to create, evaluate, negotiate, and execute contracts with substantial automation and modularity.  ...  The makes it easier for non-programmers to understand or to specify contract content. • Rules are especially good for specifying contingent provisions of contracts • One may automatically reason about  ... 
doi:10.1145/775152.775200 dblp:conf/www/GrosofP03 fatcat:gd3jyqp5evamvfkiu3amkstgtm

A Retrospective on the Reactive Event Calculus and Commitment Modeling Language [chapter]

Paolo Torroni, Federico Chesani, Paola Mello, Marco Montali
2012 Lecture Notes in Computer Science  
Social commitments in time: Satisfied or compensated was the title of a presentation given at the 7th DALT workshop edition [34] in which we proposed a layered architecture for modeling and reasoning about  ...  We gave emphasis to modularity and to the need of accommodating certain temporal aspects in order for a commitment modeling framework to be flexible enough to adapt to diverse commitment theories, and  ...  Misalignment is an undesirable situation in contract-regulated interactions, because it may bring about exceptions.  ... 
doi:10.1007/978-3-642-29113-5_13 fatcat:wyyxfm5rg5hqffea3agdeowwe4

Oblog-2: A hybrid knowledge representation system for defeasible reasoning

T. F. Gordon
1987 Proceedings of the first international conference on Artificial intelligence and law - ICAIL '87  
The known types of an entity determine its set of applicable rules, which changes as our knowledge about the types of the entity is refined, supporting a form of defeasible reasoning.  ...  It combines a terminological reasoner with a Prolog-like inference mechanism. The terming logical component supports the description of type and attribute taxonomies.  ...  Reflection about the use of exceptions in the law motivated our design of Oblog.  ... 
doi:10.1145/41735.41761 dblp:conf/icail/Gordon87 fatcat:jiwulehrpra6rpdqbui4fl45eq

Page 102 of The Insurance Law Journal Vol. 88, Issue 1 [page]

1937 The Insurance Law Journal  
apellant by reason of the contract of insurance, the error being that, if the allegations of the complaint were admitted, such facts were not alleged as would be sufficient to avoid or cancel the policy  ...  This exception cannot be considered on appeal, for the reason that no final ruling was made by the lower court when the objection was made.  ... 

Thinking in Terms of Contract Defences

Andrew D. Dyson, James Goudkamp, Frederick Wilmot-Smith
2017 Social Science Research Network  
discussions The final reason that contract law scholars' failure to invoke the language of defences is surprising is that legal theorists use the concept in thinking about the law of contract. 45 In  ...  exceptions to the general proposition at all '. 55 Scholars often ask what reasons there are to recognise defences. 56 This is another way of asking the fourth question.  ... 
doi:10.2139/ssrn.2922124 fatcat:dx6h23lg7fdp5clfbq5aftg7eu

Page 323 of Pacific Affairs Vol. 4, Issue 4 [page]

1931 Pacific Affairs  
And lastly, the European planters have reason to oppose bringing an ade- quate supply of free laborers to Sumatra in the form of  ...  The coolie recruited in Java is unaware of the high wages in Sumatra and contracts for a wage which is high only as com- pared to conditions in Java.  ... 

Page 65 of Albany Law Journal Vol. 56, Issue 4 [page]

1897 Albany Law Journal  
There was no attempt to show the “ reasonable value of the use of the land,” of which plaintiffs claim they were deprived, except by showing conjectural profits; neither does it appear to us that such  ...  This is an action by appellees against appellant sounding in damages for the alleged violation of a contract by which appellant leased to appellees about twenty acres of land to be planted in corn, tobacco  ... 

The Evolution Of Employment-At-Will: Past, Present, And Future Predictions

Jane Whitney Gibson, Lester Lindley
2010 American Journal of Business Education  
The authors recommend an employment policy that both adheres to the law and promotes an atmosphere of fair employment practices that coincide with American values of fair play. </span></span></p>  ...  span style="color: #0d0d0d; font-size: 10pt;"><span style="font-family: Times New Roman;">This article examines the origins and evolution of employment-at-will, investigates judicially created at-will exceptions  ...  What constitutes legal reason for termination? Just about everything.  ... 
doi:10.19030/ajbe.v3i2.388 fatcat:rnuihp3yafbhbpumlot26uhehe
« Previous Showing results 1 — 15 out of 943,261 results