Zum Inhalt springen

Chin, Wei-Ngan [HerausgeberIn] ; APLAS 2 2004 Taipeh

Programming languages and systems : second Asian symposium, APLAS 2004, Taipei, Taiwan, November 4 - 6, 2004 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2004

Erschienen in: Lecture notes in computer science ; 3302
Bouajjani, Ahmed [HerausgeberIn]; Chin, Wei-Ngan [Sonstige Person, Familie und Körperschaft] ; ATVA 8 2010 Singapur

Automated technology for verification and analysis : 8th international symposium, ATVA 2010, Singapore, September 21-24, 2010 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2010

Erschienen in: Lecture notes in computer science ; 6252
Stutterheim, Jurriën [VerfasserIn] ; Chin, Wei Ngan [MitwirkendeR]

Proceedings of the 31st Symposium on Implementation and Application of Functional Languages

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via ACM Digital Library)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

New York,NY,United States: Association for Computing Machinery, 2019

Erschienen in: ACM Other conferences- ACM Digital Library
Chin, Wei-Ngan [VerfasserIn] ; Wei-Ngan Chin [MitwirkendeR]

Specification, Verification and Inference (Invited Talk)

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2013
Bouajjani, Ahmed [VerfasserIn] ; Chin, Wei-Ngan [Sonstige Person, Familie und Körperschaft]

Automated Technology for Verification and Analysis : 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2010

Erschienen in: Lecture notes in computer science ; 6252
Chin, Wei-Ngan [Sonstige Person, Familie und Körperschaft] ; IEEE Computer Society, International Federation for Information Processing, Tian jin shi fan da xue

Third IEEE International Symposium on Theoretical Aspects of Software Engineering, 2009 : TASE 2009 ; Tianjin, China, 29 - 31 July 2009

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via IEEE Xplore Digital Library)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Piscataway, NJ: IEEE, 2009
Chin, Wei-Ngan [VerfasserIn] ; Association for Computing Machinery

Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via ACM Digital Library)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

New York, NY: ACM, 2014

Erschienen in: ACM Digital Library- ACM Conferences
Chin, Wei-Ngan [VerfasserIn] ; Association for Computing Machinery, ACM Special Interest Group on Software Engineering, ACM Special Interest Group on Programming Languages

Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via ACM Digital Library)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

New York, NY: ACM, 2012

Erschienen in: ACM Digital Library- ACM Other conferences
Chin, Wei-Ngan [VerfasserIn]

Programming Languages and Systems : Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2004

Erschienen in: Lecture notes in computer science ; 3302
Chin, Wei-Ngan [VerfasserIn]

Programming Languages and Systems : Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg: Springer, 2004

Erschienen in: Lecture notes in computer science ; 330200
Chin, Wei-Ngan

Safe fusion of functional expressions II: Further improvements

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cambridge University Press (CUP), 1994

Erschienen in: Journal of Functional Programming
Chin, Wei-Ngan

Safe fusion of functional expressions

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 1992

Erschienen in: ACM SIGPLAN Lisp Pointers
Song, Yahui; Chin, Wei-Ngan

Tools and Algorithms for the Construction and Analysis of Systems: Automated Verification for Real-Time Systems : via Implicit Clocks and an Extended Antimirov Algorithm : via Implicit Clocks and an Extended Antimirov Algorithm

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Nature Switzerland, 2023

Erschienen in: Tools and Algorithms for the Construction and Analysis of Systems
Song, Yahui; Chin, Wei-Ngan

Lecture Notes in Computer Science: A Synchronous Effects Logic for Temporal Verification of Pure Esterel

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer International Publishing, 2021

Erschienen in: Lecture Notes in Computer Science
Song, Yahui; Chin, Wei-Ngan

Formal Methods and Software Engineering: Automated Temporal Verification of Integrated Dependent Effects

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer International Publishing, 2020

Erschienen in: Formal Methods and Software Engineering
Chin, Wei-Ngan; Hage, Jurriaan

Selected and extended papers from Partial Evaluation and Program Manipulation 2014

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 2015

Erschienen in: Science of Computer Programming
Tatsuta, Makoto; Chin, Wei-Ngan

Software Engineering and Formal Methods: Completeness of Separation Logic with Inductive Definitions for Program Verification

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer International Publishing, 2014

Erschienen in: Software Engineering and Formal Methods
Popeea, Corneliu; Chin, Wei-Ngan

Dual analysis for proving safety and finding bugs

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 2013

Erschienen in: Science of Computer Programming
David, Cristina; Chin, Wei-Ngan

Immutable specifications for more concise and precise verification

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 2011

Erschienen in: ACM SIGPLAN Notices
Popeea, Corneliu; Chin, Wei-Ngan

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues: Inferring Disjunctive Postconditions

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2007

Erschienen in: Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr