Direct execution of lisp on a list_directed architecture

Author(s):  
J. P. Sansonnet ◽  
M. Castan ◽  
C. Percebois ◽  
D. Botella ◽  
J. Perez
Keyword(s):  
1982 ◽  
Vol 10 (1) ◽  
pp. 23-27 ◽  
Author(s):  
Hossam El-Halabi ◽  
Dharma P. Agrawal
Keyword(s):  

2015 ◽  
Vol 1 (1) ◽  
pp. 62-75
Author(s):  
Nurwati SH., MH.

ABSTRACTFiduciary security is legal security over on moving objects both tangible and intangible, and building or a house on the land belong to someone else, either registered or not, which cannot be burdened with mortgage rights that keep in control of the fiduciary as collateral of debt repayment. If debtor as Fiduciary giver to be insolvent, so the creditor is entitled to have the fiduciary mentioned. For repayment of the debtor and the creditor in this case is called the right separatists.  There are many direct execution in banking practice about the object credit that are not perfect bound of guarantees or not through the insurance agency. Execution is doing by creditors, which debtor accompanied or not, or the object credit guarantees owner. Execution is done by regular sales or through creditor takeover.  Protection of creditors interest doing by giving legal aspects of registration precedes rights while providing executorial title for the fiduciary receivers benefit, on the other hand, the registration arrangements for certain objects that are not listed cause haziness opportunities of law implementation if it isnot done by carefully and clearly. To protect creditors interests, at the time of the debtor defaults, so that creditors as apreferential rights receiver in debt collection and as legal evidence, so warehouse receipts guarantee that the debtor should be given the imposition of bail.Key: Execution, Fiduciary, Creditors, Debtors


1992 ◽  
Vol 2 (3) ◽  
pp. 345-364 ◽  
Author(s):  
Torben Æ. Mogensen

AbstractWe start by giving a compact representation schema for λ-terms, and show how this leads to an exceedingly small and elegant self-interpreter. We then define the notion of aself-reducer, and show how this too can be written as a small λ-term. Both the self-interpreter and the self-reducer are proved correct. We finally give a constructive proof for the second fixed point theorem for the representation schema. All the constructions have been implemented on a computer, and experiments verify their correctness. Timings show that the self-interpreter and self-reducer are quite efficient, being about 35 and 50 times slower than direct execution using a call-by-need reductions strategy


1997 ◽  
Vol 27 (1) ◽  
pp. 174-177 ◽  
Author(s):  
Phillip M. Dickens
Keyword(s):  

2020 ◽  
Vol 1 (2) ◽  
pp. 142
Author(s):  
Sofyan Wimbo Agung Pradnyawan ◽  
Siti Syahida Nurani ◽  
Arief Budiono ◽  
Sasongko Sasongko

The Constitutional Court responded to the existence of a debt collector who had been very unsettling by the Constitutional Court by issuing Decision Number 18/PUU-XVII/2019 dated January 6, 2020. Based on the request for a judicial review of Law 42/1999 submitted by husband and wife Apriliani Dewi and Suri Agung Prabowo . Apriliani is a fiduciary who experiences direct losses as a result of creditors' withdrawal of the object of fiduciary security in the form of a car. Both applicants are declared to have legal standing in submitting a request for a judicial review. The Constitutional Court granted it with Decision Number 18/PUU-XVII/2019. In this decision, the execution mechanism for the fiduciary guarantee object was changed by the Constitutional Court as long as it was not provided voluntarily by the debtor. Previously, the Fiduciary Law allowed creditors to execute the object of fiduciary collateral themselves, but now to carry out the execution, creditors must submit an application to the District Court. However, the implementation of direct execution by the creditor without going through the District Court can be done if the debtor admits that there is a default or default in his agreement with the creditor.


Sign in / Sign up

Export Citation Format

Share Document