Searching for authors named "Patrice Chalin" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

14 documents found, showing 1 through 10. Next 10 →

Towards Support for Non-null Types and Non-null-by-default in Java
by Patrice Chalin — 2006 — Proceedings of the 8th Workshop on Formal Techniques for Java-like Programs (FTfJP'06
…Towards Support for Non-null Types and Non-null-bydefault in Java Patrice Chalin Dept. of Computer…
Cited by 2 (1 self) – Add To MetaCart

JML support for primitive arbitrary precision numeric types: definition and semantics
by Patrice Chalin — 2003 — Concordia University 002.2a
… Introduction Patrice Chalin Computer Science Department, Concordia University www.cs.concordia.ca/~faculty/chalin…
Cited by 3 (0 self) – Add To MetaCart

Early detection of JML specification errors using ESC/Java2
by Patrice Chalin — 2006 — In Proceedings of the on the Specification and Verification of Component-Based Systems (SAVCBS
…Early Detection of JML Specification Errors using ESC/Java2 Patrice Chalin Dept. of Computer…
Cited by 1 (0 self) – Add To MetaCart

Reassessing JML's Logical Foundation
by Patrice Chalin — 2005 — In Proceedings of the 7th Workshop on Formal Techniques for Java-like Programs (FTfJP'05
…Reassessing JML’s Logical Foundation Patrice Chalin Dept. of Computer Science and Software…
Cited by 2 (2 self) – Add To MetaCart

Non-null References by Default in the Java Modeling Language
by Patrice Chalin, Frédéric Rioux — 2005 — Proceedings of the Workshop on the Specification and Verification of Component-Based Systems (SAVCBS
…Non-null References by Default in the Java Modeling Language Patrice Chalin, Frédéric Rioux Dept…
Cited by 7 (4 self) – Add To MetaCart

Copying, Sharing, and Aliasing
by Peter Grogono, Patrice Chalin — 1994 — In Proceedings of the Colloquium on Object Orientation in Databases and Software Engineering (COODBSE'94
…Copying, Sharing, and Aliasing Peter Grogono and Patrice Chalin Department of Computer Science…
Cited by 10 (1 self) – Add To MetaCart

Identification of and Solutions to Shortcomings of LCL, a Larch/C Interface Specification Language
by Patrice Chalin, Peter Grogono, T. Radhakrishnan — 1996 — In Marie-Claude Gaudel and James Woodcock, editors, FME '96: Industrial Benefit and Advances in Formal Methods, volume 1051 of Lecture Notes in Computer Science
… Patrice Chalin, Peter Grogono and T. Radhakrishnan {chalin, grogono ,krishnan}cs. concordia. ca…
Cited by 6 (2 self) – Add To MetaCart

G.: An integrated verification environment for JML: Architecture and early results
by Patrice Chalin, Perry R. James, George Karabotsos — 2007 — In: Sixth International Workshop on Specification and Verification of Component-Based Systems (SAVCBS), Cavtat, Croatia
…An Integrated Verification Environment for JML: Architecture and Early Results Patrice Chalin…
Cited by 1 (0 self) – Add To MetaCart

and PATRICE CHALIN
by Ch Al In, Peter Grogono, Patrice Chalin — 1994 — In Proceedings of the Colloquium on Object Orientation in Databases and Software Engineering (COODBSE'94
… 1455 deMaisonneuve Blvd. West Montr'eal, Qu'ebec, H3G 1M8, Canada and PATRICE CHALIN Department…
Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB