Jump to content
View in the app

A better way to browse. Learn more.

Tuts 4 You

A full-screen app on your home screen with push notifications, badges and more.

To install this app on iOS and iPadOS
  1. Tap the Share icon in Safari
  2. Scroll the menu and tap Add to Home Screen.
  3. Tap Add in the top-right corner.
To install this app on Android
  1. Tap the 3-dot menu (⋮) in the top-right corner of the browser.
  2. Tap Add to Home screen or Install app.
  3. Confirm by tapping Install.

Developing a CIL Parser

Featured Replies

Posted

The analysis of .NET libraries in [1] suggests the development of a tool for

automatic contract extraction from .NET classes. The article observes that

preconditions tend to be hidden under explicit exception cases. A tool leveraging

this observation has been developed as part of this diploma thesis and is

documented in this report. Although the chosen approach is limited to elementary

cases, the application of the tool to classes ArrayList, Stack and Queue

of the .NET framework [16] reveals that, in these classes, half or more of all explicit

exception cases can be addressed and the corresponding preconditions are

extracted by the current implementation. The report includes the documentation

of the tool’s implementation, a presentation of the results and a discussion

of limitations and extensions of the present approach and implementation.

final_report.pdf

Create an account or sign in to comment

Configure browser push notifications

Chrome (Android)
  1. Tap the lock icon next to the address bar.
  2. Tap Permissions → Notifications.
  3. Adjust your preference.
Chrome (Desktop)
  1. Click the padlock icon in the address bar.
  2. Select Site settings.
  3. Find Notifications and adjust your preference.