default search action

combined dblp search
author search
venue search
publication search

ask others

26th FTfJP@ECOOP 2024: Vienna, Austria

> Home > Conferences and Workshops > FTfJP
> Home > Conferences and Workshops > ECOOP

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/ftfjp/2024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftfjp/2024
Luca Di Stefano:
Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs, FTfJP 2024, Vienna, Austria, 20 September 2024. ACM 2024, ISBN 979-8-4007-1111-4
- view
  authority control:
- export record
  dblp key:
  - conf/ftfjp/MacConvilleM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftfjp/MacConvilleM24
Dara MacConville, Rosemary Monahan:
Towards a Model Checker for Python: pymodcheck. 1-4
- view
  authority control:
- export record
  dblp key:
  - conf/ftfjp/Zanatta0LNCW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftfjp/Zanatta0LNCW24
Giacomo Zanatta, Pietro Ferrara, Teodors Lisovenko, Luca Negrini, Gianluca Caiazza, Ruffin White:
Sound Static Analysis for Microservices: Utopia? A Preliminary Experience with LiSA. 5-10
- view
  authority control:
- export record
  dblp key:
  - conf/ftfjp/ArceriMDNOZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftfjp/ArceriMDNOZ24
Vincenzo Arceri, Saverio Mattia Merenda, Greta Dolcetti, Luca Negrini, Luca Olivieri, Enea Zaffanella:
Towards a Sound Construction of EVM Bytecode Control-Flow Graphs. 11-16
- view
  authority control:
- export record
  dblp key:
  - conf/ftfjp/MarxE24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftfjp/MarxE24
Stefan Marx, Sebastian Erdweg:
Abstract Interpretation of Java Bytecode in Sturdy. 17-22
- view
  authority control:
- export record
  dblp key:
  - conf/ftfjp/RehmanO24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftfjp/RehmanO24
Baber Rehman, Bruno C. d. S. Oliveira:
Disjoint Polymorphism with Intersection and Union Types. 23-29
- view
  authority control:
- export record
  dblp key:
  - conf/ftfjp/GianniniD24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftfjp/GianniniD24
Paola Giannini, Giulio Duso:
Coeffects for MiniJava: Cf-Mj. 30-36
- view
  authority control:
- export record
  dblp key:
  - conf/ftfjp/0001MWFH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftfjp/0001MWFH24
James Noble, Julian Mackay, Tobias Wrigstad, Andrew Fawcet, Michael Homer:
Dafny vs. Dala: Experience with Mechanising Language Design. 37-43
- view
  authority control:
- export record
  dblp key:
  - conf/ftfjp/Bohler0M24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftfjp/Bohler0M24
Timon Böhler, David Richter, Mira Mezini:
Incrementalizing Polynomial Functors. 44-49

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.