1 |
Verification of Program Transformations with Inductive Refinement Types
|
|
|
|
In: ISSN: 1049-331X ; ACM Transactions on Software Engineering and Methodology ; https://hal.inria.fr/hal-03518825 ; ACM Transactions on Software Engineering and Methodology, Association for Computing Machinery, 2021, 30 (1), pp.1-33. ⟨10.1145/3409805⟩ (2021)
|
|
BASE
|
|
Show details
|
|
2 |
Structural over-determination of education reforms and agency ... : Strukturna naddoločitev izobraževalnih reform in delovanje ...
|
|
|
|
BASE
|
|
Show details
|
|
3 |
Structural over-determination of education reforms and agency ; Strukturna naddoločitev izobraževalnih reform in delovanje
|
|
|
|
In: CEPS Journal 11 (2021) 2, S. 77-95 (2021)
|
|
BASE
|
|
Show details
|
|
4 |
Optimizing and Incrementalizing Higher-order Collection Queries by AST Transformation
|
|
|
|
BASE
|
|
Show details
|
|
5 |
One Tool, Many Languages: Language-Parametric Transformation With Incremental Parametric Syntax ...
|
|
|
|
BASE
|
|
Show details
|
|
6 |
One Tool, Many Languages: Language-Parametric Transformation With Incremental Parametric Syntax ...
|
|
|
|
BASE
|
|
Show details
|
|
7 |
Préservation de la cohérence des transformations topologiques et géométriques
|
|
|
|
In: 15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016) ; https://hal.archives-ouvertes.fr/hal-01817884 ; 15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016), Jun 2016, Besançon, France (2016)
|
|
BASE
|
|
Show details
|
|
8 |
Type sound syntactic language extension ... : Typsichere syntaktische Spracherweiterung ...
|
|
|
|
BASE
|
|
Show details
|
|
9 |
Extensible Languages for Flexible and Principled Domain Abstraction ... : Erweiterbare Sprachen zur flexiblen und prinzipientreuen Domänenabstraktion ...
|
|
|
|
BASE
|
|
Show details
|
|
10 |
Extensible Languages for Flexible and Principled Domain Abstraction
|
|
|
|
BASE
|
|
Show details
|
|
11 |
Help a brother out : a case study in multinational intelligence sharing, NATO SOF
|
|
|
|
BASE
|
|
Show details
|
|
12 |
Help a Brother Out: A Case Study in Multinational Intelligence Sharing, NATO SOF
|
|
|
|
In: DTIC (2011)
|
|
BASE
|
|
Show details
|
|
14 |
Graph transformation systems in Constraint Handling Rules: improved methods for program analysis ...
|
|
|
|
BASE
|
|
Show details
|
|
15 |
Design of a programming language dedicated to program analysis and transformation ; Conception d'un langage dédié à l'analyse et la transformation de programmes
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-01748507 ; Génie logiciel [cs.SE]. Université Henri Poincaré - Nancy 1, 2009. Français. ⟨NNT : 2009NAN10026⟩ (2009)
|
|
BASE
|
|
Show details
|
|
16 |
Description and Optimization of Abstract Machines in a Dialect of Prolog
|
|
|
|
In: http://clip.dia.fi.upm.es/papers/morales09:improlog-tr.pdf (2009)
|
|
BASE
|
|
Show details
|
|
17 |
Semantics driven disambiguation
|
|
|
|
In: https://www.lrde.epita.fr/dload/20080116-Seminar/durlin-disamb.pdf (2008)
|
|
BASE
|
|
Show details
|
|
18 |
Rule-Based Software Verification and Correction.
|
|
|
|
In: Riunet (2008)
|
|
BASE
|
|
Show details
|
|
19 |
Guidelines for statistical analysis of percentage of syllables stuttered data
|
|
|
|
BASE
|
|
Show details
|
|
20 |
Refactoring via database representation
|
|
|
|
In: http://aszt.inf.elte.hu/~fun_ver/2004/papers/icai2004_paper_divip.pdf (2004)
|
|
BASE
|
|
Show details
|
|
|
|