A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
Filters
On exceptions, events and observer chains
2013
Proceedings of the 12th annual international conference on Aspect-oriented software development - AOSD '13
Preserved Fulltext
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
2014
Proceedings of the 13th international conference on Modularity - MODULARITY '14
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2014
Proceedings of the 13th international conference on Modularity - MODULARITY '14
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2011
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2013
Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity - SPLASH '13
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2003
Proceedings of the twelfth international conference on World Wide Web - WWW '03
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf.
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
Can my employer just fire me?
2014
Nursing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf.
because it' s limited to about a dozen states (my home state of Delaware being one). ...
Almost all states recognize this exception. Implied contract is a bit trickier. ...
doi:10.1097/01.nurse.0000446637.49629.00
fatcat:n2ne53xf2faddo6wddd5icjglm
A Retrospective on the Reactive Event Calculus and Commitment Modeling Language
[chapter]
2012
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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
1987
Proceedings of the first international conference on Artificial intelligence and law - ICAIL '87
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
2017
Social Science Research Network
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
2010
American Journal of Business Education
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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