blank Quick help
blank Maintenance news

Scheduled maintenance

Regular maintenance outages:
between 05.00 and 05.15 hrs CET (Monday to Sunday).

Other outages
Availability

2022.02.11

More...
blank News flashes

News Flashes

New version of the European Patent Register – SPC proceedings information in the Unitary Patent Register.

2024-07-24

More...
blank Related links

Release notes
European Patent Register Assistant
European Patent Register Resource Book
European Patent Register – pocket guide
FAQ - European Patent Register
Federated Register (Flyer)
Global Dossier (Flyer)
Register events
Deep link coverage
Federated Register content
The Patent Information Tour
Fair use charter

Extract from the Register of European Patents

EP About this file: EP2787437

EP2787437 - Method for checking and/or transforming a computer program with static functions of the first class [Right-click to bookmark this link]
StatusThe application is deemed to be withdrawn
Status updated on  18.09.2015
Database last updated on 02.11.2024
Most recent event   Tooltip18.09.2015Application deemed to be withdrawnpublished on 21.10.2015  [2015/43]
Applicant(s)For all designated states
Realtime Technology AG
Rosenheimer Strasse 145f
81671 München / DE
[2014/41]
Inventor(s)01 / Trojahner, Kai
c/o Realtime Technology AG
Rosenheimer Str. 145
81671 München / DE
 [2014/41]
Representative(s)Manitz Finsterwald Patent- und Rechtsanwaltspartnerschaft mbB
Martin-Greif-Strasse 1
80336 München / DE
[N/P]
Former [2014/41]Manitz, Finsterwald & Partner GbR
Martin-Greif-Strasse 1
80336 München / DE
Application number, filing date13162073.403.04.2013
[2014/41]
Filing languageDE
Procedural languageDE
PublicationType: A1 Application with search report 
No.:EP2787437
Date:08.10.2014
Language:DE
[2014/41]
Search report(s)(Supplementary) European search report - dispatched on:EP06.09.2013
ClassificationIPC:G06F9/45
[2014/41]
CPC:
G06F8/437 (EP,US); G06F8/49 (EP,US)
Designated contracting statesAL,   AT,   BE,   BG,   CH,   CY,   CZ,   DE,   DK,   EE,   ES,   FI,   FR,   GB,   GR,   HR,   HU,   IE,   IS,   IT,   LI,   LT,   LU,   LV,   MC,   MK,   MT,   NL,   NO,   PL,   PT,   RO,   RS,   SE,   SI,   SK,   SM,   TR [2014/41]
Extension statesBANot yet paid
MENot yet paid
TitleGerman:Verfahren zur Überprüfung und/oder Transformation eines Computerprogramms mit statischen Funktionen erster Klasse[2014/41]
English:Method for checking and/or transforming a computer program with static functions of the first class[2014/41]
French:Procédé d'analyse et/ou de transformation d'un programme informatique avec des fonctions statiques de première classe[2014/41]
Examination procedure03.04.2013Examination requested  [2014/41]
09.04.2015Application deemed to be withdrawn, date of legal effect  [2015/43]
27.05.2015Despatch of communication that the application is deemed to be withdrawn, reason: examination fee not paid in time  [2015/43]
Fees paidPenalty fee
Additional fee for renewal fee
30.04.201503   M06   Not yet paid
Opt-out from the exclusive  Tooltip
competence of the Unified
Patent Court		 See the Register of the Unified Patent Court for opt-out data
Responsibility for the accuracy, completeness or quality of the data displayed under the link provided lies entirely with the Unified Patent Court.
Documents cited:Search[IY]  - MONNIER S ET AL, "Inlining as staged computation", JOURNAL OF FUNCTIONAL PROGRAMMING, vol. 13, no. 3, doi:10.1017/S0956796802004616, ISSN 0956-7968, (200305), pages 647 - 676, (20030513), XP009172119 [I] 1-13 * abstract * * page 647, paragraph l - page 648, paragraph 2; figures 1-9 * * page 649, paragraph l - page 660, paragraph 2 * * page 664, paragraph 2 - page 664, paragraph l * [Y] 14,15

DOI:   http://dx.doi.org/10.1017/S0956796802004616
 [Y]  - NEIL MITCHELL ET AL, "Losing functions without gaining data", PROCEEDINGS OF THE 2ND ACM SIGPLAN SYMPOSIUM ON HASKELL, HASKELL '09, New York, New York, USA, (200901), doi:10.1145/1596638.1596641, ISBN 978-1-60-558508-6, pages 13 - 24, XP055076895 [Y] 14,15 * abstract * * page 13, column l, paragraph 1 - page 17, column r, paragraph 8 * * page 20, column l, paragraph 7 - page 20, column l, paragraph 8 * * page 24, column l, paragraph 3 - page 24, column l, paragraph 6 *

DOI:   http://dx.doi.org/10.1145/1596638.1596641
 [A]  - GUSTAVO ARROYO ET AL, A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs, LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, SPRINGER BERLIN HEIDELBERG, BERLIN, HEIDELBERG, PAGE(S) 40 - 54, (20080717), ISBN 978-3-642-00514-5, XP019115207 [A] 1-15 * abstract * * page 40, paragraph 1 - page 41, paragraph 3 * * page 42, paragraph 5 - page 45, paragraph l *

DOI:   http://dx.doi.org/10.1007/978-3-642-00515-2_4
 [A]  - DIRK DUSSART ET AL, Polymorphic recursion and subtype qualifications: Polymorphic binding-time analysis in polynomial time, STATIC ANALYSIS, SPRINGER BERLIN HEIDELBERG, BERLIN, HEIDELBERG, PAGE(S) 118 - 135, (19950925), ISBN 978-3-540-60360-3, XP019179076 [A] 1-15 * page 118, paragraph l - page 119, paragraph 3 * * page 120, paragraph 3 - page 126, paragraph 5 *
 [A]  - Peter Thiemann, "A unified framework for binding-time analysis", TAPSOFT '97: Theory and Practice of Software Development, Berlin/Heidelberg, Springer-Verlag, (199701), vol. 1214, pages 742 - 756, doi:10.1007/BFb0030638, ISBN 978-3-54-062781-4, XP055076900 [A] 1-15 * abstract * * page 742, paragraph 1 - page 749, paragraph 4 * * page 751, paragraph 1 - page 752, paragraph l *

DOI:   http://dx.doi.org/10.1007/BFb0030638
The EPO accepts no responsibility for the accuracy of data originating from other authorities; in particular, it does not guarantee that it is complete, up to date or fit for specific purposes.