1 |
Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines
|
|
|
|
In: LICS 2017 - 32nd Annual ACM/IEEE Symposium on Logic in Computer Science ; https://hal.inria.fr/hal-01479035 ; LICS 2017 - 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2017, Reykjavik, Iceland. ⟨10.1109/LICS.2017.8005118⟩ (2017)
|
|
BASE
|
|
Show details
|
|
2 |
Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework
|
|
|
|
In: Electronic Proceedings in Theoretical Computer Science (EPTCS) ; 3rd Workshop on Formal Integrated Development Environment ; https://hal.inria.fr/hal-01401849 ; 3rd Workshop on Formal Integrated Development Environment, Catherine Dubois; Dominique Mery; Paolo Masci, Nov 2016, Limassol, Cyprus ; https://sites.google.com/site/fideworkshop2016/ (2016)
|
|
BASE
|
|
Show details
|
|
3 |
SystemJ: A GALS Language for System Level Design
|
|
|
|
In: ISSN: 1477-8424 ; Computer Languages, Systems and Structures ; https://hal.inria.fr/hal-00753512 ; Computer Languages, Systems and Structures, Elsevier, 2010, 36 (4), pp.317--344. ⟨10.1016/j.cl.2010.01.001⟩ (2010)
|
|
BASE
|
|
Show details
|
|
4 |
Semantics-based Profiles Modeling and Matching for Resources Access
|
|
|
|
In: ISSN: 0851-4453 ; Journal des Sciences pour l'Ingénieur ; https://hal.archives-ouvertes.fr/hal-01580009 ; Journal des Sciences pour l'Ingénieur, 2006, 7, pp.54-63. ⟨10.4314/jspi.v7i1.30039⟩ ; https://www.ajol.info/index.php/jspi (2006)
|
|
BASE
|
|
Show details
|
|
5 |
Profiles Semantics and Matchings Flexibility for Resources Access
|
|
|
|
In: International IEEE conference on Signal-Image Technology & Internet-based Systems (SITIS’05) ; https://hal.archives-ouvertes.fr/hal-01580010 ; International IEEE conference on Signal-Image Technology & Internet-based Systems (SITIS’05), Nov 2005, Yaounde, Cameroon. p. 224-231 ; http://www.sitis-conf.org/ (2005)
|
|
BASE
|
|
Show details
|
|
|
|